Automatic network reconstruction using ASP
From MaRDI portal
Publication:3087459
DOI10.1017/S1471068411000287zbMath1219.92020arXiv1107.5671OpenAlexW2091251097MaRDI QIDQ3087459
Torsten Schaub, Wolfgang Marwan, Markus Durzinsky, Max Ostrowski, Annegret K. Wagler
Publication date: 16 August 2011
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1107.5671
Computing methodologies and applications (68U99) Biochemistry, molecular biology (92C40) Systems biology, networks (92C42)
Related Items
Identification of biological transition systems using meta-interpreted logic programs, Unnamed Item, Learning Boolean logic models of signaling networks with ASP
Uses Software
Cites Work
- Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14--18, 2009. Proceedings
- ASSAT: computing answer sets of a logic program by SAT solvers
- Modeling biological networks by action languages via answer set programming
- Extending and implementing the stable model semantics
- A mathematical approach to solve the network reconstruction problem
- Solution Enumeration for Projected Boolean Search Problems
- Knowledge Representation, Reasoning and Declarative Problem Solving