Publications

Article(s) de revue(s) internationale(s)

2017 Thomas Caridroit, Sébastien Konieczny, Pierre Marquis, Contraction in propositional logic in International Journal of Approximate Reasoning (IJAR),vol. 80, pp. 428-442, 2017.

Article(s) de conférence(s) internationale(s)

2017 Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem in Thirty-First AAAI Conference on Artificial Intelligence (AAAI’17),The AAAI Press, pp. 3864-3870, février 2017. [Download]

2016 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, On Distances Between KD45n Kripke Models and their Use for Belief Revision in 22th European Conference on Artificial Intelligence (ECAI’16),IOS Press, pp. 1053-1061, août 2016.

2015 Thomas Caridroit, Sébastien Konieczny, Pierre Marquis, Contraction in Propositional Logic in 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15),Springer, pp. 186-196, 2015.

2015 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Private Revision in Multi-Agent Setting in International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’15) (AAMAS’15),ACM, pp. 1677-1678, 2015.

2015 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Private Expansion and Revision in Multi-agent Settings in 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15),Springer, pp. 175-185, 2015.

Article(s) de conférence(s) nationale(s)

2017 Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, Une approche basée sur SAT pour le problème de satisfiabilité en logique modale S5 in Actes des 13es journées Francophones de Programmation par Contraintes (JFPC’17),pp. 45-53, juin 2017. [Download]

2016 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Sur les distances entre modèles de Kripke KD45n et leur utilisation pour la révision des croyances in Dixièmes Journées de l’Intelligence Artificielle Fondamentale JIAF’2016 (JIAF’16),2016. (actes électroniques)

2014 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Expansion et révision privées dans KD45n in 8èmes Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’14),2014. (actes électroniques)

2013 Thomas Caridroit, Sébastien Konieczny, Pierre Marquis, Contraction en logique propositionnelle finie in 7èmes Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’13),2013. (actes électroniques)