Publications

Articles de conférences internationales

2018 Jean-Marie Lagniez, Daniel Le Berre, Tiago De Lima, Valentin Montmirail, An Assumption-Based Approach for Solving The Minimal S5-Satisfiability Problem in 9th International Joint Conference on Automated Reasoning (IJCAR’18),juillet 2018. (to appear)

2018 Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis, An Incremental SAT-Based Approach to Reason Efficiently On Qualitative Constraint Network in 24th International Conference on Principles and Practice of Constraint Programming (CP’18),août 2018. (to appear)

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 26th International Joint Conference on Artificial Intelligence (IJCAI’17),pp. 674-680, août 2017. [Download]

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

Articles de workshops internationaux

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]

Articles de revues nationales

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]

Articles de conférences nationales

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 11èmes Journées de l’Intelligence Artificielle Fondamentale (IAF’17),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 10èmes Journées de l’Intelligence Artificielle Fondamentale (IAF’16),pp. 10, juin 2016. [Download]