Modelling biological networks by action languages via answer set programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4079 LNCS, Issue , 2006, Pages 285-299

  Grell, Susanne ^a   Schaub, Torsten ^a,b   Selbig, Joachim ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

^b SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; PLANTS (BOTANY); SEMANTICS; SET THEORY;

ANSWER SET PROGRAMMING; BIOLOGICAL NETWORKS; SYNTAX;

LOGIC PROGRAMMING;

EID: 33749330959     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11799573_22     Document Type: Conference Paper

References (19)

1. Reddy, V., Mavrovouniotis, M., Liebman, M.: Petri net representations in metabolic pathways. Proc. First ISMB (1993) 328-336
2. Pinney, J.W., Westhead, D.R., McConkey, G.A.: Petri net representations in systems biology. Biochem Soc Trans 31(Pt 6) (2003) 1513-1515
3. Bonarius, H.P.J., Schmid, G., Tramper, J.: Flux analysis of underdetermined metabolic networks: The quest for the missing constraints. Trends Biotechnol 15 (1997) 308314
4. Shmulevich, I., Dougherty, E., Kim, S., Zhang, W.: Probabilistic boolean networks: A rule-based uncertainty model for gene regulatory networks. Bioinformatics 18(2) (2002) 261-274
5. Baral, C., Chancellor, K., Tran, N., Tran, N., Joy, A., Berens, M.: A knowledge based approach for representing and reasoning about signaling networks. In: ISMB. (2004) 15-22
6. Tran, N., Baral, C.: Reasoning about triggered actions in ansprolog and its application to molecular interactions in cells. In: KR. (2004) 554-564
7. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17 (1993) 301-321
8. Gelfond, M., Lifschitz, V.: Action languages. Electron. Trans. Artif. Intell. 2 (1998) 193-210
9. Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: preliminary report. In: AAAI/IAAI, AAAI Press (1998) 623-630
10. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Planning under incomplete knowledge. In: CL, Springer (2000) 807-821
11. Tran, N., Baral, C.: Shankland, C.: Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge. In: AAAI, AAAI Press (2005) 676-681
12. Grell, S.: Investigation and analysis of new approaches for representing and reasoning about biological networks using action languages. Diploma thesis, University of Potsdam and Max Planck Institute of Molecular Plant Physiology (2006)
13. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)
14. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9 (1991) 365-385
15. Simons, P., Niemelä, I., Soininen, T.: Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2) (2002) 181-234
16. (http://bioinformatics.mpimp-golm.mpg.de/bionetreasoning/)
17. Papatheodorou, I., Kakas, A.C., Sergot, M.J.: Inference of gene relations from microarray data by abduction. In: LPNMR, Springer (2005) 389-393
18. Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine biocham. In: CMSB, Springer (2004) 172-191
19. Clarke, E., Grumberg, O., Peled, D.: Model checking. MIT Press (1999)