Thomas Caridroit

According to our database, Thomas Caridroit authored at least 5 papers between 2015 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Contraction in propositional logic.

Thomas Caridroit, Sébastien Konieczny, Pierre Marquis

Int. J. Approx. Reason., 2017

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

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

On Distances Between KD45n Kripke Models and Their Use for Belief Revision.

Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Private Expansion and Revision in Multi-agent Settings.

Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Private Revision in a Multi-Agent Setting.

Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015