Search · four archives
Search · four archives
13 papers · ranked by Valyu relevance
Qing Huang, Zhiqiang Yuan, Zhenchang Xing, Zhengkang Zuo + 2 more
'Changjing Wang' 'Xin Xia'] Abstract—Software programming requires both API reference (know-what) knowledge and programming task (know-how) knowledge. Lots of programming know-what and know-how knowledge is documented in text, for example, API reference documentation and programming tutorials. To improve knowledge…
Chuanqing Wang, Zhenmin Zhao, Shanshan Du, Chaoqun Fei + 2 more
Chuanqing Wang 1,3,4 , Zhenmin Zhao 2 , Shanshan Du 2 , Chaoqun Fei3,4 , Songmao Zhang 3,4 , Ruqian Lu\ 3,4 University of Chinese Academy of Sciences 1 , Beijing University Third Hospital 2 CAS {Academy of Mathematics and Systems Science, State Key Laboratory of Mathematical Sciences} 3 Key Lab of Future Artificial…
Mark Matties
We present an overview of the design and first proof-ofconcept implementation for AIDA, an autonomous intelligent developer agent that develops software from scratch. AIDA takes a software requirements specification and uses reasoning over a semantic knowledge graph to interpret the requirements, then designs and…
Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte
We tackle the problem of automatic generation of computer programs from a few pairs of input-output examples. The starting point of this work is the observation that in many applications a solution program must use external knowledge not present in the examples: we call such programs knowledge-powered since they can…
Kamburjan, Eduard, Klungre, Vidar Norstein + 9 more
This paper addresses the dichotomy between the formalization of structural and the formalization of behavioral knowledge by means of semantically lifted programs, which explore an intuitive connection between programs and knowledge graphs. While knowledge graphs and ontologies are eminently useful to represent formal…
Agnieszka Lawrynowicz
Knowledge can take different forms. We distinguish between declarative knowledge (knowing something) or procedural knowledge (knowing how, know-how), sensorimotor knowledge (riding a bicycle), and affective knowledge (deep understanding). The classic definition of knowledge derived from philosophy defines knowledge as…
Weibo Gao, Qi Liu, Rui Li, Yuze Zhao + 4 more
Programming Knowledge Tracking (PKT) aims to dynamically diagnose learners' mastery levels of programming knowledge based on their coding activities, facilitating more effective and personalized programming education. However, current PKT studies primarily focus on the implicit relationship between code content and…
Le Xiao, Xin Shan, Yuhua Wang, Miaolei Deng
> Abstract. To address the issue of poor embedding performance in the knowledge graph of a programming design course, a joint representation learning model that combines entity neighborhood information and description information is proposed. Firstly, a graph attention network is employed to obtain the features of…
Ali Hur, Naeem Khalid Janjua, Mohiuddin Ahmed
-- Global datasphere is increasing fast, and it is expected to reach 175 Zettabytes by 20251 . However, most of the content is unstructured and is not understandable by machines. Structuring this data into a knowledge graph enables multitudes of intelligent applications such as deep question answering, recommendation…
Sajjadur Rahman, Frederick D. S. Choi, Hannah Kim, Dan Zhang + 1 more
'Estevam R. Hruschka'] Constructing and serving knowledge graphs (KGs) is an iterative and human-centered process involving on-demand programming and analysis. In this paper, we present Kyurem, a programmable and interactive widget library that facilitates human-in-the-loop knowledge acquisition and integration to…
Lars Vogt, Marcel Konrad, Manuel Prinz
Knowledge graphs and ontologies provide promising technical solutions for implementing the FAIR Principles for Findable, Accessible, Interoperable, and Reusable data and metadata. However, they also come with their own challenges. Nine such challenges are discussed and associated with the criterion of cognitive…
Phillip Schneider, Tim Schopf, Juraj Vladika, Florian Matthes
Processing Authors: ['Phillip Schneider' 'Tim Schopf' 'Juraj Vladika' 'Florian Matthes'] Knowledge management is a critical challenge for enterprises in today's digital world, as the volume and complexity of data being generated and collected continue to grow incessantly. Knowledge graphs (KG) emerged as a promising…
Shantanu Jaiswal, Liu Yan, Dongkyu Choi, Kenneth Kwok
Commonsense knowledge-graphs (CKGs) are important resources towards building machines that can 'reason' on text or environmental inputs and make inferences beyond perception. While current CKGs encode world knowledge for a large number of concepts and have been effectively utilized for incorporating commonsense in…