Publications

Articles de revues internationales

2021 Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis, On the computation of probabilistic coalition structures in Autonomous Agents and Multi-Agent Systems,vol. 35, n° 1, 2021.

2020 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Definability for model counting in Artificial Intelligence,vol. 281, pp. 103229, 2020.

2019 Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski, An Incremental SAT-Based Approach for Graph Colouring Problem in The 25th International Conference on Principles and Practice of Constraint Programming,2019.

2018 Éric Grégoire, Jean-Marie Lagniez, Du Zhang, Consensus-finding that preserves mutually conflicting hypothetical information from a same agent in AI Communications,vol. 31, n° 3, pp. 303-317, 2018.

2017 Jean-Marie Lagniez, Pierre Marquis, On Preprocessing Techniques and Their Impact on Propositional Model Counting in Journal of Automated Reasoning (JAR),vol. 58, n° 4, pp. 413-481, 2017.

2016 Éric Grégoire, Jean-Marie Lagniez, RCL: An A. I. Tool for Computing Maximal Consensuses in International Journal on Artificial Intelligence Tools (IJAIT),vol. 25, n° 4, pp. 1-10, 2016.

2016 Éric Grégoire, Jean-Marie Lagniez, A Computational Method for Enforcing Knowledge that Cannot be Subsumed in International Journal on Artificial Intelligence Tools (IJAIT),vol. 25, n° 4, pp. 1-19, 2016.

2015 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, On getting rid of the preprocessing minimization step in MUC-finding algorithms in Constraints,vol. 20, pp. 414-432, 2015.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Boosting MUC extraction in unsatisfiable constraint networks in Applied Intelligence,vol. 41, n° 4, pp. 1012-1023, 2014.

Articles de conférences internationales

2022 Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel, Identifying Soft Cores in Propositional Formulae in 14th International Conference on Agents and Artificial Intelligence, ICAART,2022.

2021 Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, On the Computational Intelligibility of Boolean Classifiers in 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021},International Joint Conferences on Artificial Intelligence Organization, pp. 74-86, 2021.

2021 Florent Capelli, Jean-Marie Lagniez, Pierre Marquis, Certifying Top-­Down Decision-­DNNF Compilers in AAAI 2021 - 35th Conference on Artificial Intelligence,2021.

2020 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Introducing the Fourth International Competition on Computational Models of Argumentation in Third International Workshop on Systems and Algorithms for Formal Argumentation,2020.

2020 Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis, On Computational Aspects of Iterated Belief Change in Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20},International Joint Conferences on Artificial Intelligence Organization, pp. 1770-1776, 2020.

2020 Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail, Consolidating Modal Knowledge Bases in 24th European Conference on Artificial Intelligence (ECAI'20),2020.

2019 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, Une approche SAT sensible à la mémoire pour les logiques modales PSPACE in JIAF 2019 - 13es Journées de l'Intelligence Artificielle Fondamentale,2019.

2019 Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis, What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario in 28th International Joint Conference on Artificial Intelligence {IJCAI-19},International Joint Conferences on Artificial Intelligence Organization, pp. 1865-1871, 2019.

2019 Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis, Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives in  JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes,2019.

2019 Jean-Marie Lagniez, Pierre Marquis, A Recursive Algorithm for Projected Model Counting in 33rd AAAI Conference on Artificial Intelligence (AAAI'19),2019.

2019 Gilles Audemard, Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski, pFactory: A generic library for designing parallel solvers in International Conference on Applied Computing (AC),2019.

2018 Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis, An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks in 24th International Conference on Principles and Practice of Constraint Programming,pp. 160-178, 2018.

2018 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem in Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018,pp. 1-18, 2018.

2018 Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis, Probabilistic Coalition Structure Generation in 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18),AAAI Press, pp. 663-664, 2018.

2018 Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, DMC: A Distributed Model Counter in 27th International Joint Conference on Artificial Intelligence (IJCAI'18),pp. 1331-1338, 2018.

2018 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, A SAT-Based Approach For PSPACE Modal Logics in Principles of Knowledge Representation and Reasoning: Sixteenth International Conference,2018.

2018 Éric Grégoire, Yacine Izza, Jean-Marie Lagniez, Boosting MCSes enumeration in 27th International Joint Conference on Artificial Intelligence (IJCAI'18),pp. 1309-1315, 2018.

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),Springer, pp. 160--178, 2018.

2017 Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou, Defining and Evaluating Heuristics for the Compilation of Constraint Networks in 23rd International Conference on Principles and Practice of Constraint Programming (CP'17),Springer, pp. 172-188, 2017.

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.

2017 Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary, A Distributed Version of Syrup in 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17),pp. 215-232, 2017.

2017 Éric Grégoire, Yacine Izza, Jean-Marie Lagniez, On Computing One Max_Subset Inclusion Consensus in 29th International Conference on Tools with Artificial Intelligence (ICTAI'17),IEEE, pp. 838 - 845, 2017.

2017 Jean-Marie Lagniez, Pierre Marquis, An Improved Decision-DNNF Compiler in 26th International Joint Conference on Artificial Intelligence (IJCAI'17),pp. 667-673, 2017.

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 Twenty-Sixth International Joint Conference on Artificial Intelligence,International Joint Conferences on Artificial Intelligence Organization, pp. 674-680, 2017.

2016 Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez, On Consensus Extraction in 25th International Joint Conference on Artificial Intelligence (IJCAI'16),pp. 1095-1101, 2016.

2016 Éric Grégoire, Jean-Marie Lagniez, A Computational Approach to Consensus-Finding in 22nd European Conference on Artificial Intelligence (ECAI'16),IOS Press, pp. 795-801, 2016.

2016 Éric Grégoire, Jean-Marie Lagniez, Du Zhang, On Computing Non-hypocritical Consensuses in Standard Logic in 27th International Workshop on Database and Expert Systems Applications (DEXA'16),IEEE, pp. 97-101, 2016.

2016 Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary, An Adaptive SAT Solver in 22nd International Conference on Principles and Practice of Constraint Programming (CP'16),pp. 30-48, 2016.

2016 Éric Grégoire, Jean-Marie Lagniez, Du Zhang, Logical consensuses for case-based reasoning and for mathematical engineering of AI in 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC'16),IEEE, pp. 29-33, 2016.

2016 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Improving Model Counting by Leveraging Definability in 25th International Joint Conference on Artificial Intelligence (IJCAI'16),pp. 751-757, 2016.

2016 Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail, On Checking Kripke Models for Modal Logic K in Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016.,2016.

2016 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, An Improved CNF Encoding Scheme for Probabilistic Inference in 22nd European Conference on Artificial Intelligence (ECAI'16),pp. 613-621, 2016.

2016 Éric Grégoire, Yacine Izza, Jean-Marie Lagniez, On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts in 30th AAAI Conference on Artificial Intelligence (AAAI'16),pp. 3404-3410, 2016.

2015 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Compiling Constraint Networks into Multivalued Decomposable Decision Graphs in 24th International Joint Conference on Artificial Intelligence (IJCAI'15),pp. 332-338, 2015.

2015 Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez, On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts in 29th AAAI Conference on Artificial Intelligence (AAAI'15),pp. 3710-3716, 2015.

2015 Éric Grégoire, Jean-Marie Lagniez, On Anti-subsumptive Knowledge Enforcement in 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'15),Springer Berlin Heidelberg, pp. 48-62, 2015.

2015 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver in 27th International Conference on Tools with Artificial Intelligence (ICTAI'15),IEEE, pp. 928-935, 2015.

2014 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Symmetry-Driven Decision Diagrams for Knowledge Compilation in 21st European Conference on Artificial Intelligence (ECAI'14),pp. 51-56, 2014.

2014 Jean-Marie Lagniez, Pierre Marquis, Preprocessing for Propositional Model Counting in 28th AAAI Conference on Artificial Intelligence (AAAI'14),pp. 2688-2694, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, An Experimentally Efficient Method for (MSS, CoMSS) Partitioning in 28th Conference on Artificial Intelligence (AAAI'14),pp. 2666-2673, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, A General Artificial Intelligence Approach for Skeptical Reasoning in 7th Conference on Artificial General Intelligence (AGI'14),pp. 33-42, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Multiple Contraction through Partial-Max-SAT in 26th International Conference on Tools with Artificial Intelligence (ICTAI'14),pp. 321-327, 2014.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Enforcing Solutions in Constraint Networks in 21st European Conference on Artificial Intelligence (ECAI'14),pp. 1017-1018, 2014.

2014 Jean-Marie Lagniez, Un solveur hybride pour la résolution pratique de SAT in ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision,2014.

2013 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Knowledge Compilation for Model Counting: Affine Decision Trees in 23rd International Joint Conference on Artificial Intelligence (IJCAI'13),pp. 947-953, 2013.

2013 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Preserving Partial Solutions while Relaxing Constraint Networks in 23th International Joint Conference on Artificial Intelligence (IJCAI'13),pp. 552-558, 2013.

2013 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Questioning the Importance of WCORE-like Minimization Steps in MUC-finding Algorithms in 15th International Conference on Tools with Artificial Intelligence (ICTAI'13),IEEE Press, pp. 923-930, 2013.

2013 Gilles Audemard, Jean-Marie Lagniez, Laurent Simon, Just-In-Time Compilation of Knowledge Bases in 23th International Joint Conference on Artificial Intelligence (IJCAI'13),pp. 447-453, 2013.

2013 Gilles Audemard, Jean-Marie Lagniez, Laurent Simon, Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction in International Conference on Theory and Applications of Satisfiability Testing,2013.

2013 Gilles Audemard, Jean-Marie Lagniez, Laurent Simon, Du glucose en goutte à goutte pour les coeurs insatisfiables in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13),pp. 59-66, 2013.

2013 Jean-Marie Lagniez, Armin Biere, Factoring Out Assumptions to Speed Up {MUS} Extraction in 16th International Conference on Theory and Applications of Satisfiability Testing (SAT'13),springer, pp. 276-22, 2013.

2013 Jean-Marie Lagniez, Long Guo, Dynamic Polarity Adjustment in a Parallel {SAT} Solver in IEEE 23rd International Conference on Tools with Artificial Intelligence (ICTAI'11),pp. 67-73, 2013.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe, a Parallel Clause-Freezer Solver in SAT Challenge 2012: Solver and Benchmarks Descriptions,pp. 43-44, 2012.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, Revisiting Clause Exchange in Parallel SAT Solving in 15th International Conference on Theory and Applications of Satisfiability Testing (SAT'12),Springer, vol. 7962, pp. 200-213, 2012.

2012 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Relax! in 24th International Conference on Tools with Artificial Intelligence (ICTAI'12),pp. 146-153, 2012.

2012 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, A Data Structure Boosting The Performance of Local Search For CSP Solving in International Conference on Metaheuristics and Nature Inspired Computing (META'12),2012.

2011 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, A CSP solver focusing on FAC variables in 17th International Conference on Principles and Practice of Constraint Programming (CP'11),Springer, vol. 6876, pp. 493-507, 2011.

2011 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, On freezeing and reactivating learnt clauses in 14th International Conference on Theory and Applications of Satisfiability Testing (SAT'11),Springer, vol. 6695, pp. 188-200, 2011.

2010 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Boosting local search thanks to {CDCL} in 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'10),Springer, vol. 6397, pp. 474-488, 2010.

2009 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Learning in local search in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09),IEEE Computer Society, pp. 417-424, 2009.

2009 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Integrating Conflict Driven Clause Learning to Local Search in 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09),2009.

2009 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, Analyse de conflits dans le cadre de la recherche locale in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 215-225, 2009.

Articles de revues nationales

2014 Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon, Améliorer SAT dans le cadre incrémental in Revue d'intelligence artificielle (RIA),vol. 28, n° 5, pp. 593-614, 2014.

Articles de conférences nationales

2022 Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Les raisons majoritaires : des explications abductives pour les forêts aléatoires in 22ème Conférence francophone sur l'Extraction et Gestion des Connaissances (EGC 2022),Editions RNTI, pp. 123-134, 2022.

2022 Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Sur le pouvoir explicatif des arbres de décision in Extraction et Gestion des Connaissances, EGC,Editions RNTI, vol. E-38, pp. 147-158, 2022.

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 11e Journées d'Intelligence Artificielle Fondamentale,2017.

2017 Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure, Combinaison de nogoods extraits au redémarrage in 13è Journées Francophone de Programmation par Contraintes (JFPC'17),pp. 55--64, 2017.

2016 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Exploiter les définitions pour le comptage de modèles in 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16),2016.

2016 Valentin Montmirail, Daniel Le Berre, Tiago de Lima, Jean-Marie Lagniez, A propos de la vérification de modèles en logique modale K in 10es Journées d’Intelligence Artificielle Fondamentale (IAF 2016),2016.

2016 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Un schéma d'encodage propositionnel pour l'inférence probabiliste à partir de modèles graphiques in 10èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'16),2016.

2015 Jean-Marie Lagniez, Sébastien Tabary, Nicolas Szczepanski, Swarmsat : un solveur sat massivement parallèle. in 11èmes Journées Francophones de Programmation par Contraintes (JFPC'15),2015.

2015 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Compilation de réseaux de contraintes en graphes de décision décomposables multivalués in 11èmes Journées Francophones de Programmation par Contraintes (JFPC'15),2015.

2014 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Une méthode expérimentalement efficace de partition d’une CNF en un MSS et un CoMSS in 10ièmes Journées Francophones de Programmation par Contraintes (JFPC'14),pp. 183-192, 2014.

2013 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Arbres de décision affine pour le comptage de modèles in 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13),2013.

2013 Gilles Audemard, Jean-Marie Lagniez, Laurent Simon, Du Glucose en goutte à goutte pour les coeurs inconsistants in Journées Francophones de Programmation par Contraintes,2013.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, Résolution parallèle de SAT : mieux collaborer pour aller plus loin in 8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12),pp. 35-44, 2012.

2012 Gilles Audemard, Benoît Hoessen, Said Jabbour, Jean-Marie Lagniez, Cédric Piette, Résolution parallèle de SAT: mieux collaborer pour aller plus loin in JFPC 2012,2012.

2010 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Approche hybride pour SAT in 17ième Congrès Francophone sur la Reconnaissance des Formes et Intelligence Artificielle (RFIA'10),pp. 279-286, 2010.

Chapitres d'ouvrages

2017 Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis, Boosting Distance-Based Revision Using SAT Encodings in Logic, Rationality, and Interaction,vol. 10455, pp. 480-496, Springer Berlin Heidelberg, 2017.

Rapports techniques

2013 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe in SAT Competition 2013 2013.

2013 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, RCL: Reduce learnt clauses 2013.

2013 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, SatHYS: Sat Hybrid Solver 2013.