Thomas Caridroit
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2015–2017
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | AAAI | A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem. | Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
| 2016 | ECAI | On Distances Between KD45n Kripke Models and Their Use for Belief Revision. | Thomas Caridroit, Sbastien Konieczny, Tiago de Lima, Pierre Marquis |
| 2015 | ECSQARU | Private Expansion and Revision in Multi-agent Settings. | Thomas Caridroit, Sbastien Konieczny, Tiago de Lima, Pierre Marquis |
| 2015 | ECSQARU | Contraction in Propositional Logic. | Thomas Caridroit, Sbastien Konieczny, Pierre Marquis |