default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Marie Lagniez

> Home > Persons

Person information

affiliation: Université d'Artois, Lens, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LagniezLM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LagniezLM24
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly:
A SAT-based Approach for Argumentation Dynamics. AAMAS 2024: 2351-2353
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/AudemardLM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/AudemardLM24
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis:
On the Computation of Contrastive Explanations for Boosted Regression Trees. ECAI 2024: 1083-1091
[c79]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/CapelliLPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/CapelliLPS24
Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl:
A Top-Down Tree Model Counter for Quantified Boolean Formulas. IJCAI 2024: 1853-1861
[c78]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/AudemardLMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AudemardLMS24
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
On the Computation of Example-Based Abductive Explanations for Random Forests. IJCAI 2024: 3679-3687
[c77]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/AudemardLMS24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AudemardLMS24a
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories. IJCAI 2024: 3688-3696
[c76]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/AudemardLMS24b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AudemardLMS24b
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
PyXAI: An XAI Library for Tree-Based Models. IJCAI 2024: 8601-8605
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/pkdd/KoricheLMT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkdd/KoricheLMT24
Frédéric Koriche, Jean-Marie Lagniez, Stefan Mengel, Chi Tran:
Learning Model Agnostic Explanations via Constraint Programming. ECML/PKDD (4) 2024: 437-453
[c74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/LagniezMB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LagniezMB24
Jean-Marie Lagniez, Pierre Marquis, Armin Biere:
Dynamic Blocked Clause Elimination for Projected Model Counting. SAT 2024: 21:1-21:17
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-06199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-06199
Jean-Marie Lagniez, Pierre Marquis, Armin Biere:
Dynamic Blocked Clause Elimination for Projected Model Counting. CoRR abs/2408.06199 (2024)
2023
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/SchwindDIL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/SchwindDIL23
Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez:
Algorithms for partially robust team formation. Auton. Agents Multi Agent Syst. 37(2): 22 (2023)
[c73]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/aistats/AudemardLMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aistats/AudemardLMS23
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
Computing Abductive Explanations for Boosted Trees. AISTATS 2023: 4699-4711
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/RivaLLP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/RivaLLP23
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé:
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. CMSB 2023: 157-174
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/AudemardLMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/AudemardLMS23
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
On Contrastive Explanations for Tree-Based Classifiers. ECAI 2023: 117-124
[c70]
- view
  - electronic edition @ editions-rnti.fr (open access)
  - details & citations
- export record
  dblp key:
  - conf/f-egc/AudemardBBKLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/f-egc/AudemardBBKLM23
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric 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. EGC 2023: 507-514
[c69]
- view
  - electronic edition @ editions-rnti.fr (open access)
  - details & citations
- export record
  dblp key:
  - conf/f-egc/AudemardBBLMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/f-egc/AudemardBBLMS23
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é. EGC 2023: 581-588
[c68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AudemardBLM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AudemardBLM23
Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis:
Computing Abductive Explanations for Boosted Regression Trees. IJCAI 2023: 3432-3441
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/LagniezM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/LagniezM23
Jean-Marie Lagniez, Pierre Marquis:
Boosting Definability Bipartition Computation Using SAT Witnesses. JELIA 2023: 697-711
[c66]
- view
  - electronic edition @ hal.science (open access)
  - details & citations
- export record
  dblp key:
  - conf/jiaf/LagniezLMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jiaf/LagniezLMR23
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit:
A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation. JIAF 2023: 28-38
[c65]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/LagniezLMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/LagniezLMR23
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit:
A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation. Arg&App@KR 2023: 52-64
[i7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-02442
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-02442
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López, Loïc Paulevé:
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. CoRR abs/2305.02442 (2023)
2022
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/AudemardBBKLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/AudemardBBKLM22
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On the explanatory power of Boolean decision trees. Data Knowl. Eng. 142: 102088 (2022)
[c64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AudemardBBKLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AudemardBBKLM22
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Trading Complexity for Sparsity in Random Forest Explanations. AAAI 2022: 5461-5469
[c63]
- view
  - electronic edition @ editions-rnti.fr (open access)
  - details & citations
- export record
  dblp key:
  - conf/f-egc/AudemardBBKLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/f-egc/AudemardBBKLM22
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. EGC 2022: 123-134
[c62]
- view
  - electronic edition @ editions-rnti.fr (open access)
  - details & citations
- export record
  dblp key:
  - conf/f-egc/AudemardBBKLM22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/f-egc/AudemardBBKLM22a
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Sur le pouvoir explicatif des arbres de décision. EGC 2022: 147-158
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icaart/AudemardLMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/AudemardLMR22
Gilles Audemard, Jean-Marie Lagniez, Marie Miceli, Olivier Roussel:
Identifying Soft Cores in Propositional Formulæ. ICAART (2) 2022: 486-495
[c60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AudemardBBKLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AudemardBBKLM22
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On Preferred Abductive Explanations for Decision Trees and Random Forests. IJCAI 2022: 643-650
[c59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardLM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardLM22
Gilles Audemard, Jean-Marie Lagniez, Marie Miceli:
A New Exact Solver for (Weighted) Max#SAT. SAT 2022: 28:1-28:20
[i6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-07740
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-07740
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
Computing Abductive Explanations for Boosted Trees. CoRR abs/2209.07740 (2022)
2021
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/SchwindOIHLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/SchwindOIHLM21
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis:
On the computation of probabilistic coalition structures. Auton. Agents Multi Agent Syst. 35(1): 14 (2021)
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CapelliLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CapelliLM21
Florent Capelli, Jean-Marie Lagniez, Pierre Marquis:
Certifying Top-Down Decision-DNNF Compilers. AAAI 2021: 6244-6253
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/SchwindDIL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SchwindDIL21
Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez:
Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. AAMAS 2021: 1154-1162
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/kr/AudemardBBKLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/AudemardBBKLM21
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On the Computational Intelligibility of Boolean Classifiers. KR 2021: 74-86
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2104-06172
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-06172
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On the Computational Intelligibility of Boolean Classifiers. CoRR abs/2104.06172 (2021)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-05266
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-05266
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On the Explanatory Power of Decision Trees. CoRR abs/2108.05266 (2021)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-05276
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-05276
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Trading Complexity for Sparsity in Random Forest Explanations. CoRR abs/2108.05276 (2021)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-08884
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-08884
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit:
Design and Results of ICCMA 2021. CoRR abs/2109.08884 (2021)
2020
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/LagniezLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/LagniezLM20
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis:
Definability for model counting. Artif. Intell. 281: 103229 (2020)
[c55]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/comma/LagniezLMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comma/LagniezLMR20
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit:
Introducing the Fourth International Competition on Computational Models of Argumentation. SAFA@COMMA 2020: 80-85
[c54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecai/BouraouiLMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BouraouiLMM20
Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail:
Consolidating Modal Knowledge Bases. ECAI 2020: 648-655
[c53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/SchwindKLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/SchwindKLM20
Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis:
On Computational Aspects of Iterated Belief Change. IJCAI 2020: 1770-1776
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/GlorianLL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GlorianLL20
Gael Glorian, Jean-Marie Lagniez, Christophe Lecoutre:
NACRE - A Nogood And Clause Reasoning Engine. LPAR 2020: 249-259

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
  - details & citations
- export record
  dblp key:
  - books/hal/Lagniez19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/hal/Lagniez19
Jean-Marie Lagniez:
Promenade au-delà de NP. (Beyond NP). Artois University, Arras, France, 2019
[c51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LagniezM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LagniezM19
Jean-Marie Lagniez, Pierre Marquis:
A Recursive Algorithm for Projected Model Counting. AAAI 2019: 1536-1543
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GlorianLMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GlorianLMS19
Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski:
An Incremental SAT-Based Approach to the Graph Colouring Problem. CP 2019: 213-231
[c49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/SchwindIKLM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/SchwindIKLM19
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. IJCAI 2019: 1865-1871
2018
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/GregoireLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/GregoireLZ18
Éric Grégoire, Jean-Marie Lagniez, Du Zhang:
Consensus-finding that preserves mutually conflicting hypothetical information from a same agent. AI Commun. 31(3): 303-317 (2018)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/GregoireLZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/GregoireLZ18
Éric Grégoire, Jean-Marie Lagniez, Du Zhang:
Preface. Int. J. Artif. Intell. Tools 27(1): 1802001:1-1802001:2 (2018)
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/LagniezBLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LagniezBLM18
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail:
An Assumption-Based Approach for Solving the Minimal S5-Satisfiability Problem. IJCAR 2018: 1-18
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GlorianLMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GlorianLMS18
Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis:
An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. CP 2018: 160-178
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GregoireIL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GregoireIL18
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez:
Boosting MCSes Enumeration. IJCAI 2018: 1309-1315
[c45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LagniezMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LagniezMS18
Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
DMC: A Distributed Model Counter. IJCAI 2018: 1331-1338
[c44]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/LagniezBLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/LagniezBLM18
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail:
A SAT-Based Approach For PSPACE Modal Logics. KR 2018: 651-652
[c43]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/SchwindOIHLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/SchwindOIHLM18
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis:
Probabilistic Coalition Structure Generation. KR 2018: 663-664
2017
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/LagniezM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/LagniezM17
Jean-Marie Lagniez, Pierre Marquis:
On Preprocessing Techniques and Their Impact on Propositional Model Counting. J. Autom. Reason. 58(4): 413-481 (2017)
[c42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KoniecznyLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KoniecznyLM17
Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis:
SAT Encodings for Distance-Based Belief Merging Operators. AAAI 2017: 1163-1169
[c41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/CaridroitLBLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/CaridroitLBLM17
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. AAAI 2017: 3864-3870
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GlorianBLLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GlorianBLLM17
Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure:
Combining Nogoods in Restart-Based Search. CP 2017: 129-138
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LagniezMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LagniezMP17
Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou:
Defining and Evaluating Heuristics for the Compilation of Constraint Networks. CP 2017: 172-188
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Gregoire17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Gregoire17
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez:
On Computing One Max_Subset Inclusion Consensus. ICTAI 2017: 838-845
[c37]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LagniezM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LagniezM17
Jean-Marie Lagniez, Pierre Marquis:
An Improved Decision-DNNF Compiler. IJCAI 2017: 667-673
[c36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/LagniezBLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LagniezBLM17
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail:
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem. IJCAI 2017: 674-680
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/lori/KoniecznyLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lori/KoniecznyLM17
Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis:
Boosting Distance-Based Revision Using SAT Encodings. LORI 2017: 480-496
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardLST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardLST17
Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary:
A Distributed Version of Syrup. SAT 2017: 215-232
2016
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/GregoireL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/GregoireL16
Éric Grégoire, Jean-Marie Lagniez:
A Computational Method for Enforcing Knowledge that Cannot be Subsumed. Int. J. Artif. Intell. Tools 25(4): 1650024:1-1650024:19 (2016)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/GregoireL16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/GregoireL16a
Éric Grégoire, Jean-Marie Lagniez:
RCL: An A. I. Tool for Computing Maximal Consensuses. Int. J. Artif. Intell. Tools 25(4): 1650026:1-1650026:10 (2016)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEicci/GregoireLZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEicci/GregoireLZ16
Éric Grégoire, Jean-Marie Lagniez, Du Zhang:
Logical consensuses for case-based reasoning and for mathematical engineering of AI. ICCI*CC 2016: 29-33
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GregoireIL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GregoireIL16
Éric Grégoire, Yacine Izza, Jean-Marie Lagniez:
On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts. AAAI 2016: 3404-3410
[c31]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cade/LagniezBLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/LagniezBLM16
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail:
On Checking Kripke Models for Modal Logic K. PAAR@IJCAR 2016: 69-81
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AudemardLST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AudemardLST16
Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary:
An Adaptive Parallel SAT Solver. CP 2016: 30-48
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/GregoireLZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/GregoireLZ16
Éric Grégoire, Jean-Marie Lagniez, Du Zhang:
On Computing Non-hypocritical Consensuses in Standard Logic. DEXA Workshops 2016: 97-101
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BartKLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BartKLM16
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
An Improved CNF Encoding Scheme for Probabilistic Inference. ECAI 2016: 613-621
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GregoireL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GregoireL16
Éric Grégoire, Jean-Marie Lagniez:
A Computational Approach to Consensus-Finding. ECAI 2016: 795-801
[c26]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/LagniezLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/LagniezLM16
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis:
Improving Model Counting by Leveraging Definability. IJCAI 2016: 751-757
[c25]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/GregoireKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GregoireKL16
Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez:
On Consensus Extraction. IJCAI 2016: 1095-1101
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/constraints/GregoireLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/constraints/GregoireLM15
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
On getting rid of the preprocessing minimization step in MUC-finding algorithms. Constraints An Int. J. 20(4): 414-432 (2015)
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BesnardGL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BesnardGL15
Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez:
On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts. AAAI 2015: 3710-3716
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/LagniezLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/LagniezLM15
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly:
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver. ICTAI 2015: 928-935
[c22]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/KoricheLMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KoricheLMT15
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas:
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. IJCAI 2015: 332-338
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/GregoireL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GregoireL15
Éric Grégoire, Jean-Marie Lagniez:
On Anti-subsumptive Knowledge Enforcement. LPAR 2015: 48-62
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/apin/GregoireLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/GregoireLM14
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Boosting MUC extraction in unsatisfiable constraint networks. Appl. Intell. 41(4): 1012-1023 (2014)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ria/AudemardBLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ria/AudemardBLS14
Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon:
Améliorer SAT dans le cadre incrémental. Rev. d'Intelligence Artif. 28(5): 593-614 (2014)
[c20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GregoireLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GregoireLM14
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
An Experimentally Efficient Method for (MSS, CoMSS) Partitioning. AAAI 2014: 2666-2673
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/LagniezM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/LagniezM14
Jean-Marie Lagniez, Pierre Marquis:
Preprocessing for Propositional Model Counting. AAAI 2014: 2688-2694
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/agi/GregoireLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agi/GregoireLM14
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
A General Artificial Intelligence Approach for Skeptical Reasoning. AGI 2014: 33-42
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BartKLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BartKLM14
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Symmetry-Driven Decision Diagrams for Knowledge Compilation. ECAI 2014: 51-56
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GregoireLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GregoireLM14
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Enforcing Solutions in Constraint Networks. ECAI 2014: 1017-1018
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/GregoireLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/GregoireLM14
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Multiple Contraction through Partial-Max-SAT. ICTAI 2014: 321-327
2013
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/GregoireLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/GregoireLM13
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms. ICTAI 2013: 923-930
[c13]
- view
- export record
  dblp key:
  - conf/ijcai/AudemardLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AudemardLS13
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon:
Just-In-Time Compilation of Knowledge Bases. IJCAI 2013: 447-453
[c12]
- view
- export record
  dblp key:
  - conf/ijcai/GregoireLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GregoireLM13
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Preserving Partial Solutions While Relaxing Constraint Networks. IJCAI 2013: 552-558
[c11]
- view
- export record
  dblp key:
  - conf/ijcai/KoricheLMT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/KoricheLMT13
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas:
Knowledge Compilation for Model Counting: Affine Decision Trees. IJCAI 2013: 947-953
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LagniezB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LagniezB13
Jean-Marie Lagniez, Armin Biere:
Factoring Out Assumptions to Speed Up MUS Extraction. SAT 2013: 276-292
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardLS13
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon:
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. SAT 2013: 309-317
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GregoireLM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GregoireLM13
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Improving MUC extraction thanks to local search. CoRR abs/1307.3585 (2013)
2012
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/GregoireLM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/GregoireLM12
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
Relax! ICTAI 2012: 146-153
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardHJLP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardHJLP12
Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette:
Revisiting Clause Exchange in Parallel SAT Solving. SAT 2012: 200-213
2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GregoireLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GregoireLM11
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure:
A CSP Solver Focusing on fac Variables. CP 2011: 493-507
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/GuoL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/GuoL11
Long Guo, Jean-Marie Lagniez:
Dynamic Polarity Adjustment in a Parallel SAT Solver. ICTAI 2011: 67-73
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardLMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardLMS11
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais:
On Freezing and Reactivating Learnt Clauses. SAT 2011: 188-200
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/AudemardLMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AudemardLMS10
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais:
Boosting Local Search Thanks to cdcl. LPAR (Yogyakarta) 2010: 474-488

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/AudemardLMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/AudemardLMS09
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais:
Learning in Local Search. ICTAI 2009: 417-424
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0910-1247
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0910-1247
Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais:
Integrating Conflict Driven Clause Learning to Local Search. LSCS 2009: 55-68

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.