R. Angelopoulos, N. Muggleton, and S. H. , Machine learning metabolic pathway descriptions using a probabilistic relational representation, Electronic Transactions in Artificial Intelligence, vol.7, issue.9, 2002.

N. Angelopoulos and S. H. Muggleton, Slps for probabilistic pathways: Modeling and parameter estimation, 2002.

M. Antoniotti, A. Policriti, N. Ugel, and B. Mishra, Model Building and Model Checking for Biochemical Processes, Cell Biochemistry and Biophysics, vol.38, issue.3, pp.271-286, 2003.
DOI : 10.1385/CBB:38:3:271

G. Bernot, J. Comet, A. Richard, and J. And-guespin, Application of formal methods to biological regulatory networks: extending Thomas??? asynchronous logical approach with temporal logic, Journal of Theoretical Biology, vol.229, issue.3, pp.339-347, 2004.
DOI : 10.1016/j.jtbi.2004.04.003

C. H. Bryant, S. H. Muggleton, S. G. Oliver, D. B. Kell, P. G. Reiser et al., Combining inductive logic programming, active learning and robotics to discover the function of genes, Electronic Transactions in Artificial Intelligence, vol.6, issue.12, 2001.

L. Calzone, N. Chabrier-rivier, F. Fages, L. Gentils, and S. Soliman, Machine learning biomolecular interactions from temporal logic properties, Proceedings of CMSB'05, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000117

N. Chabrier and F. Fages, Symbolic model cheking of biochemical networks, Proceedings CMSB'03, pp.149-162, 2003.

N. Chabrier-rivier, M. Chiaverini, V. Danos, F. Fages, and V. Schächter, Modeling and querying biomolecular interaction networks, Theoretical Computer Science, vol.325, issue.1, pp.25-44, 2004.
DOI : 10.1016/j.tcs.2004.03.063

N. Chabrier-rivier, F. Fages, and S. Soliman, The Biochemical Abstract Machine BIOCHAM, Proceedings of CMSB'04, pp.172-191, 2004.
DOI : 10.1007/BF03037227
URL : https://hal.archives-ouvertes.fr/inria-00000814

A. Cimatti, E. Clarke, E. Giunchiglia, F. G. Pistore, M. Roveri et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceedings of CAV'02, 2002.
DOI : 10.1007/3-540-45657-0_29

E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking, 1999.

L. De-raedt, Interactive Theory Revision, an inductive Logic Programming Approach. Knowledge-Based Systems, 1992.

S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer et al., PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING, Biocomputing 2002, pp.400-412, 2002.
DOI : 10.1142/9789812799623_0038

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, vol.4, issue.2, pp.64-73, 2004.
DOI : 10.4024/2040402.jbpc.04.02
URL : https://hal.archives-ouvertes.fr/hal-01431345

K. W. Kohn, Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems, Molecular Biology of the Cell, vol.10, issue.8, pp.703-2734, 1999.
DOI : 10.1091/mbc.10.8.2703

J. R. Koza, W. Mydlowec, G. Lanza, J. Yu, and M. A. Keane, REVERSE ENGINEERING OF METABOLIC PATHWAYS FROM OBSERVED DATA USING GENETIC PROGRAMMING, Biocomputing 2001, pp.434-445, 2001.
DOI : 10.1142/9789814447362_0043

P. Langley, H. A. Simon, G. L. Bradshaw, and J. M. Zytkow, Scientific Discovery: Computational Explorations of the Creative Processes, 1987.

S. H. Muggleton, Inverse entailment and progol, New Generation Computing, vol.12, issue.1, pp.245-286, 1995.
DOI : 10.1007/BF03037227
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.1630

L. Todorovski and S. D?eroski, Theory Revision in Equation Discovery, Proceedings of the 4th International Conference on Discovery Science, pp.389-400, 2001.
DOI : 10.1007/3-540-45650-3_33