Search · four archives
Search · four archives
11 papers · ranked by Valyu relevance
Zhenchang Xing, Jiamou Sun, Xin Peng, Xiwei Xu + 1 more
Programming tutorials are often created to demonstrate programming tasks with code examples. However, our study of Stack Overflow questions reveals the low utilization of high-quality programming tutorials, which is caused task description mismatch and code information overload. Document search can find relevant…
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…
Aidan Hogan, Eva Blomqvist, Michael Cochez, Claudia d’Amato + 14 more
'Gerard de Melo' 'Claudio Gutiérrez' 'Sabrina Kirrane' 'José Emilio Labra Gayo' 'Roberto Navigli' 'Sebastian Neumaier' 'Axel-Cyrille Ngonga Ngomo' 'Axel Polleres' 'Sabbir M. Rashid' 'Anisa Rula' 'Lukas Schmelzeisen' 'Juan Sequeda' 'Steffen Staab' 'Antoine Zimmermann'] AIDAN HOGAN, IMFD, DCC, Universidad de Chile, Chile…
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…
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…
Amy K. Glen, Chunyu Ma, Luis Mendoza, Finn Womack + 11 more
With the rapidly growing volume of knowledge and data in biomedical databases, improved methods for knowledge-graph-based computational reasoning are needed in order to answer translational questions. Previous efforts to solve such challenging computational reasoning problems have contributed tools and approaches, but…
Tiffany J. Callahan, Ignacio J. Tripodi, Lawrence E. Hunter, William A. Baumgartner
Although knowledge graphs (KGs) are used extensively in biomedical research to model complex phenomena, many KG construction methods remain largely unable to account for the use of different standardized terminologies or vocabularies, are often difficult to use, and perform poorly as the size of the KG increases in…
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…
Amy K. Glen, Eric W. Deutsch, Stephen A. Ramsey
Knowledge graphs are increasingly being used to integrate heterogeneous biomedical knowledge and data. General-purpose graph database management systems such as Neo4j are often used to host and search knowledge graphs, but such tools come with overhead and leave biomedical-specific standards compliance and reasoning to…
Guangrong Qin, Kamileh Narsinh, Qi Wei, Jared C. Roach + 15 more
As large clinical and multiomics datasets and knowledge resources accumulate, they need to be transformed into computable and actionable information to support automated reasoning. These datasets range from laboratory experiment results to electronic health records (EHRs). Barriers to accessibility and sharing of such…
David N. Nicholson, Daniel S. Himmelstein, Casey S. Greene
Knowledge graphs support multiple research efforts by providing contextual information for biomedical entities, constructing networks, and supporting the interpretation of high-throughput analyses. These databases are populated via some form of manual curation, which is difficult to scale in the context of an…