Analyzing pathways using ASP-based approaches

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6479 LNCS, Issue , 2012, Pages 167-183

  Ray, Oliver ^a   Soh, Takehide ^b   Inoue, Katsumi ^c  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

^b GRADUATE UNIVERSITY FOR ADVANCED STUDIES   (Japan)

^c NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; BIOCHEMICAL REACTION NETWORK; BOOLEAN CONSTRAINT; CASE-STUDIES; LOGICAL INFERENCE; NUMERICAL INFORMATION; STATE-OF-THE-ART APPROACH;

LOGIC PROGRAMMING;

ALGEBRA;

EID: 84855981537     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28067-2_10     Document Type: Conference Paper

References (31)

1. Alsinet, T., Manyà, F., Planes, J.: An efficient solver for weighted max-sat. Journal of Global Optimization 41, 61-73 (2008) (Pubitemid 351464330)
2. Baral, C., Chancellor, K., Tran, N., Tran, N.L., Joy, A., Berens, M.: A knowledge based approach for representing and reasoning about signaling networks. In: Proc. 12th Int. Conf. on Intelligent Systems for Molecular Biology, pp. 15-22 (2004)
3. Bay, S., Shrager, J., Pohorille, A., Langley, P.: Revising regulatory networks: From expression data to linear causal models. Journal of Biomedical Informatics 35, 289-297 (2003) (Pubitemid 36951930)
4. Beasley, J., Planes, F.: Recovering metabolic pathways via optimization. Bioinformatics 23(1), 92-98 (2007) (Pubitemid 46017860)
5. Bodei, C., Bracciali, A., Chiarugi, D.: On deducing causality in metabolic networks. BMC Bioinformatics 9(4) (2008)
6. Clark, K.: Negation as failure rule. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293-322. Plenum Press (1978)
7. Dworschak, S., Grell, S., Nikiforova, V., Schaub, T., Selbig, J.: Modeling Biological Networks by Action Languages via Answer Set Programming. Constraints 13(1-2), 21-65 (2008)
8. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Talcott, C.: Pathway Logic: Executable models of biological networks. In: Proc. 4th Int. Workshop on Rewriting Logic and Its Applications (2002)
9. Fages, F.: A new fixpoint semantics for general logic programs compared with the well-supported and stable model semantics. New Generation Computing 9, 425-443 (1991)
10. Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4, 64-73 (2004)
11. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A Conflict-Driven Answer Set Solver. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 260-265. Springer, Heidelberg (2007)
12. Gebser, M., Schaub, T., Thiele, S.: GrinGo: A New Grounder for Answer Set Programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 266-271. Springer, Heidelberg (2007)
13. Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation, pp. 285- 316. Elsevier (2007)
14. Inoue, K., Sato, T., Ishihata, M., Kameya, Y., Nabeshima, H.: Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence, pp. 810-815 (2009)
15. Juvan, P., Demsar, J., Shaulsky, G., Zupan, B.: GenePath: from mutations to genetic networks and back. Nucleic Acids Research 33 (2005)
16. King, R., Garrett, S., Coghill, G.: On the use of qualitative reasoning to simulate and identify metabolic pathways. Bioinformatics 21(9), 2017-2026 (2005) (Pubitemid 40668040)
17. King, R., Whelan, K., Jones, F., Reiser, P., Bryant, C., Muggleton, S., Kell, D., Oliver, S.: Functional Genomic Hypothesis Generation and Experimentation by a Robot Scientist. Nature 427, 247-252 (2004) (Pubitemid 38112040)
18. Klamt, S., Stelling, J.: Combinatorial complexity of pathway analysis in metabolic networks. Molecular Biology Reports 29(1-2), 233-236 (2002) (Pubitemid 35021891)
19. Küffner, R., Zimmer, R., Lengauer, T.: Pathway analysis in metabolic databases via differetial metabolic display (DMD). In: German Conference on Bioinformatics, pp. 141-147 (1999)
20. Kügel, A.: Improved exact solver for the weighted max-sat problem. In: Proc. of the 2010 Pragmatics of SAT Workshop (2010)
21. Lifschitz, V.: What is answer set programming? In: Proc. 23rd AAAI National Conf. on Artificial Intelligence, pp. 1594-1597. AAAI Press (2008)
22. Lloyd, J.: Foundations of Logic Programming. Springer, Heidelberg (1987)
23. Marek, W., Subrahmanian, V.S.: The relationship between stable, supported, default and autoepistemic semantics for general logic programs. Theoretical Computer Science 103, 365-386 (1992)
24. Muggleton, S., King, R., Sternberg, M.: Protein secondary structure prediction using logic-based machine learning. Protein Engineering 5(7), 647-657 (1992)
25. Papatheodorou, I., Kakas, A., Sergot, M.: Inference of Gene Relations from Microarray Data by Abduction. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS (LNAI), vol. 3662, pp. 389-393. Springer, Heidelberg (2005)
26. Ray, O., Whelan, K., King, R.: Automatic Revision of Metabolic Networks through Logical Analysis of Experimental Data. In: De Raedt, L. (ed.) ILP 2009. LNCS (LNAI), vol. 5989, pp. 194-201. Springer, Heidelberg (2010)
27. Srinivasan, A., Muggleton, S., Sternberg, M., King, R.: Theories for Mutagenicity: A Study in First-Order and Feature-Based Induction. Journal of Artificial Intelligence 85(1-2), 277-299 (1996) (Pubitemid 126363732)
28. Schaub, T., Thiele, S.: Metabolic Network Expansion with Answer Set Programming. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 312-326. Springer, Heidelberg (2009)
29. Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A., Sternberg, M., Nicholson, J., Muggleton, S.: Modeling the effects of toxins in metabolic networks. IEEE Engineering in Medicine and Biology 26, 37-46 (2007) (Pubitemid 46486578)
30. Tamura, T., Takemoto, K., Akutsu, T.: Measuring Structural Robustness of Metabolic Networks under a Boolean Model Using Integer Programming and Feedback Vertex Sets. In: Proc. 3rd Int. Conf. on Complex, Intelligent and Software Intensive Systems, pp. 819-824. IEEE (2009)
31. Tiwari, A., Talcott, C., Knapp, M., Lincoln, P., Laderoute, K.: Analyzing Pathways Using SAT-Based Approaches. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) AB 2007. LNCS, vol. 4545, pp. 155-169. Springer, Heidelberg (2007)