Detecting inconsistencies in large biological networks with answer set programming

DOI10.1017/S1471068410000554MaRDI QIDQ3008410zbMATH OpenDBLPWikidataFDO

Authors Martin Gebser, Torsten Schaub, Sven Thiele, Philippe Veber

Publication date 15 June 2011

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

Full work available at URL https://doi.org/10.1017/S1471068410000554

zbMATH Keywords

answer set programmingbioinformaticsconsistencydiagnosis

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
• Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
• Analyzing pathways using ASP-based approaches
• Automatic network reconstruction using ASP
• Dynamic consistency checking in goal-directed answer set programming

Cited in

(19)

• Conflict-driven answer set solving: from theory to practice
• A multiparametric view on answer set programming
• Backdoors to tractable answer set programming
• Solving projected model counting by utilizing treewidth and its limits
• Dynamic consistency checking in goal-directed answer set programming
• The Design of the Sixth Answer Set Programming Competition
• scientific article; zbMATH DE number 1950564 (Why is no real title available?)
• A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
• Learning Boolean logic models of signaling networks with ASP
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• Inconsistency proofs for ASP: the ASP-DRUPE format
• Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Debugging non-ground ASP programs: technique and graphical tools
• Abductive reasoning on molecular interaction maps
• Backdoors to normality for disjunctive logic programs
• Minimal intervention strategies in logical signaling networks with ASP
• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming
• Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells

Describes a project that uses

Uses Software

• Gringo
• Lparse
• clasp

This page was built for publication: Detecting inconsistencies in large biological networks with answer set programming

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