Logic-based steady-state analysis and revision of metabolic networks with inhibition

CISIS 2010 - The 4th International Conference on Complex, Intelligent and Software Intensive Systems

Volumn , Issue , 2010, Pages 661-666

  Ray, Oliver ^a   Whelan, Ken ^b   King, Ross ^b  

^a UNIVERSITY OF BRISTOL   (United Kingdom)

^b ABERYSTWYTH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERIMENTAL OBSERVATION; METABOLIC MODELS; METABOLIC NETWORK; MUTUAL INHIBITION; NONMONOTONIC LOGIC; STEADY-STATE ANALYSIS; UNDERLYING NETWORKS;

COMPUTER SOFTWARE; LOGIC PROGRAMMING;

METABOLISM;

EID: 77952690947     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CISIS.2010.184     Document Type: Conference Paper

References (26)

1. S. Bay, J. Shrager, A. Pohorille, and P. Langley. Revising regulatory networks: From expression data to linear causal models. Journal of Biomedical Informatics, 35:289-297, 2003.
2. C. Bodei, A. Bracciali, and D. Chiarugi. On deducing causality in metabolic networks. BMC Bioinformatics, 9(4), 2008.
3. S. Dworschak, S. Grell, V. Nikiforova, T. Schaub, and J. Selbig. Modeling Biological Networks by Action Languages via Answer Set Programming. Constraints, 13(1-2):21-65, 2008.
4. S. Eker, M. Knapp, K. Laderoute, P. Lincoln, and C. Talcott. Pathway Logic: Executable models of biological networks. In Proc. 4th Int. Workshop on Rewriting Logic and Its Applications, 2002.
5. F. Fages, S. Soliman, and N. Chabrier-Rivier. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry, 4:6473, 2004.
6. M. Gelfond. Answer sets. In Handbook of Knowledge Representation, pages 285-316. Elsevier, 2007.
7. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3/4):365-386, 1991.
8. P. Juvan, J. Demsar, G. Shaulsky, and B. Zupan. GenePath: from mutations to genetic networks and back. Nucleic Acids Res., 33, 2005.
9. R. King, S. Garrett, and G. Coghill. On the use of qualitative reasoning to simulate and identify metabolic pathways. Bioinformatics, 21(9):2017-2026, 2005.
10. R. King, J. Rowland, S. Oliver, M. Young, W. Aubrey, E. Byrne, M. Liakata, M. Markham, P. Pir, L. Soldatova, A. Sparkes, K. Whelan, and A. Clare. The automation of science. Science, 324(5923):85-89, 2009.
11. R. King, K. Whelan, F. Jones, P. Reiser, C. Bryant, S. Muggleton, D. Kell, and S. Oliver. Functional Genomic Hypothesis Generation and Experimentation by a Robot Scientist. Nature, 427:247-252, 2004.
12. V. Lifschitz. What is answer set programming? In Proceedings of the 23rd AAAI national conference on Artificial intelligence, pages 1594-1597. AAAI Press, 2008.
13. J. Lloyd. Foundations of Logic Programming. Springer, 1987.
14. S. Muggleton. Inverse Entailment and Progol. New Generation Computing, 13(3-4):245-286, 1995.
15. S. Muggleton and C. Bryant. Theory Completion Using Inverse Entailment. In Proc. 10th Int. Conf. on Inductive Logic Programming, volume 1866 of LNCS, pages 130-146. Springer, 2000.
16. O. Ray. Nonmonotonic abductive inductive learning. Journal of Applied Logic, 7(3):329-340, 2009.
17. O. Ray. Towards a rational approach for the logical modelling of inhibition in metabolic networks. In Proc. 23rd Int. Conf. on Advanced Information Networking and Applications Workshops, pages 918-923, 2009.
18. O. Ray and C. Bryant. Inferring the function of genes from synthetic lethal mutations. In Proc. 2nd Int. Conf. on Complex, Intelligent and Software Intensive Systems, pages 667-671. IEEE, 2008.
19. O. Ray, K. Whelan, and R. King. Automatic revision of metabolic networks through logical analysis of experimental data. In Proc. 19th Int. Conf. on Inductive Logic Programming. To appear.
20. O. Ray, K. Whelan, and R. King. A nonmonotonic logical approach for modelling and revising metabolic networks. In Proc. 3rd Int. Conf. on Complex, Intelligent and Software Intensive Systems, pages 825-829. IEEE, 2009.
21. T. Schaub and S. Thiele. Metabolic Network Expansion with Answer Set Programming. In Proc. 25th Int. Conf. on Logic programming, volume 5649 of LNCS, pages 312-326. Springer, 2009.
22. A. Tamaddoni-Nezhad, A. Kakas, S. Muggleton, and F. Pazos. Modelling inhibition in metabolic pathways through abduction and induction. In Proc. 14th Int. Conf. on Inductive Logic Programming, volume 3194 of LNCS, pages 305-322. Springer, 2004.
23. T. Tamura, K. Takemoto, and T. Akutsu. 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, pages 819-824. IEEE, 2009.
24. A. Tiwari, C. Talcott, M. Knapp, P. Lincoln, and K. Laderoute. Analyzing pathways using sat-based approaches. In Proc. 2nd Int. Conf. on Algebraic Biology, volume 4545 of LNCS, pages 155-169. Springer, 2007.
25. K. Whelan and R. King. Using a logical model to predict the growth of yeast. BMC Bioinformatics, 9(97), 2008.
26. Y. Yamamoto, K. Inoue, and A. Doncescu. Integrating abduction and induction in biological inference using CF-Induction. In Elements of Computational Systems Biology. John Wiley and Sons. To appear.