Learning Boolean logic models of signaling networks with ASP

DOI10.1016/j.tcs.2014.06.022zbMath1330.92050OpenAlexW2013942866WikidataQ56755016 ScholiaQ56755016MaRDI QIDQ498928

Federica Eduati, Jacques Nicolas, Julio Saez-Rodriguez, Sven Thiele, Torsten Schaub, Santiago Videla, Martin Gebser, Carito Guziolowski, Anne Siegel

Publication date: 29 September 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01058610/file/paper.pdf

zbMATH Keywords

systems biologyanswer set programmingBoolean logic modelscombinatorial multi-objective optimizationsignaling transduction networks

Mathematics Subject Classification ID

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

Related Items (2)

Interpolative Boolean networks ⋮ Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy

Uses Software

• Gringo
• clasp
• KEGG
• Cellnoptr
• Pathway Commons
• REVEAL

Cites Work

• Unnamed Item
• Survey of multi-objective optimization methods for engineering
• Transactions on Computational Systems Biology VI
• Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
• Directed hypergraphs and applications
• Identification of genetic networks by strategic gene disruptions and gene overexpressions under a Boolean model.
• Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming
• Analyzing Pathways Using ASP-Based Approaches
• Opportunities for Combinatorial Optimization in Computational Biology
• Detecting inconsistencies in large biological networks with answer set programming
• Automatic network reconstruction using ASP
• Complex optimization in answer set programming
• Completing Networks Using Observed Data
• Contributions to the Theory of Logic Programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Multi-threaded ASP solving with clasp
• Minimal intervention strategies in logical signaling networks with ASP
• Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey

This page was built for publication: Learning Boolean logic models of signaling networks with ASP