Thomas Caridroit View the directory of former members
Personal Data
- Poste 80 01 46
- caridroit@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~caridroit/
Degree prepared or obtained while being at CRIL
- PhD thesis : Changement de croyances et logiques modales 2016-12-13
Research Axes
- Knowledge
- Constraints
-
Recent Projects
- CPER Data 2015-2022
Publications
International conferences
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,2017.
National conferences
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.
-
Old Project
- Project LoRMAE 2013-2015