Jean-Marie Lagniez - Professeur des universités
Coordonnées
- 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
Diplômes en cours ou obtenus en étant au CRIL
- Thèse : Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes 2011-12-07
- Habilitation à diriger des recherches : Promenade au-delà de NP 2019-12-11
Axes de recherche
- Contraintes (co-responsable)
- Données
- Connaissances
-
Projets récents
- ANR CHAIRE IA EXPEKCTATION 2020-2025
- ANR PRC PING/ACK 2019-2023
- ANR SATAS 2016-2020
- CNRS IRP MAKC 2020-2024
- Contrat de collaboration VITAL Equipement 2023-2026
- H2020 TAILOR 2020-2024
- PIA4 MAIA 2022-2031
Logiciels
- B+E - Improving Model Counting by Leveraging Definability
- bn2cnf translator
- Compilation of a CNF belief revision instance into CNF formula
- Compilation of a CNF belief revision instance into CNF formula
- Compilation of a CNF merging instance into CNF formula
- Compiling constraint networks (CN) into multivalued decomposable decision graphs (MDDG)
- CoQuiAAS
- Crusti_bat
- D-Syrup
- d4
- Decdnnf-rs
- Generation of a time-table and translation into a CNF merging instance
- Le projet Compile!
- Penelope
- pFactory, une bibliothèque multithread pour les solveurs SAT
- Preprocessing for Propositional Model Counting
- PyXAI - Python eXplainable AI
- Scalop
Publications
Articles de revues internationales
2023 Contraintes 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 IA explicable 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 Connaissances 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 Contraintes Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Definability for model counting in Artificial Intelligence,vol. 281, pp. 103229, 2020.
2018 Contraintes É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
2024 Connaissances 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 Contraintes Frederic Koriche, Jean-Marie Lagniez, Stefan Mengel, Chi Tran, Learning Model Agnostic Explanations via Constraint Programming in Joint European Conference on Machine Learning and Knowledge Discovery in Databases,Springer Nature Switzerland, vol. 14944, pp. 437-453, 2024.
2024 Contraintes 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 IA explicable 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 IA explicable 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 IA explicable 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 IA explicable 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.
2024 Contraintes 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.
2023 Contraintes 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 IA explicable 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.
2023 IA explicable 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 IA explicable 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.
2022 Contraintes 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 IA explicable 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.
2022 IA explicable 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 Contraintes 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 Contraintes Florent Capelli, Jean-Marie Lagniez, Pierre Marquis, Certifying Top-Down Decision-DNNF Compilers in AAAI 2021 - 35th Conference on Artificial Intelligence,2021.
2021 Contraintes 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 IA au service de... 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.
2020 Contraintes Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail, Consolidating Modal Knowledge Bases in 24th European Conference on Artificial Intelligence (ECAI'20),2020.
2020 Connaissances 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 Contraintes 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.
2019 Contraintes 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.
2019 Contraintes Jean-Marie Lagniez, Pierre Marquis, A Recursive Algorithm for Projected Model Counting in 33rd AAAI Conference on Artificial Intelligence (AAAI'19),2019.
2019 Contraintes 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 Connaissances 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.
2018 Contraintes 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 Contraintes É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 Contraintes 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.
2018 Contraintes 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 Contraintes 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 Contraintes 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 Connaissances 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.
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 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 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, 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.
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 É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.
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, 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 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, 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 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, 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, 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 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.
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 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 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.
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.
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, 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.
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, 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.
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 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 É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 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, 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, 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.
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
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.
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 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.
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 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, 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.
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.
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.
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 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.
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.
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 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 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 JFPC 2012,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 8ièmes Journées Francophones de Programmation par Contraintes (JFPC'12),pp. 35-44, 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.
Articles de workshops internationaux
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.
Rapports techniques
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, SatHYS: Sat Hybrid Solver 2013.
2013 Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Saïs, RCL: Reduce learnt clauses 2013.
2013 Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette, PeneLoPe in SAT Competition 2013 2013.
Anciens doctorants
- Steve Bellart : Calcul d'explications formelles pour les modèles d'apprentissage automatique à ensemble d'arbres soutenue le : 2023-12-18
- Marie Miceli : Contribution to solving NP<sup>PP</sup> problems soutenue le : 2023-11-30
- Yacine Izza : Informatique ubiquitaire : techniques de curage d’informations perverties soutenue le : 2018-12-07
- Valentin Montmirail : Résolution pratique de la cohérence de formules en logique modale soutenue le : 2018-09-17
- Nicolas Szczepanski : SAT en Parallèle soutenue le : 2017-12-12
- Samuel Thomas : Compilation de connaissances pour le comptage de modèles soutenue le : 2016-12-14
-
Projets anciens
- ANR UNLOC 2009-2011
- PEPS I3A DL4DS 2018
- PEPS JCJC INS2I DISCO 2017
- Projet PHC Barrande France / République Tchèque KC4CP 2017-2018