Repair and prediction (under inconsistency) in large biological networks with answer set programming

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2010, Pages 497-507

  Gebser, Martin ^a   Guziolowski, Carito ^b   Ivanchev, Mihail ^a   Schaub, Torsten ^a   Siegel, Anne ^b   Thiele, Sven ^a   Veber, Philippe ^c  

^a UNIVERSITY OF POTSDAM   (Germany)

^b CAMPUS DE BEAULIEU   (France)

^c INSTITUT COCHIN   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ESCHERICHIA COLI; FORECASTING; LOGIC PROGRAMMING;

ANSWER SET PROGRAMMING; BIOLOGICAL NETWORKS; EMPIRICAL STUDIES;

KNOWLEDGE REPRESENTATION;

EID: 79952021547     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. Allen, T.; Herrgard, M.; Liu, M.; Qiu, Y.; Glasner, J.; Blattner, F.; and Palsson, B. 2003. Genome-scale analysis of the uses of the Escherichia coli genome: Model-driven analysis of heterogeneous data sets. Journal of Bacteriology 185(21):6392-6399.
2. Arenas, M.; Bertossi, L.; and Chomicki, J. 1999. Consistent query answers in inconsistent databases. In Proceedings of the Eighteenth Symposium on Principles of Database Systems, 68-79. ACM Press.
3. Bansal, M.; Belcastro, V.; Ambesi-Impiombato, A.; and di Bernardo, D. 2007. How to infer gene networks from expression profiles. Molecular Systems Biology 3(78).
4. Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.
5. Baumbach, J., and Apeltsin, L. 2008. Linking Cytoscape and the corynebacterial reference database CoryneRegNet. BMC Genomics 9(184).
6. Baumbach, J.; Tauch, A.; and Rahmann, S. 2009. Towards the integrated analysis, visualization and reconstruction of microbial gene regulatory networks. Briefings in Bioinformatics 10(1):75-83.
7. Bradley, M.; Beach, M.; de Koning, A.; Pratt, T.; and Osuna, R. 2007. Effects of Fis on Escherichia coli gene expression during different growth stages. Microbiology 153:2922- 2940.
8. Covert, M.; Xiao, N.; Chen, T.; and Karr, J. 2008. Integrating metabolic, transcriptional regulatory and signal transduction models in Escherichia coli. Bioinformatics 24(18):2044-2050.
9. Drescher, C.; Gebser, M.; Grote, T.; Kaufmann, B.; König, A.; Ostrowski, M.; and Schaub, T. 2008. Conflict-driven disjunctive answer set solving. In Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning, 422-432. AAAI Press.
10. 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.
11. Erdem, E.; Lin, F.; and Schaub, T., eds. 2009. Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning. Springer.
12. Ernst, J.; Beg, Q.; Kay, K.; Baĺazsi, G.; Oltvai, Z.; and Bar- Joseph, Z. 2008. A semi-supervised method for predicting transcription factor-gene interactions in Escherichia coli. PLoS Computational Biology 4(3).
13. Faith, J.; Hayete, B.; Thaden, J.; Mogno, I.; Wierzbowski, J.; Cottarel, G.; Kasif, S.; Collins, J.; and Gardner, T. 2007. Large-scale mapping and validation of Escherichia coli transcriptional regulation from a compendium of expression profiles. PLoS Computational Biology 5(1).
14. Ferrazzi, F.; Magni, P.; Sacchi, L.; Nuzzo, A.; Petrovič, U.; and Bellazzi, R. 2007. Inferring gene regulatory networks by integrating static and dynamic data. International Journal of Medical Informatics 76:462-475.
15. Gama-Castro, S.; Jiménez-Jacinto, V.; Peralta-Gil, M.; Santos-Zavaleta, A.; Peñaloza-Spinola, M.; Contreras- Moreira, B.; Segura-Salazar, J.; Muñiz-Rascado, L.; Martínez-Flores, I.; Salgado, H.; Bonavides-Martínez, C.; Abreu-Goodger, C.; Rodríguez-Penagos, C.; Miranda-Ríos, J.; Morett, E.; Merino, E.; Huerta, A.; Treviño-Quintanilla, L.; and Collado-Vides, J. 2008. RegulonDB (version 6.0): gene regulationmodel of Escherichia coli K-12 beyond transcription, active (experimental) annotated promoters and Textpresso navigation. Nucleic Acids Research 36.
16. Gebser, M.; Kaufmann, B.; Neumann, A.; and Schaub, T. 2007. Conflict-driven answer set solving. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, 386-392. AAAI Press/MIT Press.
17. Gebser, M.; Schaub, T.; Thiele, S.; Usadel, B.; and Veber, P. 2008. Detecting inconsistencies in large biological networks with answer set programming. In Proceedings of the Twenty-fourth International Conference on Logic Programming, 130-144. Springer.
18. Gebser, M.; Kaminski, R.; Ostrowski, M.; Schaub, T.; and Thiele, S. 2009. On the input language of ASP grounder gringo. In Erdem et al. (2009), 502-508.
19. Gebser, M.; Kaufmann, B.; and Schaub, T. 2009. The conflict-driven answer set solver clasp: Progress report. In Erdem et al. (2009), 509-514.
20. Gutiérrez-Ríos, 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.
21. Ideker, T. 2004. A systems approach to discovering signaling and regulatory pathways-or, how to digest large interaction networks into relevant pieces. Advances in Experimental Medicine and Biology 547:21-30.
22. Joyce, A., and Palsson, B. 2006. The model organism as a system: Integrating 'omics' data sets. Nature Reviews Molecular Cell Biology 7(3):198-210.
23. Kauffman, S. 1993. The Origins of Order: Self- Organization and Selection in Evolution. Oxford University Press.
24. Kauffman, S.; Peterson, C.; Samuelsson, B.; and Troein, C. 2003. Random Boolean network models and the yeast transcriptional network. Proceedings of the National Academy of Sciences of the USA 100(25):14796-14799.
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. ACMTransactions on Computational Logic 7(3):499-562.
27. Schaefer, M., and Umans, C. 2002. Completeness in the polynomial-time hierarchy: A compendium. ACM SIGACT News 33(3):32-49.
28. 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.
29. Simons, P.; Niemel̈a, I.; and Soininen, T. 2002. Extending and implementing the stable model semantics. Artificial Intelligence 138(1-2):181-234.
30. Soulé, C. 2006. Mathematical approaches to differentiation and gene regulation. Comptes rendus biologies 329(1):13- 20.
31. Syrjänen, T. Lparse 1.0 user's manual. Thomas, R., ed. 1979. Kinetic Logic: A Boolean Approach to the Analysis of Complex Regulatory Systems. Springer.
32. Veber, P.; Guziolowski, C.; Le Borgne, M.; Radulescu, O.; and Siegel, A. 2008. Inferring the role of transcription factors in regulatory networks. BMC Bioinformatics 9(228).