Detecting inconsistencies in large biological networks with answer set programming

Theory and Practice of Logic Programming

Volumn 11, Issue 2-3, 2011, Pages 323-360

  Gebser, Martin ^a   Schaub, Torsten ^a   Thiele, Sven ^a   Veber, Philippe ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b INSTITUT COCHIN   (France)

Author keywords

answer set programming; bioinformatics; consistency; diagnosis

Indexed keywords

ANSWER SET PROGRAMMING; BIOLOGICAL NETWORKS; CELL ACTIVITY; CONSISTENCY; DATA SETS; HIGH-THROUGHPUT; MINIMAL REPRESENTATION;

BIOINFORMATICS;

LOGIC PROGRAMMING;

EID: 79960351364     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068410000554     Document Type: Conference Paper

References (37)

1. Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
2. Ben-Eliyahu, R. and Dechter, R. 1994. Propositional semantics for disjunctive logic programs. Annals of Mathematics and Artificial Intelligence 12, 1-2, 53-87.
3. BioASP Tools. 2008. Accessed 7 January 2011, URL: http://www.cs.uni- potsdam.de/wv/bioasp
4. Chen, M., Hancock, L. and Lopes, J. 2007. Transcriptional regulation of yeast phospholipids biosynthetic genes. Biochimica et Biophysica Acta 1771, 3, 310-321. (Pubitemid 46428607)
5. Dershowitz, N., Hanna, Z. and Nadel, A. 2006. A scalable algorithm for minimal unsatisfiable core extraction. In Proc. of the 9th International Conference on Theory and Applications of Satisfiability Testing (SAT'06), A. Biere and C. Gomes, Eds. Springer, 36-41. (Pubitemid 44531741)
6. Drescher, C., Gebser,M., Grote, T., Kaufmann, B., König, A., Ostrowski, M. and Schaub, T. 2008. Conflict-driven disjunctive answer set solving. In Proc. of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), G. Brewka and J. Lang, Eds. AAAI Press, 422-432.
7. Eiter, T. and Gottlob, G. 1995. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence 15, 3-4, 289-323.
8. Erd′s, A. and Rényi, P. 1959. On random graphs. Publicationes Mathematicae 6, 290-297.
9. Friedman, N., Linial, M., Nachman, I. and Pe'er, D. 2000. Using Bayesian networks to analyze expression data. Journal of Computational Biology 7, 3-4, 601-620.
10. Gebser, M., Guziolowski, C., Ivanchev, M., Schaub, T., Siegel, A., Thiele, S. and Veber, P. 2010. Repair and prediction (under inconsistency) in large biological networks with answer set programming. In Proc. of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10).
11. Gebser, M., Kaminski, R., Ostrowski, M., Schaub, T. and Thiele, S. 2009a. On the input language of ASP grounder gringo. In Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), E. Erdem, F. Lin and T. Schaub, Eds. Springer, 502-508.
12. Gebser, M., Kaufmann, B., Neumann, A. and Schaub, T. 2007. Conflict-driven answer set enumeration. In Proc. of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), C. Baral, G. Brewka and J. Schlipf, Eds. Springer, 136-148.
13. Gebser, M., Kaufmann, B. and Schaub, T. 2009b. Solution enumeration for projected Boolean search problems. In Proc. of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), W. van Hoeve and J. Hooker, Eds. Springer, 71-86.
14. Gebser, M., Kaufmann, B. and Schaub, T. 2009c. The conflict-driven answer set solver clasp: Progress report. In Proc. of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), E. Erdem, F. Lin and T. Schaub, Eds. Springer, 509-514.
15. Gelfond, M. 2008. Answer sets. In Handbook of Knowledge Representation, V. Lifschitz, F. van Hermelen and B. Porter, Eds. Elsevier, 285-316.
16. Gelfond, M., Lifschitz, V., Przymusinska, H. and Truszczyński, M. 1991. Disjunctive defaults. In Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), J. Allen, R. Fikes and E. Sandewall, Eds. Morgan Kaufmann, 230-237.
17. Giunchiglia, E., Lierler, Y. and Maratea, M. 2006. Answer set programming based on propositional satisfiability. Journal of Automated Reasoning 36, 4, 345-377. (Pubitemid 46046675)
18. Guelzim, N., Bottani, S., Bourgine, P. and Kép'es, F. 2002. Topological and causal structure of the yeast transcriptional regulatory network. Nature Genetics 31, 60-63.
19. Gutierrez-Rios, R., Rosenblueth, D., Loza, J., Huerta, A., Glasner, J., Blattner, F. and Collado-Vides, J. 2003. Regulatory network of Escherichia coli: Consistency between literature knowledge and microarray profiles. Genome Research 13, 11, 2435-2443. (Pubitemid 37428267)
20. Guziolowski, C., Bourde, A., Moreews, F. and Siegel, A. 2009. Bioquali cytoscape plugin: Analysing the global consistency of regulatory networks. BMC Genomics 10.
21. Guziolowski, C., Veber, P., Le Borgne, M., Radulescu, O. and Siegel, A. 2007. Checking consistency between expression data and large scale regulatory networks: A case study. Journal of Biological Physics and Chemistry 7, 2, 37-43.
22. Janhunen, T., Niemelä, I., Seipel, D., Simons, P. and You, J. 2006. Unfolding partiality and disjunctions in stable model semantics. ACM Transactions on Computational Logic 7, 1, 1-37. (Pubitemid 43924967)
23. Jeong, H., Tombor, B., Albert, R., Oltvai, Z. and Barabási, A. 2000. The large-scale organization of metabolic networks. Nature 407, 651-654.
24. Klamt, S. and Stelling, J. 2006. Stoichiometric and constraint-based modelling. In System Modeling in Cellular Biology: From Concepts to Nuts and Bolts, Z. Szallasi, J. Stelling and V. Periwal, Eds. MIT Press, 73-96.
25. Kuipers, B. 1994. Qualitative reasoning. Modeling and simulation with incomplete knowledge. MIT Press.
26. Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F. 2006. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic 7, 3, 499-562. (Pubitemid 44330485)
27. Mallory, M., Cooper, K. and Strich, R. 2007. Meiosis-specific destruction of the Ume6p repressor by the Cdc20-directed APC/C. Molecular Cell 27, 6, 951-961. (Pubitemid 47488188)
28. Papadimitriou, C. and Yannakakis, M. 1982. The complexity of facets (and some facets of complexity). In Proc. of the 14th Annual ACM Symposium on Theory of Computing (STOC'82). ACM Press, 255-260.
29. Remy, É., Ruet, P. and Thieffry, D. 2008. Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework. Advances in Applied Mathematics 41, 3, 335-350.
30. Richard, A., Comet, J. and Bernot, G. 2004. R. Thomas' modeling of biological regulatory networks: Introduction of singular states in the qualitative dynamics. Fundamenta Informaticae 65, 4, 373-392. (Pubitemid 41218101)
31. Siegel, A., Radulescu, O., Le Borgne, M., Veber, P., Ouy, J. and Lagarrigue, S. 2006. Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks. Biosystems 84, 2, 153-174.
32. Soulé, C. 2003. Graphic requirements for multistationarity. Complexus 1, 3, 123-133.
33. Soulé, C. 2006. Mathematical approaches to differentiation and gene regulation. Comptes Rendus Biologies 329, 13-20. (Pubitemid 43056268)
34. Sudarsanam, P., Iyer, V., Brown, P. and Winston, F. 2000. Whole-genome expression analysis of snf/swi mutants of Saccharomyces cerevisiae. Proceedings of the National Academy of Sciences of the United States of America 97, 7, 3364-3369. (Pubitemid 30183308)
35. Syrjänen, T. Lparse 1.0 user's manual, Accessed 7 January 2011. URL: http://www.tcs.hut.fi/Software/smodels/lparse.ps.gz
36. Veber, P., Le Borgne, M., Siegel, A., Lagarrigue, S. and Radulescu, O. 2004. Complex qualitative models in biology: A new approach. Complexus 2, 3-4, 140-151. (Pubitemid 44285812)
37. Washburn, B. and Esposito, R. 2006. Identification of the Sin3-binding site in Ume6 defines a two-step process for conversion of Ume6 from a transcriptional repressor to an activator in yeast. Molecular and Cellular Biology 21, 6, 2057-2069. (Pubitemid 32479628)