A. Adamatzky, Identification of Cellular Automata, 1994.

A. Adamatzky, Identification of Cellular Automata, Special Issue of, Journal of Cellular Automata, vol.2, issue.1, 2007.

T. Akutsu, S. Kuhara, O. Maruyama, and S. Miyano, Identification of genetic networks by strategic gene disruptions and gene overexpressions under a boolean model, Theoretical Computer Science, vol.298, issue.1, pp.235-251, 2003.
DOI : 10.1016/S0304-3975(02)00425-5

T. Akutsu, T. Tamura, and K. Horimoto, Completing Networks Using Observed Data, Proceedings of ALT, '09, LNAI 5809, pp.126-140, 2009.
DOI : 10.1016/j.bbrc.2009.02.076

K. R. Apt and M. Bezem, Acyclic programs, New Generation Computing, vol.5, issue.3-4, pp.335-363, 1991.
DOI : 10.1016/B978-0-934613-40-8.50005-1

K. R. Apt, H. A. Blair, and A. Walker, Towards a Theory of Declarative Knowledge, Foundations of Deductive Databases and Logic Programming, pp.89-148, 1988.
DOI : 10.1016/B978-0-934613-40-8.50006-3

C. Baral, T. Eiter, M. Bjäreland, and M. Nakamura, Maintenance goals of agents in a dynamic environment: Formulation and policy construction, Artificial Intelligence, vol.172, issue.12-13, pp.1429-1469, 2008.
DOI : 10.1016/j.artint.2008.03.005

H. A. Blair, J. Chidella, F. Dushin, A. Ferry, and P. Humenn, A continuum of discrete systems, Annals of Mathematics and Artificial Intelligence, vol.21, issue.2/4, pp.153-186, 1997.
DOI : 10.1023/A:1018913302060

R. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/TC.1986.1676819

A. Chaos, M. Aldana, C. Espinosa-soto, B. Ponce-de-léon, A. G. Arroyo et al., From Genes to Flower Patterns and Evolution: Dynamic Models of Gene Regulatory Networks, Journal of Plant Growth Regulation, vol.261, issue.4, pp.278-289, 2006.
DOI : 10.1007/BF02460618

K. L. Clark, Negation as Failure, Logic and Data Bases, pp.119-140, 1978.
DOI : 10.1007/978-1-4684-3384-5_11

D. Corapi, D. Sykes, K. Inoue, and A. Russo, Probabilistic Rule Learning in Nonmonotonic Domains, Computational Logic in Multi-Agent Systems: Proceedings of the 12th International Workshop (CLIMA- XII), LNAI 6814, pp.243-258, 2011.
DOI : 10.1016/S0743-1066(99)00077-1

M. I. Davidich and S. Bornholdt, Boolean Network Model Predicts Cell Cycle Sequence of Fission Yeast, PLoS ONE, vol.11, issue.12, p.1672, 2008.
DOI : 10.1371/journal.pone.0001672.t004

L. De-raedt, Logical settings for concept-learning, Artificial Intelligence, vol.95, issue.1, pp.187-201, 1997.
DOI : 10.1016/S0004-3702(97)00041-6

E. Dubrova and M. Teslenko, A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks, IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol.8, issue.5, pp.1393-1399, 2011.
DOI : 10.1109/TCBB.2010.20

S. D?eroski, L. De-raedt, and K. Driessens, Relational reinforcement learning, Machine Learning, pp.7-52, 2001.
DOI : 10.1007/BFb0027307

A. Fauré, A. Naldi, C. Chaouiya, and D. Thieffry, Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, vol.22, issue.14, pp.22-124, 2006.
DOI : 10.1093/bioinformatics/btl210

A. Garg, D. Cara, A. Xenarios, I. Mendoza, L. et al., Synchronous versus asynchronous modeling of gene regulatory networks, Bioinformatics, vol.57, issue.2, pp.241917-1925, 2008.
DOI : 10.1007/BF02460618

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, Proceedings of ICLP '88, pp.1070-1080, 1988.

K. Inoue, Logic programming for Boolean networks, Proceedings of IJCAI-11, pp.924-930, 2011.

K. Inoue, H. Bando, and H. Nabeshima, Inducing Causal Laws by Regular Inference, Proceedings of ILP '05, LNAI 3625, pp.154-171, 2005.
DOI : 10.1007/11536314_10

K. Inoue, A. Doncescu, and H. Nabeshima, Completing causal networks by meta-level abduction, Machine Learning, 2013.
DOI : 10.1093/bioinformatics/btf871
URL : https://hal.archives-ouvertes.fr/hal-00999312

K. Inoue and C. Sakama, Oscillating Behavior of Logic Programs, Correct Reasoning?Essays on Logic-Based AI in Honour of Vladimir Lifschitz, LNAI 7265, pp.345-362, 2012.
DOI : 10.1016/0743-1066(94)00023-Y

S. A. Kauffman, The Origins of Order: Self-Organization and Selection in Evolution, 1993.

M. J. Kearns and U. V. Vazirani, An Introduction to Computational Learning Theory, 1994.

R. A. Kowalski and M. J. Sergot, A logic-based calculus of events, New Generation Computing, vol.10, issue.No. 2, pp.67-95, 1986.
DOI : 10.1007/BF03037383

F. Li, T. Long, Y. Lu, Q. Ouyang, and C. Tang, The yeast cell-cycle network is robustly designed, Proceedings of the National Academy of Sciences, vol.95, issue.15, pp.1014781-4786, 2004.
DOI : 10.1073/pnas.95.15.8420

S. Liang, S. Fuhrman, and R. Somogyi, REVEAL, a general reverse engineering algorithm for inference of genetic network architectures, Pacific Symposium on Biocomputing, pp.18-29, 1998.

W. Marek and V. S. Subrahmanian, The relationship between stable, supported, default and autoepistemic semantics for general logic programs, Theoretical Computer Science, vol.103, issue.2, pp.365-386, 1992.
DOI : 10.1016/0304-3975(92)90019-C

J. Mccarthy and P. J. Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, Machine Intelligence, pp.463-502, 1969.
DOI : 10.1016/B978-0-934613-03-3.50033-7

S. Moyle, Using Theory Completion to Learn a Robot Navigation Control Program, Proceedings of ILP '02, LNAI 2583, pp.182-197, 2003.
DOI : 10.1007/3-540-36468-4_12

R. P. Otero, Induction of the Indirect Effects of Actions by Monotonic Methods, Proceedings of ILP '05, LNAI 3625, pp.279-294, 2005.
DOI : 10.1007/11536314_17

R. Pal, I. Ivanov, A. Datta, M. L. Bittner, and E. R. Dougherty, Generating Boolean networks with a prescribed attractor structure, Bioinformatics, vol.20, issue.17, pp.4021-4025, 2005.
DOI : 10.1093/bioinformatics/bth318

G. D. Plotkin, A note on inductive generalization, Machine Intelligence, pp.153-163, 1970.

E. Remy and P. Ruet, From minimal signed circuits to the dynamics of Boolean regulatory networks, Bioinformatics, vol.4, issue.4, pp.220-226, 2008.
DOI : 10.1371/journal.pmed.0040177
URL : https://hal.archives-ouvertes.fr/hal-00692090

R. A. Robinson, A Machine-Oriented Logic Based on the Resolution Principle, Journal of the ACM, vol.12, issue.1, pp.23-41, 1965.
DOI : 10.1145/321250.321253

C. Rodrigues, P. Gérard, C. Rouveirol, and H. Soldano, Active Learning of Relational Action Models, Proceedings of ILP '11, LNAI 7207, pp.302-316, 2012.
DOI : 10.1007/978-3-642-31951-8_26

C. Sakama, Nonmonotonic inductive logic programming, Proceedings of LPNMR '01, LNAI 2173, pp.62-80, 2001.

C. Sakama, Induction from answer sets in nonmonotonic logic programs, ACM Transactions on Computational Logic, vol.6, issue.2, pp.203-231, 2005.
DOI : 10.1145/1055686.1055687

C. Sakama and K. Inoue, Abduction, unpredictability and Garden of Eden, Logic Journal of IGPL, vol.3, issue.6, 2013.
DOI : 10.1017/S1471068403001716

I. Shmulevich, E. R. Dougherty, S. Kim, and W. Zhang, Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks, Bioinformatics, vol.18, issue.2, pp.261-274, 2002.
DOI : 10.1093/bioinformatics/18.2.261

A. Srinivasan and M. Bain, Knowledge-Guided Identification of Petri Net Models of Large Biological Systems, Proceedings of ILP '11, LNAI 7207, pp.317-331, 2012.
DOI : 10.1007/978-3-642-31951-8_27

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.1016/B978-0-12-543105-7.50008-7

N. Tran and C. Baral, Hypothesizing about signaling networks, Journal of Applied Logic, vol.7, issue.3, pp.253-274, 2009.
DOI : 10.1016/j.jal.2008.10.001
URL : https://doi.org/10.1016/j.jal.2008.10.001

M. H. Van-emden and R. A. Kowalski, The Semantics of Predicate Logic as a Programming Language, Journal of the ACM, vol.23, issue.4, pp.733-742, 1976.
DOI : 10.1145/321978.321991

S. Wolfram, Cellular Automata and Complexity, Computers in Physics, vol.9, issue.1, 1994.
DOI : 10.1063/1.4823369