Generating explanations for biomedical queries

DOI10.1017/S1471068413000598zbMath1379.68059arXiv1309.6297OpenAlexW3106329485MaRDI QIDQ4592972

Umut Oztok, Esra Erdem

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1309.6297

zbMATH Keywords

answer set programmingquery answeringexplanation generationbiomedical queries

Mathematics Subject Classification ID

Medical applications (general) (92C50) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Related Items (10)

Witnesses for Answer Sets of Logic Programs ⋮ Specifying and Verbalising Answer Set Programs in Controlled Natural Language ⋮ Justifying answer sets using argumentation ⋮ Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) ⋮ Partial Compilation of ASP Programs ⋮ Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ Debugging Non-ground ASP Programs: Technique and Graphical Tools ⋮ The External Interface for Extending WASP ⋮ Pruning external minimality checking for answer set programs using semantic dependencies

Uses Software

• Gringo
• clasp
• BioGRID
• DrugBank

Cites Work

• Unnamed Item
• Unnamed Item
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
• Answer set programming and plan generation
• Extending and implementing the stable model semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
• Team-building with answer set programming in the Gioia-Tauro seaport
• Catching the Ouroboros: On debugging non-ground answer-set programs
• Justifications for logic programs under answer set semantics
• The well-founded semantics for general logic programs
• Logic programming and negation: A survey
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Weight constraints as nested expressions

This page was built for publication: Generating explanations for biomedical queries