The BioASP Library: ASP solutions for systems biology

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 1, Issue , 2010, Pages 383-389

  Gebser, Martin ^a   König, Arne ^a   Schaub, Torsten ^a   Thiele, Sven ^a   Veber, Philippe ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b INSTITUT COCHIN   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; BIOLOGICAL APPLICATIONS; BIOLOGICAL DATA; BIOLOGICAL MODELS; CONSISTENCY CHECKING; EXPERT KNOWLEDGE; GENE REGULATORY NETWORKS; INCOMPLETE KNOWLEDGE; KNOW-HOW; MODELING LANGUAGES; NEW HIGH; PRACTICAL EXPERIENCE; SYSTEMS BIOLOGY; WEB REPOSITORIES;

ARTIFICIAL INTELLIGENCE; BIOINFORMATICS; MOLECULAR BIOLOGY; TECHNOLOGY TRANSFER;

MODEL CHECKING;

EID: 78751492060     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2010.62     Document Type: Conference Paper

References (26)

1. C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003.
2. M. Gelfond, "Answer sets," in Handbook of Knowledge Representation, V. Lifschitz, F. van Hermelen, and B. Porter, Eds. Elsevier, 2008, pp. 285-316.
3. M. Gebser, T. Schaub, S. Thiele, and P. Veber, "Detecting inconsistencies in large biological networks with answer set programming," Theory and Practice of Logic Programming, 2010, to appear.
4. M. Gebser, C. Guziolowski, M. Ivanchev, T. Schaub, A. Siegel, S. Thiele, and P. Veber, "Repair and prediction (under inconsistency) in large biological networks with answer set programming," in Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR'10), F. Lin and U. Sattler, Eds. AAAI Press, 2010, pp. 497-507.
5. T. Schaub and S. Thiele, "Metabolic network expansion with ASP," in Proceedings of the Twenty-fifth International Conference on Logic Programming (ICLP'09), P. Hill and D. Warren, Eds. Springer-Verlag, 2009, pp. 312-326.
6. M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub, "Conflict-driven answer set solving," in Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), M. Veloso, Ed. AAAI Press/MIT Press, 2007, pp. 386-392.
7. C. Drescher, M. Gebser, T. Grote, B. Kaufmann, A. König, M. Ostrowski, and T. Schaub, "Conflict-driven disjunctive answer set solving," in Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR'08), G. Brewka and J. Lang, Eds. AAAI Press, 2008, pp. 422-432.
8. M. Gebser, R. Kaminski, B. Kaufmann, M. Ostrowski, T. Schaub, and S. Thiele, "A user's guide to gringo, clasp, clingo, and iclingo," [12].
9. M. Gebser, R. Kaminski, M. Ostrowski, T. Schaub, and S. Thiele, "On the input language of ASP grounder gringo," in Proceedings of the Tenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), E. Erdem, F. Lin, and T. Schaub, Eds. Springer-Verlag, 2009, pp. 502-508.
10. T. Syrjänen, "Lparse 1.0 user's manual," http://www.tcs.hut.fi/Software/smodels/.
11. E. Giunchiglia, Y. Lierler, and M. Maratea, "Answer set programming based on propositional satisfiability," Journal of Automated Reasoning, vol. 36, no. 4, pp. 345-377, 2006.
12. "Potassco, the Potsdam answer set solving collection, bundles tools for answer set programming developed at the University of Potsdam," http://potassco.sourceforge.net/.
13. P. Cock, T. Antao, J. Chang, B. Chapman, C. Cox, A. Dalke, I. Friedberg, T. Hamelryck, F. Kauff, B. Wilczynski, and M. de Hoon, "Biopython: freely available Python tools for computational molecular biology and bioinformatics," Bioinformatics, vol. 25, no. 11, pp. 1422-1423, 2009.
14. J. Stajich, D. Block, K. Boulez, S. Brenner, S. Chervitz, C. Dagdigian, G. Fuellen, J. Gilbert, I. Korf, H. Lapp, H. Lehväslaiho, C. Matsalla, C. Mungall, B. Osborne, M. Pocock, P. Schattner, M. Senger, L. Stein, E. Stupka, M. Wilkinson, and E. Birney, "The Bioperl toolkit: Perl modules for the life sciences," Genome Research, vol. 12, no. 10, pp. 1611-1618, 2002.
15. R. Holland, T. Down, M. Pocock, A. Prlić, D. Huen, K. James, S. Foisy, A. Dräger, A. Yates, M. Heuer, and M. Schreiber, "BioJava: an opensource framework for bioinformatics," Bioinformatics, vol. 24, no. 18, pp. 2096-2097, 2008.
16. C. Guziolowski, A. Bourde, F. Moreews, and A. Siegel, "BioQuali Cytoscape plugin: analysing the global consistency of regulatory networks," BMC Genomics, vol. 10, 2009.
17. B. Bornstein, S. Keating, A. Jouraku, and M. Hucka, "LibSBML: an API library for SBML," Bioinformatics, vol. 24, no. 6, pp. 880-881, 2008.
18. A. Siegel, O. Radulescu, M. Le Borgne, P. Veber, J. Ouy, and S. Lagarrigue, "Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks," Biosystems, vol. 84, no. 2, pp. 153-174, 2006.
19. O. Ebenhöh, T. Handorf, and R. Heinrich, "Structural analysis of expanding metabolic networks," Genome Informatics, vol. 15, no. 1, pp. 35-45, 2004.
20. T. Handorf, O. Ebenhöh, and R. Heinrich, "Expanding metabolic networks: scopes of compounds, robustness, and evolution," Journal of Molecular Evolution, vol. 61, no. 4, pp. 498-512, 2005.
21. A. Funahashi, Y. Matsuoka, A. Jouraku, M. Morohashi, N. Kikuchi, and H. Kitano, "CellDesigner 3.5: a versatile modeling tool for biochemical networks," Proceedings of the IEEE, vol. 96, no. 8, pp. 1254-1265, 2008.
22. P. Mendes, "GEPASI: a software package for modelling the dynamics, steady states and control of biochemical and other systems," Computer Applications in the Biosciences, vol. 9, no. 5, pp. 563-571, 1993.
23. H. de Jong, M. Page, C. Hernandez, and J. Geiselmann, "Qualitative simulation of genetic regulatory networks: method and application," in Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI'01), B. Nebel, Ed. Morgan Kaufmann, 2001, pp. 67-73.
24. R. Thomas and R. d'Ari, Biological Feedback. CRC Press, 1990.
25. S. Schuster, T. Pfeiffer, F. Moldenhauer, I. Koch, and T. Dandekar, "Structural analysis of metabolic networks: elementary flux modes, analogy to Petri nets, and application to Mycoplasma pneumoniae," in Proceedings of the German Conference on Bioinformatics (GCB'00), E. Bornberg-Bauer, U. Rost, and J. Stoye, Eds. Logos Verlag, 2000, pp. 115-120.
26. T. Soh and K. Inoue, "Identifying necessary reactions in metabolic pathways by minimal model generation," in Proceedings of the Nineteenth European Conference on Artificial Intelligence (ECAI'10), H. Coelho, R. Studer, and M. Wooldridge, Eds. IOS Press, 2010, pp. 277-282.