Efficient solving of time-dependent answer set programs

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 7, Issue , 2010, Pages 64-73

  Fayruzov, Timur ^a   Janssen, Jeroen ^b   Vermeir, Dirk ^b   Cornelis, Chris ^a   De Cock, Martine ^a,c  

^a GHENT UNIVERSITY   (Belgium)

^b VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^c UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHM FOR SOLVING; BRUTE-FORCE APPROACH; GENE REGULATORY NETWORKS; MODEL SYSTEM; STEADY STATE; TIME CONSTANTS; TIME INTERVAL; TIME-DEPENDENT SYSTEMS;

ALGORITHMS;

LOGIC PROGRAMMING;

EID: 84880202130     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.ICLP.2010.64     Document Type: Conference Paper

References (8)

1. [Dav08] Maria I. Davidich and Stefan Bornholdt. Boolean network model predicts cell cycle sequence of fission yeast. PLoS ONE, 3(2), 2008.
2. [Dwo08] Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, and Joachim Selbig. Modeling biological networks by action languages via answer set programming. Constraints, 13(1- 2):21-65, 2008.
3. [Fay09] Timur Fayruzov, Martine De Cock, Chris Cornelis, and Dirk Vermeir. Modeling protein interaction networks with answer set programming. In BIBM, pp. 99-104. 2009.
4. [Geb08] Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, and Sven Thiele. Engineering an incremental asp solver. In ICLP, pp. 190-205. 2008.
5. [Gel88] Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. pp. 1070-1080. MIT Press, 1988.
6. [Gel92] Michael Gelfond and Vladimir Lifschitz. Representing actions in extended logic programming. In JICSLP, pp. 559-573. 1992.
7. [Sch09] Torsten Schaub and Sven Thiele. Metabolic network expansion with answer set programming. In ICLP, pp. 312-326. 2009.
8. [Tra06] Nam Tran. Reasoning and hypothesizing about signaling networks. Ph.D. thesis, Arizona State University, 2006.