Modeling biological networks by action languages via answer set programming

DOI10.1007/S10601-007-9031-YMaRDI QIDQ941667zbMATH OpenOpenAlexFDO

Authors Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig

Publication date 2 September 2008

Published in Constraints (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s10601-007-9031-y

zbMATH Keywords

Action languageAnswer set programmingBiological network model

Mathematics Subject Classification ID

Logic programming (68N17) Formal languages and automata (68Q45)

Recommendations

• Modelling Biological Networks by Action Languages Via Answer Set Programming
• Automatic network reconstruction using ASP
• Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
• Learning Boolean logic models of signaling networks with ASP
• Logical modeling of biological systems

Cites work

• A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
• A multi-scale constraint programming model of alternative splicing regulation
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• BioAmbients: an abstraction for biological compartments
• Computational Methods in Systems Biology
• Computational Methods in Systems Biology
• Conflict-Driven Answer Set Enumeration
• Extending and implementing the stable model semantics
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 5910656 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1453058 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
• Logic programs with stable model semantics as a constraint programming paradigm
• Representing action and change by logic programs

Cited in

(15)

• Modeling multi-valued biological interaction networks using fuzzy answer set programming
• Modeling and querying biomolecular interaction networks
• Reasoning about non-immediate triggers in biological networks
• Emotional reasoning in an action language for emotion-aware planning
• Extending the metabolic network of Ectocarpus siliculosus using answer set programming
• Analyzing pathways using ASP-based approaches
• Applications of action languages in cognitive robotics
• Automatic network reconstruction using ASP
• scientific article; zbMATH DE number 7455702 (Why is no real title available?)
• Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
• Minimal intervention strategies in logical signaling networks with ASP
• Loop-separable programs and their first-order definability
• Modelling Biological Networks by Action Languages Via Answer Set Programming
• Logical modeling of biological systems
• Detecting Inconsistencies in Large Biological Networks with Answer Set Programming

Describes a project that uses

Uses Software

• GOLOG
• Gringo
• Lparse
• clasp

This page was built for publication: Modeling biological networks by action languages via answer set programming

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