Minimal intervention strategies in logical signaling networks with ASP

DOI10.1017/S1471068413000422zbMath1286.68048MaRDI QIDQ5398303

Santiago Videla, Anne Siegel, Roland Kaminski, Torsten Schaub

Publication date: 27 February 2014

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

Mathematics Subject Classification ID

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

Related Items

Model enumeration in propositional circumscription via unsatisfiable core analysis, Attractor separation and signed cycles in asynchronous Boolean networks, Learning Boolean logic models of signaling networks with ASP, Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy

Cites Work

• Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
• Solving satisfiability problems with preferences
• Computational methods in systems biology. 10th international conference, CMSB 2012, London, UK, October 3--5, 2012. Proceedings
• Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
• Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
• Detecting inconsistencies in large biological networks with answer set programming
• Complex optimization in answer set programming
• A kripke-kleene semantics for logic programs*
• Knowledge Representation, Reasoning and Declarative Problem Solving