Thomas Caridroit Verzeichnis ehemaliger Mitarbeiter
Kontaktdaten
- Poste 80 01 46
- caridroit@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~caridroit/
Forschungsachsen
- Wissensrepräsentationstheorie und formales Schliessen
- Constraints
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.