Jean-Marie Lagniez

111 papers A* 34A 26B 10Journal 22Unranked 18
YearRankTypeTitle / Venue / Authors
2025 A* conf
An Embarrassingly Parallel Model Counter.
KR
Zhenghang Xu, Minghao Yin, Jean-Marie Lagniez
2025 A* conf
Circuit-Aware d-DNNF Compilation.
IJCAI
Vincent Derkinderen, Jean-Marie Lagniez
2025 A* conf
Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation.
KR
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly
2025 — conf
Enhancing Query Efficiency for D-DNNF Representations Through Preprocessing.
JELIA (2)
Jean-Marie Lagniez, Emmanuel Lonca
2025 A conf
Probabilistic Explanations for Regression Models.
UAI
Frédéric Koriche, Jean-Marie Lagniez, Chi Tran
2025 A conf
Reducing Quantum Circuit Synthesis to #SAT.
CP
Dekel Zak, Jingyi Mei, Jean-Marie Lagniez, Alfons Laarman
2025 J jnl
The third and fourth international competitions on computational models of argumentation: Design, results and analysis.
Argument Comput.
Stefano Bistarelli, Lars Kotthoff, Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Francesco Santini, Carlo Taticchi
2024 A conf
A SAT-based Approach for Argumentation Dynamics.
AAMAS
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly
2024 A* conf
A Top-Down Tree Model Counter for Quantified Boolean Formulas.
IJCAI
Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl
2024 A* conf
Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories.
IJCAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2024 A conf
Dynamic Blocked Clause Elimination for Projected Model Counting.
SAT
Jean-Marie Lagniez, Pierre Marquis, Armin Biere
2024 J jnl
Dynamic Blocked Clause Elimination for Projected Model Counting.
CoRR
Jean-Marie Lagniez, Pierre Marquis, Armin Biere
2024 — conf
Learning Model Agnostic Explanations via Constraint Programming.
ECML/PKDD (4)
Frédéric Koriche, Jean-Marie Lagniez, Stefan Mengel, Chi Tran
2024 J jnl
Learning Model Agnostic Explanations via Constraint Programming.
CoRR
Frédéric Koriche, Jean-Marie Lagniez, Stefan Mengel, Chi Tran
2024 A* conf
Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models.
KR
Jean-Marie Lagniez, Emmanuel Lonca
2024 A conf
On the Computation of Contrastive Explanations for Boosted Regression Trees.
ECAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis
2024 A* conf
On the Computation of Example-Based Abductive Explanations for Random Forests.
IJCAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2024 A* conf
PyXAI: An XAI Library for Tree-Based Models.
IJCAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2023 — conf
A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation.
JIAF
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
2023 — conf
A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation.
Arg&App
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
2023 J jnl
Algorithms for partially robust team formation.
Auton. Agents Multi Agent Syst.
Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
2023 B conf
Boosting Definability Bipartition Computation Using SAT Witnesses.
JELIA
Jean-Marie Lagniez, Pierre Marquis
2023 A* conf
Computing Abductive Explanations for Boosted Regression Trees.
IJCAI
Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis
2023 A conf
Computing Abductive Explanations for Boosted Trees.
AISTATS
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2023 A conf
On Contrastive Explanations for Tree-Based Classifiers.
ECAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2023 — conf
PyXAI : calculer en Python des explications pour des modèles d'apprentissage supervisé.
EGC
Gilles Audemard, Steve Bellart, Louenas Bounia, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2023 — conf
Sur les explications abductives préférées pour les arbres de décision et les forêts aléatoires.
EGC
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2023 — conf
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks.
CMSB
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
2023 J jnl
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks.
CoRR
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé
2022 A conf
A New Exact Solver for (Weighted) Max#SAT.
SAT
Gilles Audemard, Jean-Marie Lagniez, Marie Miceli
2022 J jnl
Computing Abductive Explanations for Boosted Trees.
CoRR
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2022 — conf
Identifying Soft Cores in Propositional Formulæ.
ICAART (2)
Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel
2022 — conf
Les raisons majoritaires : des explications abductives pour les forêts aléatoires.
EGC
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2022 A* conf
On Preferred Abductive Explanations for Decision Trees and Random Forests.
IJCAI
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2022 J jnl
On the explanatory power of Boolean decision trees.
Data Knowl. Eng.
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2022 — conf
Sur le pouvoir explicatif des arbres de décision.
EGC
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2022 A* conf
Trading Complexity for Sparsity in Random Forest Explanations.
AAAI
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2021 A* conf
Certifying Top-Down Decision-DNNF Compilers.
AAAI
Florent Capelli, Jean-Marie Lagniez, Pierre Marquis
2021 J jnl
Design and Results of ICCMA 2021.
CoRR
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
2021 A* conf
On the Computational Intelligibility of Boolean Classifiers.
KR
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2021 J jnl
On the Computational Intelligibility of Boolean Classifiers.
CoRR
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2021 J jnl
On the Explanatory Power of Decision Trees.
CoRR
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2021 J jnl
On the computation of probabilistic coalition structures.
Auton. Agents Multi Agent Syst.
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
2021 A conf
Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience.
AAMAS
Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
2021 J jnl
Trading Complexity for Sparsity in Random Forest Explanations.
CoRR
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2020 A conf
Consolidating Modal Knowledge Bases.
ECAI
Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail
2020 J jnl
Definability for model counting.
Artif. Intell.
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
2020 — conf
Introducing the Fourth International Competition on Computational Models of Argumentation.
SAFA
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
2020 B conf
NACRE - A Nogood And Clause Reasoning Engine.
LPAR
Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre
2020 A* conf
On Computational Aspects of Iterated Belief Change.
IJCAI
Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
2019 A* conf
A Recursive Algorithm for Projected Model Counting.
AAAI
Jean-Marie Lagniez, Pierre Marquis
2019 A conf
An Incremental SAT-Based Approach to the Graph Colouring Problem.
CP
Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski
2019 — book
Promenade au-delà de NP. (Beyond NP).
Jean-Marie Lagniez
2019 A* conf
What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario.
IJCAI
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
2018 A* conf
A SAT-Based Approach For PSPACE Modal Logics.
KR
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2018 A conf
An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem.
IJCAR
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2018 A conf
An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks.
CP
Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis
2018 A* conf
Boosting MCSes Enumeration.
IJCAI
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
2018 J jnl
Consensus-finding that preserves mutually conflicting hypothetical information from a same agent.
AI Commun.
Éric Grégoire, Jean-Marie Lagniez, Du Zhang
2018 A* conf
DMC: A Distributed Model Counter.
IJCAI
Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2018 J jnl
Preface.
Int. J. Artif. Intell. Tools
Éric Grégoire, Jean-Marie Lagniez, Du Zhang
2018 A* conf
Probabilistic Coalition Structure Generation.
KR
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
2017 A conf
A Distributed Version of Syrup.
SAT
Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary
2017 A* conf
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem.
IJCAI
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2017 A* conf
A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem.
AAAI
Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2017 A* conf
An Improved Decision-DNNF Compiler.
IJCAI
Jean-Marie Lagniez, Pierre Marquis
2017 — conf
Boosting Distance-Based Revision Using SAT Encodings.
LORI
Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
2017 A conf
Combining Nogoods in Restart-Based Search.
CP
Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure
2017 A conf
Defining and Evaluating Heuristics for the Compilation of Constraint Networks.
CP
Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou
2017 B conf
On Computing One Max_Subset Inclusion Consensus.
ICTAI
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
2017 J jnl
On Preprocessing Techniques and Their Impact on Propositional Model Counting.
J. Autom. Reason.
Jean-Marie Lagniez, Pierre Marquis
2017 A* conf
SAT Encodings for Distance-Based Belief Merging Operators.
AAAI
Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
2016 A conf
A Computational Approach to Consensus-Finding.
ECAI
Éric Grégoire, Jean-Marie Lagniez
2016 J jnl
A Computational Method for Enforcing Knowledge that Cannot be Subsumed.
Int. J. Artif. Intell. Tools
Éric Grégoire, Jean-Marie Lagniez
2016 A conf
An Adaptive Parallel SAT Solver.
CP
Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary
2016 A conf
An Improved CNF Encoding Scheme for Probabilistic Inference.
ECAI
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2016 A* conf
Improving Model Counting by Leveraging Definability.
IJCAI
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
2016 — conf
Logical consensuses for case-based reasoning and for mathematical engineering of AI.
ICCI*CC
Éric Grégoire, Jean-Marie Lagniez, Du Zhang
2016 — conf
On Checking Kripke Models for Modal Logic K.
PAAR@IJCAR
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
2016 — conf
On Computing Non-hypocritical Consensuses in Standard Logic.
DEXA Workshops
Éric Grégoire, Jean-Marie Lagniez, Du Zhang
2016 A* conf
On Consensus Extraction.
IJCAI
Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez
2016 A* conf
On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts.
AAAI
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez
2016 J jnl
RCL: An A. I. Tool for Computing Maximal Consensuses.
Int. J. Artif. Intell. Tools
Éric Grégoire, Jean-Marie Lagniez
2015 B conf
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver.
ICTAI
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly
2015 A* conf
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs.
IJCAI
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
2015 B conf
On Anti-subsumptive Knowledge Enforcement.
LPAR
Éric Grégoire, Jean-Marie Lagniez
2015 A* conf
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts.
AAAI
Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez
2015 J jnl
On getting rid of the preprocessing minimization step in MUC-finding algorithms.
Constraints An Int. J.
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014 — conf
A General Artificial Intelligence Approach for Skeptical Reasoning.
AGI
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014 J jnl
Améliorer SAT dans le cadre incrémental.
Rev. d'Intelligence Artif.
Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon
2014 A* conf
An Experimentally Efficient Method for (MSS, CoMSS) Partitioning.
AAAI
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014 J jnl
Boosting MUC extraction in unsatisfiable constraint networks.
Appl. Intell.
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014 A conf
Enforcing Solutions in Constraint Networks.
ECAI
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014 B conf
Multiple Contraction through Partial-Max-SAT.
ICTAI
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2014 A* conf
Preprocessing for Propositional Model Counting.
AAAI
Jean-Marie Lagniez, Pierre Marquis
2014 A conf
Symmetry-Driven Decision Diagrams for Knowledge Compilation.
ECAI
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2013 A conf
Factoring Out Assumptions to Speed Up MUS Extraction.
SAT
Jean-Marie Lagniez, Armin Biere
2013 A conf
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction.
SAT
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
2013 J jnl
Improving MUC extraction thanks to local search.
CoRR
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2013 A* conf
Just-In-Time Compilation of Knowledge Bases.
IJCAI
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon
2013 A* conf
Knowledge Compilation for Model Counting: Affine Decision Trees.
IJCAI
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
2013 A* conf
Preserving Partial Solutions While Relaxing Constraint Networks.
IJCAI
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2013 B conf
Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms.
ICTAI
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2012 B conf
Relax!
ICTAI
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2012 A conf
Revisiting Clause Exchange in Parallel SAT Solving.
SAT
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette
2011 A conf
A CSP Solver Focusing on fac Variables.
CP
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
2011 B conf
Dynamic Polarity Adjustment in a Parallel SAT Solver.
ICTAI
Long Guo, Jean-Marie Lagniez
2011 A conf
On Freezing and Reactivating Learnt Clauses.
SAT
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
2010 — conf
Boosting Local Search Thanks to cdcl.
LPAR (Yogyakarta)
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
2009 — conf
Integrating Conflict Driven Clause Learning to Local Search
LSCS
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais
2009 B conf
Learning in Local Search.
ICTAI
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais