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
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
Boolean Networks: Beyond Generalized Asynchronicity, AUTOMATA 2018, 2018. ,
DOI : 10.1016/S0304-3975(01)00234-1
URL : https://hal.archives-ouvertes.fr/hal-01768359
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
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
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
Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence, vol.3, issue.3, pp.265-316, 1988. ,
DOI : 10.1007/BF00485052
Logic programming for boolean networks, IJCAI Proceedings- International Joint Conference on Artificial Intelligence, p.924, 2011. ,
Learning from interpretation transition, Machine Learning, pp.51-79, 2014. ,
DOI : 10.1145/321978.321991
URL : https://hal.archives-ouvertes.fr/hal-01710483
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
Learning relational dynamics of stochastic domains for planning, Proceedings of the 26th International Conference on Automated Planning and Scheduling, 2016. ,
Learning probabilistic action models from interpretation transitions, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming, pp.1-14, 2015. ,
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
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
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
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
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