Skip to Main content Skip to Navigation
Book sections

Reasoning on the response of logical signaling networks with Answer Set Programming

Torsten Schaub 1 Anne Siegel 2 Santiago Videla 2
2 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : This chapter focuses on modeling the response of logical signaling networks by means of automated reasoning using answer set programming (ASP). In this context, the problem consisting of learning logical networks is crucial in order to achieve unbiased and robust discoveries. Furthermore, it shows that many networks can be compatible with a given set of experimental observations. The chapter discusses how ASP can be used to exhaustively enumerate all these logical networks. Next, in order to gain control over the system, it look for intervention strategies that force a set of target species into a desired steady state. Altogether, this constitutes a pipeline for reasoning on logical signaling networks providing robust insights to system biologists. The chapter illustrates the usage of ASP for solving the aforementioned problems and discusses the novelty of our approach with respect to existing methods.
Document type :
Book sections
Complete list of metadatas

Cited literature [64 references]  Display  Hide  Download

https://hal.inria.fr/hal-01079762
Contributor : Anne Siegel <>
Submitted on : Tuesday, November 4, 2014 - 8:38:48 AM
Last modification on : Friday, July 10, 2020 - 4:26:12 PM
Long-term archiving on: : Thursday, February 5, 2015 - 10:10:56 AM

File

SchaubSiegelVidela.pdf
Files produced by the author(s)

Identifiers

Citation

Torsten Schaub, Anne Siegel, Santiago Videla. Reasoning on the response of logical signaling networks with Answer Set Programming. Logical Modeling of Biological Systems, Wiley Online Librairy, pp.49-92, 2014, ⟨10.1002/9781119005223.ch2⟩. ⟨hal-01079762⟩

Share

Metrics

Record views

605

Files downloads

436