Publications

Article(s) de conférence(s) internationale(s)

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 (AAAI’17),The AAAI Press, pp. 3864-3870, février 2017. [Download]

2017 Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem in Proceedings of the 26th IJCAI International Joint Conference on Artificial Intelligence (IJCAI’2017),août 2017.

2016 Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, On Checking Kripke Models for Modal Logic K in 5th Workshop on Practical Aspects of Automated Reasoning (PAAR’16),http://ceur-ws.org, juin 2016. [Download]

Article(s) de revue(s) nationale(s)

2017 Thibault Defourneau, Florent Dewez, Valentin Montmirail, Le Jeu du Lights Out : une approche visuelle des mathématiques au travers d’un atelier in MathémaTICE (MathémaTICE),n° 54, Sésamath, mars 2017. [Download]

Article(s) de conférence(s) nationale(s)

2017 Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K in Actes des 11es Journées d?Intelligence Artificielle Fondamentale (JIAF’2017),juillet 2017.

2017 Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, Une approche basée sur SAT pour le problème de satisfiabilité en logique modale S5 in Actes des 13es journées Francophones de Programmation par Contraintes (JFPC’17),pp. 45-53, juin 2017. [Download]

2016 Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, À propos de la vérification de modèles en logique modale K in Dixièmes Journées de l’Intelligence Artificielle Fondamentale JIAF’2016 (JIAF’16),pp. 10, juin 2016. [Download]