Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study

DOI10.1016/j.ijar.2017.01.012zbMath1404.68157OpenAlexW2580749482MaRDI QIDQ518622

Steven Schockaert, Martine De Cock, Elie Merhej

Publication date: 29 March 2017

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: http://orca.cf.ac.uk/98866/1/IJAR2016.pdf

zbMATH Keywords

gene regulatory networkrule of thumbaggregation methodanswer set programinconsistency repair

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17) Systems biology, networks (92C42)

Related Items

Extended multi-adjoint logic programming

Uses Software

• clasp
• FANMOD

Cites Work

• Unnamed Item
• Possibilistic uncertainty handling for answer set programming
• Modeling biological networks by action languages via answer set programming
• Preferred answer sets for extended logic programs
• Answer set programming and plan generation
• Markov logic networks
• Team-building with answer set programming in the Gioia-Tauro seaport
• Dynamic Consistency Checking in Goal-Directed Answer Set Programming
• Detecting inconsistencies in large biological networks with answer set programming
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• Answer sets for consistent query answering in inconsistent databases
• Computing preferred answer sets by meta-interpretation in Answer Set Programming
• Debugging ASP Programs by Means of ASP
• Semantics for Possibilistic Disjunctive Programs
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Logic Programming and Nonmonotonic Reasoning
• Foundations of Information and Knowledge Systems
• Identifying gene regulatory networks from experimental data