C. Baral, K. Chancellor, N. Tran, N. Tran, A. Joy et al., A knowledge based approach for representing and reasoning about signaling networks, Bioinformatics, vol.20, issue.Suppl 1, 2004.
DOI : 10.1093/bioinformatics/bth918

M. Beal, Variational Algorithms for Approximate Bayesian Inference, 2003.

F. Benhamou, Interval constraint logic programming, Lecture Notes in Computer Science, p.910, 1994.
DOI : 10.1007/3-540-59155-9_1

C. Chassagnole, J. Rodrigues, A. Doncescu, Y. , and L. T. , Differential evolutionary algorithms for in vivo dynamic analysis of glycolysis and pentose phosphate pathway in Escherichia Coli, 2006.

P. Cheeseman and J. Stutz, Bayesian classification (autoclass): Theory and results, Advances in Knowledge Discovery and Data Mining, pp.153-180, 1995.

L. De-raedt, Logical and Relational Learning, 2008.
DOI : 10.1007/978-3-540-88190-2_1

A. Doncescu, Y. Yamamoto, and K. Inoue, Biological Systems Analysis Using Inductive Logic Programming, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07), 2007.
DOI : 10.1109/AINAW.2007.112

S. Dworschak, S. Grell, V. Nikiforova, T. Schaub, and J. Selbig, Modeling Biological Networks by Action Languages via Answer Set Programming, Constraints, vol.64, issue.1???3, pp.21-65, 2008.
DOI : 10.1007/s10601-007-9031-y
URL : http://hdl.handle.net/11858/00-001M-0000-0014-27CD-D

F. Fages, S. Soliman, F. , and I. R. , Model Revision from Temporal Logic Properties in Computational Systems Biology, In: Probabilistic Inductive Logic Programming . LNAI, pp.287-304, 2008.
DOI : 10.1007/978-3-540-78652-8_11
URL : https://hal.archives-ouvertes.fr/hal-01431378

J. Gauvain and C. Lee, Maximum a posteriori estimation for multivariate Gaussian mixture observations of Markov chains, IEEE Transactions on Speech and Audio Processing, vol.2, issue.2, pp.291-298, 1994.
DOI : 10.1109/89.279278

P. Geurts, Pattern Extraction for Time Series Classification, Lecture Notes in Artificial Intelligence, vol.2168, pp.115-127, 2001.
DOI : 10.1007/3-540-44794-6_10

K. Inoue, Linear resolution for consequence finding, Artificial Intelligence, vol.56, issue.2-3, pp.301-353, 1992.
DOI : 10.1016/0004-3702(92)90030-2

K. Inoue, Induction as Consequence Finding, Machine Learning, pp.109-135, 2004.
DOI : 10.1023/B:MACH.0000023149.72125.e2

K. Inoue, T. Sato, M. Ishihata, Y. Kameya, and H. Nabeshima, Evaluating abductive hypotheses using and EM algorithm on BDDs, Proc. of IJCAI-09, pp.820-815, 2009.

M. Ishihata, Y. Kameya, T. Sato, and S. Minato, Propositionalizing the EM algorith by BDDs, pp.8-12, 2008.

S. Ji, B. Krishnapuram, C. , and L. , Variational bayes for continuous hidden markov models and its application to active learning, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.28, issue.4, pp.522-532, 2006.

P. Juvan, J. Demsar, G. Shaulsky, and B. Zupan, GenePath: from mutations to genetic networks and back, Nucleic Acids Research, vol.33, issue.Web Server, 2005.
DOI : 10.1093/nar/gki426

M. Kanehisa, M. Araki, S. Goto, M. Hattori, M. Hirakawa et al., KEGG for linking genomes to life and the environment, Nucleic Acids Research, vol.36, issue.Database, pp.480-484, 2008.
DOI : 10.1093/nar/gkm882

M. Kanehisa and S. Goto, KEGG: Kyoto Encyclopedia of Genes and Genomes, Nucleic Acids Research, vol.28, issue.1, pp.27-30, 2000.
DOI : 10.1093/nar/28.1.27

E. Keogh, J. Lin, and A. Fu, HOT SAX: Efficiently Finding the Most Unusual Time Series Subsequence, Fifth IEEE International Conference on Data Mining (ICDM'05), 2005.
DOI : 10.1109/ICDM.2005.79

R. King, S. Garrett, and G. Coghill, On the use of qualitative reasoning to simulate and identify metabolic pathways, Bioinformatics, vol.21, issue.9, pp.2017-2026, 2005.
DOI : 10.1093/bioinformatics/bti255

R. King, K. Whelan, F. Jones, P. Reiser, C. Bryant et al., Functional genomic hypothesis generation and experimentation by a robot scientist, Nature, vol.427, issue.6971, pp.247-252, 2004.
DOI : 10.1038/nature02236

H. Kitano, Systems Biology: A Brief Overview, Science, vol.295, issue.5560, pp.1662-1664, 2002.
DOI : 10.1126/science.1069492

R. Mooney, Integrating Abduction and Induction in Machine Learning, Working Notes of the IJCAI97 Workshop on Abduction and Induction in AI, pp.37-42, 1997.
DOI : 10.1007/978-94-017-0606-3_12

S. Muggleton, Inverse entailment and progol, New Generation Computing, vol.12, issue.1, pp.245-286, 1995.
DOI : 10.1007/BF03037227

H. Nabeshima, K. Iwanuma, and K. Inoue, SO- LAR: A consequence finding system for advanced reasoning, Proc. of the 11th International Conference TABLEAUX 2003, LNAI, pp.257-263, 2003.

P. Peters-wendisch, B. Schiel, and V. Wendisch, Pyruvate carboxylase is a major bottleneck for glutamate and lysine production by corynebacterium glutamicum, E. K. Molecular Microbiol. Biotechnol, vol.3, issue.2, 2001.

L. Rabiner, A tutorial on hidden markov models and selected applications in speech recognition, Proc. of the IEEE, pp.257-286, 1989.

O. Ray, K. Whelan, and R. King, A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks, 2009 International Conference on Complex, Intelligent and Software Intensive Systems, 2009.
DOI : 10.1109/CISIS.2009.175

G. Schwarz, Estimating the Dimension of a Model, The Annals of Statistics, vol.6, issue.2, pp.461-464, 1978.
DOI : 10.1214/aos/1176344136

A. Tamaddoni-nezhad, R. Chaleil, A. Kakas, and S. Muggleton, Application of abductive ILP to learning metabolic network inhibition from temporal data, Machine Learning, pp.209-230, 2006.
DOI : 10.1007/s10994-006-8988-x

A. Tiwari, C. Talcott, M. Knapp, P. Lincoln, and K. Laderoute, Analyzing pathways using SATbased approaches, Proc of the 2nd Int. Conf. on Algebraic Biology, pp.155-169, 2007.