Thomas Caridroit Annuaire des anciens membres
Coordonnées
- Poste 80 01 46
- caridroit@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~caridroit/
Diplôme en cours ou obtenu en étant au CRIL
- Thèse : Changement de croyances et logiques modales 2016-12-13
Axes de recherche
- Connaissances
- Contraintes
-
Projets récents
- CPER Data 2015-2022
Publications
Articles de conférences internationales
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.
Articles de conférences nationales
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.
-
Projet ancien
- Projet LoRMAE 2013-2015