H. A. Blair and V. Subrahmanian, Paraconsistent foundations for logic programming, Journal of non-classical logic, vol.5, issue.2, pp.45-73, 1988.
DOI : 10.1016/0304-3975(89)90126-6
URL : https://doi.org/10.1016/0304-3975(89)90126-6

H. A. Blair and V. Subrahmanian, Paraconsistent logic programming, Theoretical Computer Science, vol.68, issue.2, pp.135-154, 1989.
DOI : 10.1016/0304-3975(89)90126-6
URL : https://doi.org/10.1016/0304-3975(89)90126-6

T. Chatain, S. Haar, and L. Paulevé, Boolean Networks: Beyond Generalized Asynchronicity, AUTOMATA 2018, 2018.
DOI : 10.1016/S0304-3975(01)00234-1
URL : https://hal.archives-ouvertes.fr/hal-01768359

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

M. Fitting, Bilattices and the semantics of logic programming, The Journal of Logic Programming, vol.11, issue.2, pp.91-116, 1991.
DOI : 10.1016/0743-1066(91)90014-G
URL : https://doi.org/10.1016/0743-1066(91)90014-g

A. Garg, A. Di-cara, I. Xenarios, L. Mendoza, and G. Micheli, Synchronous versus asynchronous modeling of gene regulatory networks, Bioinformatics, vol.57, issue.2, pp.241917-1925, 2008.
DOI : 10.1007/BF02460618
URL : https://academic.oup.com/bioinformatics/article-pdf/24/17/1917/729792/btn336.pdf

M. L. Ginsberg, Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence, vol.3, issue.3, pp.265-316, 1988.
DOI : 10.1007/BF00485052

K. Inoue, Logic programming for boolean networks, IJCAI Proceedings- International Joint Conference on Artificial Intelligence, p.924, 2011.

K. Inoue, T. Ribeiro, and C. Sakama, Learning from interpretation transition, Machine Learning, pp.51-79, 2014.
DOI : 10.1145/321978.321991
URL : https://hal.archives-ouvertes.fr/hal-01710483

M. Kifer and V. Subrahmanian, Theory of generalized annotated logic programming and its applications**A preliminary report on this research has appeared in [34]., The Journal of Logic Programming, vol.12, issue.4, pp.335-367, 1992.
DOI : 10.1016/0743-1066(92)90007-P

D. Mart?nez, G. Alenya, C. Torras, T. Ribeiro, and K. Inoue, Learning relational dynamics of stochastic domains for planning, Proceedings of the 26th International Conference on Automated Planning and Scheduling, 2016.

D. M. Martínez, T. Ribeiro, K. Inoue, G. A. Ribas, and C. Torras, Learning probabilistic action models from interpretation transitions, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, pp.1-14, 2015.

T. Ribeiro and K. Inoue, Learning Prime Implicant Conditions from Interpretation Transition, Inductive Logic Programming, pp.108-125, 2015.
DOI : 10.1145/321978.321991
URL : https://hal.archives-ouvertes.fr/hal-01710486

T. Ribeiro, M. Magnin, K. Inoue, and C. Sakama, Learning Delayed Influences of Biological Systems, Frontiers in Bioengineering and Biotechnology, vol.23, p.81, 2015.
DOI : 10.1145/321978.321991
URL : https://hal.archives-ouvertes.fr/hal-01710485

T. Ribeiro, M. Magnin, K. Inoue, and C. Sakama, Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations, 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA), pp.25-31, 2015.
DOI : 10.1109/ICMLA.2015.19

T. Ribeiro, S. Tourret, M. Folschette, M. Magnin, D. Borzacchiello et al., Inductive Learning from State Transitions over Continuous Domains, Inductive Logic Programming, pp.124-139, 2018.
DOI : 10.1007/3-540-45372-5_29
URL : https://hal.archives-ouvertes.fr/hal-01655644

M. H. Van-emden, Quantitative deduction and its fixpoint theory, The Journal of Logic Programming, vol.3, issue.1, pp.37-53, 1986.
DOI : 10.1016/0743-1066(86)90003-8