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

DOI10.1016/J.IJAR.2017.01.012zbMATH Open1404.68157OpenAlexW2580749482MaRDI QIDQ518622FDOQ518622

Authors Elie Merhej, Steven Schockaert, Martine De Cock

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

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

Recommendations

• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
• Detecting inconsistencies in large biological networks with answer set programming
• Automatic network reconstruction using ASP
• Data repair of inconsistent nonmonotonic description logic programs
• Computing repairs of inconsistent DL-programs over \(\mathcal{EL}\) ontologies

Cites work

• scientific article; zbMATH DE number 1368932 (Why is no real title available?)
• Answer set programming and plan generation
• 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
• Detecting inconsistencies in large biological networks with answer set programming
• Dynamic consistency checking in goal-directed answer set programming
• Foundations of Information and Knowledge Systems
• Identifying gene regulatory networks from experimental data
• Logic Programming and Nonmonotonic Reasoning
• Markov logic networks
• Modeling biological networks by action languages via answer set programming
• Modeling preferences and conditional preferences on resource consumption and production in ASP
• Possibilistic uncertainty handling for answer set programming
• Preferred answer sets for extended logic programs
• Semantics for Possibilistic Disjunctive Programs
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Team-building with answer set programming in the Gioia-Tauro seaport

Cited in

(5)

• Detecting inconsistencies in large biological networks with answer set programming
• Logical modelling, some recent methodological advances illustrated
• Modeling multi-valued biological interaction networks using fuzzy answer set programming
• Extended multi-adjoint logic programming
• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming

Describes a project that uses

Uses Software

• clasp
• FANMOD

This page was built for publication: Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q518622)