Detecting Inconsistencies in Large Biological Networks with Answer Set Programming

DOI10.1007/978-3-540-89982-2_19zbMath1185.92052arXiv1007.0134OpenAlexW2110804558WikidataQ56026468 ScholiaQ56026468MaRDI QIDQ5504653

Martin Gebser, Torsten Schaub, Philippe Veber, Sven Thiele, Björn Usadel

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic programming (68N17) Systems biology, networks (92C42)

Related Items (3)

Measuring Instability in Normal Residuated Logic Programs: Discarding Information ⋮ Constraint Answer Set Solving ⋮ Constrained Community-Based Gene Regulatory Network Inference

Uses Software

• Cmodels
• Gringo
• Lparse
• zChaff
• Potassco
• clasp

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Answer set programming based on propositional satisfiability
• Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
• The complexity of facets (and some facets of complexity)
• Extending and implementing the stable model semantics
• On the computational cost of disjunctive logic programming: Propositional case
• Propositional semantics for disjunctive logic programs
• Logic programs with stable model semantics as a constraint programming paradigm
• Necessary conditions for multistationarity in discrete dynamical systems
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Unfolding partiality and disjunctions in stable model semantics
• The DLV system for knowledge representation and reasoning
• A Scalable Algorithm for Minimal Unsatisfiable Core Extraction

This page was built for publication: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming