Modeling protein interaction networks with answer set programming

2009 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2009

Volumn , Issue , 2009, Pages 99-104

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

^a GHENT UNIVERSITY   (Belgium)

^b UNIVERSITY OF WASHINGTON   (United States)

^c VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

Author keywords

Artificial intelligence; Biological system modeling; Logic

Indexed keywords

ANSWER SET; ANSWER SET PROGRAMMING; BIOLOGICAL SYSTEM MODELING; BOOLEAN NETWORKS; EASE OF USE; FISSION YEAST; MODEL PROTEINS; PROTEIN INTERACTION NETWORKS; STABLE STATE;

ACTIVE NETWORKS; ARTIFICIAL INTELLIGENCE; BIOLOGICAL SYSTEMS; PROTEINS;

BIOINFORMATICS;

EID: 74549208035     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BIBM.2009.9     Document Type: Conference Paper

References (15)

1. R. Albert. Boolean modeling of genetic regulatory networks. In Complex Networks, pages 459-481. 2004.
2. C. Baral, K. Chancellor, N. Tran, N. Tran, A. M. Joy, and M. E. Berens. A knowledge based approach for representing and reasoning about signaling networks. Bioinformatics, 20 Suppl 1, 2004.
3. F. Ciocchetta and J. Hillston. Process algebras in systems biology. In SFM, 2008.
4. M. I. Davidich and S. Bornholdt. Boolean network model predicts cell cycle sequence of fission yeast. PLoS ONE, 3(2), 2008.
5. H. de Jong. Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology, 9(1):67-103, 2002.
6. S. Dworschak, S. Grell, V. J. Nikiforova, T. Schaub, and J. Selbig. Modeling biological networks by action languages via asp. Constraints, 13(1-2):21-65, 2008.
7. T. Fayruzov. Technical report 2009-01. Technical report, Ghent University, 2009. http://www.cwi.ugent.be.
8. J. Fisher and T. A. Henzinger. Executable cell biology. Nature Biotechnology, 25(11):1239-1249, November 2007.
9. A. Garg, A. D. Cara, I. Xenarios, L. Mendoza, and G. D. Micheli. Synchronous vs asynchronous modeling of gene regulatory networks. Bioinformatics, 24(17):1917-1925, 2008.
10. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In ICLP/SLP. MIT Press, 1988.
11. M. Gelfond and V. Lifschitz. Representing actions in extended logic programming. In JICSLP, 1992.
12. I. Niemelä and P. Simons. Smodels - an implementation of the stable model and well-founded semantics for normal lp. In LPNMR, 1997.
13. M. Peleg, I. Yeh, and R. B. Altman. Modelling biological processes using workflow and petri net models. Bioinformatics, 18(6):825-837, 2002.
14. T. Syrjänen. Lparse 1.0. User's manual.
15. N. Tran. Reasoning and hypothesing about signaling networks. PhD thesis, Arizona State University, December 2006.