Jean-Marie Lagniez - Professor
Kontaktdaten
- Poste 15 80 27
- lagniez@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~lagniez
- https://orcid.org/0000-0002-6557-4115
- idHaljean-marie-lagniez
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Forschungsachsen
- Constraints (Co-Leiter)
- Data
- Wissensrepräsentationstheorie und formales Schliessen
Software
Publications
International journals
2023 Constraints Emir Demirović, Katsumi Inoue, Jean-Marie Lagniez, Nicolas Schwind, Algorithms for partially robust team formation in Autonomous Agents and Multi-Agent Systems,vol. 37, n° 2, pp. 22, 2023.
2022 Explainable AI Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, On the Explanatory Power of Boolean Decision Trees in Data and Knowledge Engineering,vol. 142, pp. 102088, 2022.
2021 Knowledge 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 Constraints Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Definability for model counting in Artificial Intelligence,vol. 281, pp. 103229, 2020.
2018 Constraints É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.
International conferences
2024 Constraints Jean-Marie Lagniez, Emmanuel Lonca, Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models in 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024),2024.
2024 Knowledge Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, A SAT-based Approach for Argumentation Dynamics in 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024),2024.
2024 Constraints Jean-Marie Lagniez, Pierre Marquis, Armin Biere, Dynamic Blocked Clause Elimination for Projected Model Counting in The 27th International Conference on Theory and Applications of Satisfiability Testing,Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.
2024 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, PyXAI: An XAI Library for Tree-Based Models in The 33rd International Joint Conference on Artificial Intelligence,pp. 8601-8605, 2024.
2024 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories in The 33rd International Joint Conference on Artificial Intelligence,pp. 3688-3696, 2024.
2024 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, On the Computation of Example-Based Abductive Explanations for Random Forests in The 33rd International Joint Conference on Artificial Intelligence,pp. 3679-3687, 2024.
2024 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, On the Computation of Contrastive Explanations for Boosted Regression Trees in The 27th European Conference on Artificial Intelligence,2024.
2023 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, Computing Abductive Explanations for Boosted Trees in 26th International Conference on Artificial Intelligence and Statistics (AISTATS 2023),vol. 206, 2023.
2023 Constraints Jean-Marie Lagniez, Pierre Marquis, Boosting Definability Bipartition Computation Using SAT Witnesses in The 18th European Conference on Logics in Artificial Intelligence (JELIA'23),Springer Nature Switzerland, vol. 14281, pp. 697-711, 2023.
2023 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, On Contrastive Explanations for Tree-Based Classifiers in The 26th European Conference on Artificial Intelligence (ECAI'23),IOS Press, 2023.
2023 Explainable AI Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis, Computing Abductive Explanations for Boosted Regression Trees in Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23},International Joint Conferences on Artificial Intelligence Organization, pp. 3432-3441, 2023.
2022 Constraints Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, A New Exact Solver for (Weighted) Max#SAT in International Conference on Theory and Applications of Satisfiability Testing (SAT),2022.
2022 Constraints 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.
2022 Explainable AI Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Trading Complexity for Sparsity in Random Forest Explanations in AAAI Conference on Artificial Intelligence,2022.
2022 Explainable AI Gilles Audemard, Steve Bellart, Louenas Bounia, Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis, On Preferred Abductive Explanations for Decision Trees and Random Forests in Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22},International Joint Conferences on Artificial Intelligence Organization, pp. 643-650, 2022.
2021 Constraints Nicolas Schwind, Emir Demirović, Jean-Marie Lagniez, Katsumi Inoue, Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience in International Conference on Autonomous Agents and Multiagent Systems (AAMAS),2021.
2021 AI at the service of... 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 Constraints Florent Capelli, Jean-Marie Lagniez, Pierre Marquis, Certifying Top-Down Decision-DNNF Compilers in AAAI 2021 - 35th Conference on Artificial Intelligence,2021.
2020 Knowledge 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 Constraints Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre, NACRE - A Nogood And Clause Reasoning Engine in 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'23),pp. 249-259, 2020.
2020 Constraints Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail, Consolidating Modal Knowledge Bases in 24th European Conference on Artificial Intelligence (ECAI'20),2020.
2019 Constraints Jean-Marie Lagniez, Pierre Marquis, A Recursive Algorithm for Projected Model Counting in 33rd AAAI Conference on Artificial Intelligence (AAAI'19),2019.
2019 Constraints 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 (CP'19),2019.
2019 Knowledge 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 Constraints 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 Constraints É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 Constraints 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 Constraints 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 (CP'18),pp. 160-178, 2018.
2018 Constraints 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 Constraints 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 Knowledge 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 Constraints 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 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, 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 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 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 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 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 É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.
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, 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 É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.
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.
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 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),vol. 29, pp. 3710-3716, 2015.
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 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.
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 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 É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 É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, An Experimentally Efficient Method for (MSS, CoMSS) Partitioning in 28th Conference on Artificial Intelligence (AAAI'14),pp. 2666-2673, 2014.
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 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 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 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.
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 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 É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.
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.
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 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 Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure, Relax! in 24th International Conference on Tools with Artificial Intelligence (ICTAI'12),pp. 146-153, 2012.
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.
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.
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, Analyse de conflits dans le cadre de la recherche locale in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 215-225, 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.
National journals
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.
National conferences
2023 Thibault Falque, Jean-Marie Lagniez, Romain Wallon, Panoramyx : une bibliothèque pour le développement de solveurs de contraintes parallèles in 24e Conférence ROADEF de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF'23),2023.
2023 Gilles Audemard, Steve Bellart, Louenas Bounia, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, PyXAI : calculer en Python des explications pour des modèles d'apprentissage supervisé in Extraction et Gestion des Connaissances, EGC,vol. RNTI-E-39, 2023.
2023 Gilles Audemard, Steve Bellart, Louenas Bounia, Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis, Sur les explications abductives préférées pour les arbres de décision et les forêts aléatoires in Extraction et Gestion des Connaissances, EGC,vol. RNTI-E-39, 2023.
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.
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.
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 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.
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 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.
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.
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.
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.
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.
Book chapters
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.
International workshops
2023 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation in First International Workshop on Argumentation and Applications (Arg&App 2023),CEUR-WS, vol. 3472, 2023.
2021 Jean-Marie Lagniez, Pierre Marquis, About Caching in D4 2.0 in Workshop on Counting and Sampling 2021,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.
Technical reports
2021 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Design and Results of ICCMA 2021 2021.
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.
2013 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe in SAT Competition 2013 2013.