A. Colmerauer and P. Roussel, History of Programming Languages ? II, chapitre The Birth of Prolog, pp.331-367

J. P. Delgrande, T. Schaub, H. Tompits, and K. Wang, A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning, Computational Intelligence, vol.1, issue.2, pp.308-334, 2004.
DOI : 10.1017/S1471068402001552

J. Demongeot, A. Elena, M. Noual, S. Sené, and F. Thuderoz, ???Immunetworks???, intersecting circuits and dynamics, Journal of Theoretical Biology, vol.280, issue.1, pp.19-33, 2011.
DOI : 10.1016/j.jtbi.2011.03.023

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.466.5874

J. Demongeot, E. Goles, M. Morvan, M. Noual, and S. Sené, Attraction Basins as Gauges of Robustness against Boundary Conditions in Biological Complex Systems, PLoS ONE, vol.98, issue.8, p.11793, 2010.
DOI : 10.1371/journal.pone.0011793.t007

J. Demongeot, M. Noual, and S. Sené, Combinatorics of Boolean automata circuits dynamics, Discrete Applied Mathematics, vol.160, issue.4-5, pp.398-415, 2012.
DOI : 10.1016/j.dam.2011.11.005

URL : https://hal.archives-ouvertes.fr/hal-00666297

A. Doncescu and P. Siegel, DNA Double-Strand Break???Based Nonmonotonic Logic, Dans Computational Biology Bioinformatics and Systems Biology, pp.409-427, 2015.
DOI : 10.1016/B978-0-12-802508-6.00022-3

A. Doncescu, P. Siegel, and T. Lee, Representation an efficient algorithms for the study of cell signaling pathways, Dans ICAI, pp.504-510, 2014.

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

S. A. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol.22, issue.3, pp.437-467, 1969.
DOI : 10.1016/0022-5193(69)90015-0

S. A. Kauffman, C. Peterson, B. Samuelsson, and C. , Troein: Random Boolean network models and the yeast transcriptional network, pp.14796-14799, 2003.
DOI : 10.1073/pnas.2036429100

URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC299805

S. A. Kripke, Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi, Zeitschrift f??r Mathematische Logik und Grundlagen der Mathematik, vol.4, issue.5-6, pp.67-96, 1963.
DOI : 10.3406/phlou.1938.3890

S. A. Kripke, Semantical Analysis of Intuitionistic Logic I, Studies in Logic and the Foundations of Mathematics, pp.92-130, 1965.
DOI : 10.1016/S0049-237X(08)71685-9

V. Lifschitz, The Logic Programming Paradigm : A 25- Year Perspective, chapitre Action languages, answer sets, and planning, pp.357-373, 1999.
DOI : 10.1007/978-3-642-60085-2_16

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.8933

J. Mccarthy, Circumscription???A form of non-monotonic reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.27-39, 1980.
DOI : 10.1016/0004-3702(80)90011-9

J. Mccarthy, Applications of circumscription to formalizing common-sense knowledge, Artificial Intelligence, vol.28, issue.1, pp.89-116, 1986.
DOI : 10.1016/0004-3702(86)90032-9

T. Melliti, M. Noual, D. Regnault, S. Sené, and J. Sobieraj, Asynchronous dynamics of Boolean automata doublecycles, Proceedings of UCNC'2015, tome 9252 de LNCS, pp.250-262, 2015.
DOI : 10.1007/978-3-319-21819-9_19

URL : https://hal.archives-ouvertes.fr/hal-01193075

T. Melliti, D. Regnault, A. Richard, S. Sené-mendoza, L. Et et al., On the convergence of Boolean automata networks without negative cycles Dynamics of the genetic regulatory network for Arabidopsis thaliana flower morphogenesis, Proceedings of AUTOMATA'2013, tome 8155 de LNCS, pp.124-138307, 1998.

L. Mendoza, D. Thieffry, and E. R. Alvarez-buylla, Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis, Bioinformatics, vol.15, issue.7, pp.593-606, 1999.
DOI : 10.1093/bioinformatics/15.7.593

M. Noual, Updating Automata Networks, Thèse de doctorat, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00726560

R. Reiter, A logic for default reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.81-132, 1980.
DOI : 10.1016/0004-3702(80)90014-4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.250.9224

É. Remy, B. Mossé, and C. Chaouyia, Thieffry: A description of dynamical graphs associated to elementary regulatory circuits, Bioinformatics, vol.19, pp.172-178, 2003.

É. Remy and P. Ruet, Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework, Advances in Applied Mathematics, vol.41, issue.3, pp.335-350, 2008.
DOI : 10.1016/j.aam.2007.11.003

URL : https://hal.archives-ouvertes.fr/hal-00692086

A. Richard, Negative circuits and sustained oscillations in asynchronous automata networks, Advances in Applied Mathematics, vol.44, issue.4, pp.378-392, 2010.
DOI : 10.1016/j.aam.2009.11.011

URL : http://doi.org/10.1016/j.aam.2009.11.011

A. Richard and J. P. , Necessary conditions for multistationarity in discrete dynamical systems, Discrete Applied Mathematics, vol.155, issue.18, pp.2403-2413, 2007.
DOI : 10.1016/j.dam.2007.04.019

URL : https://hal.archives-ouvertes.fr/hal-00342169

F. Robert, Discrete Iterations : A Metric Study, 1986.
DOI : 10.1007/978-3-642-61607-5

C. Schwind and P. Siegel, A modal logic for hypothesis theory, Fundamenta Informaticae, vol.21, pp.89-101, 1994.

Y. Shoham, Readings in Nonmonotonic Reasoning, chapitre A semantical approach to nonmonotonic logics, pp.227-250, 1987.

P. Siegel, Modal logic based theory for non-monotonic reasoning, Journal of Applied Non-Classical Logics, vol.29, issue.1, pp.73-92, 1993.
DOI : 10.1016/0004-3702(80)90014-4

D. Thieffry, R. Et, and . Thomas, Dynamical behaviour of biological regulatory networks???II. Immunity control in bacteriophage lambda, Bulletin of Mathematical Biology, vol.191, issue.2, pp.277-297, 1995.
DOI : 10.1515/JBCPP.1991.2.3.223

R. Thomas, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-585, 1973.
DOI : 10.1016/0022-5193(73)90247-6

R. Thomas, Numerical Methods in the Study of Critical Phenomena, chapitre On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations, pp.180-193, 1981.