Proceedings of the AAAI Conference on Artificial Intelligence · 2011 · 18 citations · 10 references
MedicineBioinformaticsBiomedical InformaticsComputational BiologyDrug DiscoveryKnowledge RepresentationComputational Drug DiscoveryDrug DatabasesDrug Discovery InformaticsDrug Knowledge RepresentationQuestion AnsweringSemantic SearchAnswer Set ProgrammingBiomedical Knowledge GraphsBiomedical Question AnsweringClinical Question AnsweringDrug Information RetrievalDrug Knowledge BasesHeterogeneous Knowledge ResourcesOntologies
We present new methods to efficiently answer complex queries overbiomedical ontologies and databases considering the relevant partsof these knowledge resources, and to generate shortest explanationsto justify these answers. Both algorithms rely on the high-levelrepresentation and efficient solvers of Answer Set Programming. Weapply these algorithms to find answers and explanations to some complexqueries related to drug discovery, over PharmGKB, DrugBank, BioGrid, CTD and Sider.
10
Extending and implementing the stable model semantics
Patrik Simons, Ilkka Niemelä, Timo Soininen · Artificial Intelligence · 2002 · 850 citations
Weight constraints as nested expressions
Paolo Ferraris, Vladimir Lifschitz · Theory and Practice of Logic Programming · 2005 · 139 citations
Computing, Computer Science, Logic +11
Complexity and expressive power of logic programming
Evgeny Dantsin, Thomas Eiter, Georg Gottlob · 2002 · 137 citations