Modelling gene and protein regulatory networks with answer set programming

International Journal of Data Mining and Bioinformatics

Volumn 5, Issue 2, 2011, Pages 209-229

  Fayruzov, Tmur ^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

Answer set programming; ASP; Budding yeast; Cell cycle; Fission yeast; Network modelling; Steady cycle; Steady state; Systems biology

Indexed keywords

EID: 79953190778     PISSN: 17485673     EISSN: 17485681     Source Type: Journal    
DOI: 10.1504/IJDMB.2011.039178     Document Type: Article

References (21)

1. Albert, R. (2004) 'Boolean modeling of genetic regulatory networks', Complex Networks, Springer, pp.459-481.
2. Baral, C., Chancellor, K., Tran, N., Tran, N., Joy, A. and Berens, M. (2004) 'A knowledge based approach for representing and reasoning about signaling networks', Bioinformatics, Vol. 20, No. 1, pp.15-22.
3. Ciocchetta, F. and Hillston, J. (2008) 'Process algebras in systems biology', Formal Methods for Computational Systems Biology, Springer, pp.313-365.
4. Davidich, M.I. and Bornholdt, S. (2008) 'Boolean network model predicts cell cycle sequence of fission yeast', PLoS ONE, Vol. 3, No. 2, p.e1672.
5. de Jong, H. (2002) 'Modeling and simulation of genetic regulatory systems: A literature review', Journal of Computational Biology, Vol. 9, No. 1, pp.67-103. (Pubitemid 34264287)
6. Dworschak, S., Grell, S., Nikiforova, V.J., Schaub, T. and Selbig, J. (2008) 'Modeling biological networks by action languages via answer set programming', Constraints, Vol. 13, Nos. 1-2, pp.21-65.
7. Fayruzov, T. (2009) Technical Report 2009-01, Technical Report, Ghent University. http://www.cwi.ugent.be
8. Fayruzov, T., De Cock, M., Vermeir, D. and Cornelis, C. (2009) 'Modeling protein interaction networks with answer set programming', 2009 IEEE International Conference on Bioinformatics and Biomedicine, pp.99-105.
9. Fayruzov, T., Janssen, J., Vermeir, D., Cornelis, C. and De Cock, M. (2010) 'Efficient solving of time-dependent answer set programs', in Hermenegildo, M. and Schaub, T. (Eds.): Technical Communications of the 26th Int'l. Conference on Logic Programming, July, Dagstuhl, Germany, pp.64-73.
10. Fisher, J. and Henzinger, T.A. (2007) 'Executable cell biology', Nature Biotechnology, Vol. 25, No. 11, pp.1239-1249. (Pubitemid 350089829)
11. Garg, A., Cara, A.D., Xenarios, I., Mendoza, L. and Micheli, G.D. (2008) 'Synchronous versus asynchronous modeling of gene regulatory networks', Bioinformatics, Vol. 24, No. 17, pp.1917-1925.
12. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T. and Thiele, S. (2008) 'Engineering an incremental asp solver', ICLP'08: Proceedings of the 24th International Conference on Logic Programming, pp.190-205.
13. Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T. (2007) 'Clasp: a conict-driven answer set solver', LPNMR, pp.260-265.
14. Gelfond, M. and Lifschitz, V. (1988) 'The stable model semantics for logic programming', ICLP/SLP 1988, pp.1070-1080.
15. Gelfond, M. and Lifschitz, V. (1992) 'Representing actions in extended logic programming', ICLP/SLP 1992, pp.559-573.
16. Li, F., Long, T., Lu, Y., Ouyang, Q. and Tang, C. (2004) 'The yeast cell-cycle network is robustly designed', PNAS, Vol. 101, pp.4781-4786. (Pubitemid 38469154)
17. Mendoza, L., Thieffry, D. and Alvarez-Buylla, E.R. (1999) 'Genetic control of flower morphogenesis in arabidopsis thaliana: a logical analysis', Bioinformatics, Vol. 15, No. 7, pp.593-606. (Pubitemid 29462108)
18. Peleg, M., Yeh, I. and Altman, R.B. (2002) 'Modelling biological processes using workflow and petri net models', Bioinformatics, Vol. 18, No. 6, pp.825-837. (Pubitemid 34727643)
19. Regev, A., Silverman, W. and Shapiro, E.Y. (2001) 'Representation and simulation of biochemical processes using the pi-calculus process algebra', Pacific Symposium on Biocomputing 2001, pp.459-470.
20. Schaub, T. and Thiele, S. (2009) 'Metabolic network expansion with answer set programming', ICLP'09: Proceedings of the 25th International Conference on Logic Programming, Pasadena, California, USA, pp.312-326.
21. Tran, N. (2006) Reasoning and Hypothesising about Signaling Networks, PhD Thesis, Arizona State University, Phoenix, Arizona, USA.