Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jean-Marie Lagniez
@article{DBLP:journals/aamas/SchwindDIL23,
author = {Nicolas Schwind and
Emir Demirovic and
Katsumi Inoue and
Jean{-}Marie Lagniez},
title = {Algorithms for partially robust team formation},
journal = {Auton. Agents Multi Agent Syst.},
volume = {37},
number = {2},
pages = {22},
year = {2023},
url = {https://doi.org/10.1007/s10458-023-09608-7},
doi = {10.1007/S10458-023-09608-7},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/SchwindDIL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/AudemardLMS23,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Pierre Marquis and
Nicolas Szczepanski},
editor = {Francisco J. R. Ruiz and
Jennifer G. Dy and
Jan{-}Willem van de Meent},
title = {Computing Abductive Explanations for Boosted Trees},
booktitle = {International Conference on Artificial Intelligence and Statistics,
25-27 April 2023, Palau de Congressos, Valencia, Spain},
series = {Proceedings of Machine Learning Research},
volume = {206},
pages = {4699--4711},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v206/audemard23a.html},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aistats/AudemardLMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/RivaLLP23,
author = {Sara Riva and
Jean{-}Marie Lagniez and
Gustavo Maga{\~{n}}a L{\'{o}}pez and
Lo{\"{\i}}c Paulev{\'{e}}},
editor = {Jun Pang and
Joachim Niehren},
title = {Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks},
booktitle = {Computational Methods in Systems Biology - 21st International Conference,
{CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14137},
pages = {157--174},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42697-1\_11},
doi = {10.1007/978-3-031-42697-1\_11},
timestamp = {Fri, 15 Sep 2023 15:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/RivaLLP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AudemardLMS23,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Pierre Marquis and
Nicolas Szczepanski},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {On Contrastive Explanations for Tree-Based Classifiers},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {117--124},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230261},
doi = {10.3233/FAIA230261},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AudemardLMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/AudemardBBKLM23,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Catherine Faron and
Sabine Loudcher},
title = {Sur les explications abductives pr{\'{e}}f{\'{e}}r{\'{e}}es
pour les arbres de d{\'{e}}cision et les for{\^{e}}ts al{\'{e}}atoires},
booktitle = {Extraction et Gestion des Connaissances, {EGC} 2023, Lyon, France,
16 - 20 janvier 2023},
series = {{RNTI}},
volume = {{E-39}},
pages = {507--514},
publisher = {Editions {RNTI}},
year = {2023},
url = {http://editions-rnti.fr/?inprocid=1002856},
timestamp = {Wed, 08 Feb 2023 15:48:08 +0100},
biburl = {https://dblp.org/rec/conf/f-egc/AudemardBBKLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/AudemardBBLMS23,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Jean{-}Marie Lagniez and
Pierre Marquis and
Nicolas Szczepanski},
editor = {Catherine Faron and
Sabine Loudcher},
title = {PyXAI : calculer en Python des explications pour des mod{\`{e}}les
d'apprentissage supervis{\'{e}}},
booktitle = {Extraction et Gestion des Connaissances, {EGC} 2023, Lyon, France,
16 - 20 janvier 2023},
series = {{RNTI}},
volume = {{E-39}},
pages = {581--588},
publisher = {Editions {RNTI}},
year = {2023},
url = {http://editions-rnti.fr/?inprocid=1002865},
timestamp = {Wed, 08 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/f-egc/AudemardBBLMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AudemardBLM23,
author = {Gilles Audemard and
Steve Bellart and
Jean{-}Marie Lagniez and
Pierre Marquis},
title = {Computing Abductive Explanations for Boosted Regression Trees},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3432--3441},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/382},
doi = {10.24963/IJCAI.2023/382},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AudemardBLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LagniezM23,
author = {Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Boosting Definability Bipartition Computation Using {SAT} Witnesses},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {697--711},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_47},
doi = {10.1007/978-3-031-43619-2\_47},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LagniezM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jiaf/LagniezLMR23,
author = {Jean{-}Marie Lagniez and
Emmanuel Lonca and
Jean{-}Guy Mailly and
Julien Rossit},
editor = {Zied Bouraoui and
Fran{\c{c}}ois Schwarzentruber and
Ana{\"{e}}lle Wilczynski},
title = {A New Evolutive Generator for Graphs with Communities and its Application
to Abstract Argumentation},
booktitle = {17{\`{e}}mes Journ{\'{e}}es d'Intelligence Artificielle Fondamentale,
{JIAF} 2023, Strasbourg, France, July 6-7, 2023},
pages = {28--38},
year = {2023},
url = {https://hal.science/hal-04209856v1/document},
timestamp = {Thu, 02 Nov 2023 12:27:35 +0100},
biburl = {https://dblp.org/rec/conf/jiaf/LagniezLMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LagniezLMR23,
author = {Jean{-}Marie Lagniez and
Emmanuel Lonca and
Jean{-}Guy Mailly and
Julien Rossit},
editor = {Oana Cocarascu and
Sylvie Doutre and
Jean{-}Guy Mailly and
Antonio Rago},
title = {A New Evolutive Generator for Graphs with Communities and its Application
to Abstract Argumentation},
booktitle = {Proceedings of the First International Workshop on Argumentation and
Applications co-located with 20th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2023), Rhodes, Greece,
September 2-8, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3472},
pages = {52--64},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3472/paper4.pdf},
timestamp = {Tue, 05 Sep 2023 17:08:45 +0200},
biburl = {https://dblp.org/rec/conf/kr/LagniezLMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02442,
author = {Sara Riva and
Jean{-}Marie Lagniez and
Gustavo Maga{\~{n}}a L{\'{o}}pez and
Lo{\"{\i}}c Paulev{\'{e}}},
title = {Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks},
journal = {CoRR},
volume = {abs/2305.02442},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.02442},
doi = {10.48550/ARXIV.2305.02442},
eprinttype = {arXiv},
eprint = {2305.02442},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-02442.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/AudemardBBKLM22,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
title = {On the explanatory power of Boolean decision trees},
journal = {Data Knowl. Eng.},
volume = {142},
pages = {102088},
year = {2022},
url = {https://doi.org/10.1016/j.datak.2022.102088},
doi = {10.1016/J.DATAK.2022.102088},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dke/AudemardBBKLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AudemardBBKLM22,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
title = {Trading Complexity for Sparsity in Random Forest Explanations},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5461--5469},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20484},
doi = {10.1609/AAAI.V36I5.20484},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AudemardBBKLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/AudemardBBKLM22,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Sihem Amer{-}Yahia and
Arnaud Soulet},
title = {Les raisons majoritaires : des explications abductives pour les for{\^{e}}ts
al{\'{e}}atoires},
booktitle = {Extraction et Gestion des Connaissances, {EGC} 2022, Blois, France,
24 au 28 janvier 2022},
series = {{RNTI}},
volume = {{E-38}},
pages = {123--134},
publisher = {Editions {RNTI}},
year = {2022},
url = {http://editions-rnti.fr/?inprocid=1002722},
timestamp = {Wed, 09 Mar 2022 16:39:53 +0100},
biburl = {https://dblp.org/rec/conf/f-egc/AudemardBBKLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/AudemardBBKLM22a,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Sihem Amer{-}Yahia and
Arnaud Soulet},
title = {Sur le pouvoir explicatif des arbres de d{\'{e}}cision},
booktitle = {Extraction et Gestion des Connaissances, {EGC} 2022, Blois, France,
24 au 28 janvier 2022},
series = {{RNTI}},
volume = {{E-38}},
pages = {147--158},
publisher = {Editions {RNTI}},
year = {2022},
url = {http://editions-rnti.fr/?inprocid=1002724},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/f-egc/AudemardBBKLM22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/AudemardLMR22,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Marie Miceli and
Olivier Roussel},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Identifying Soft Cores in Propositional Formul{\ae}},
booktitle = {Proceedings of the 14th International Conference on Agents and Artificial
Intelligence, {ICAART} 2022, Volume 2, Online Streaming, February
3-5, 2022},
pages = {486--495},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010892700003116},
doi = {10.5220/0010892700003116},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/AudemardLMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AudemardBBKLM22,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Luc De Raedt},
title = {On Preferred Abductive Explanations for Decision Trees and Random
Forests},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {643--650},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/91},
doi = {10.24963/IJCAI.2022/91},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AudemardBBKLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardLM22,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Marie Miceli},
editor = {Kuldeep S. Meel and
Ofer Strichman},
title = {A New Exact Solver for (Weighted) Max{\#}SAT},
booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {236},
pages = {28:1--28:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SAT.2022.28},
doi = {10.4230/LIPICS.SAT.2022.28},
timestamp = {Thu, 28 Jul 2022 10:11:05 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07740,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Pierre Marquis and
Nicolas Szczepanski},
title = {Computing Abductive Explanations for Boosted Trees},
journal = {CoRR},
volume = {abs/2209.07740},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.07740},
doi = {10.48550/ARXIV.2209.07740},
eprinttype = {arXiv},
eprint = {2209.07740},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-07740.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/SchwindOIHLM21,
author = {Nicolas Schwind and
Tenda Okimoto and
Katsumi Inoue and
Katsutoshi Hirayama and
Jean{-}Marie Lagniez and
Pierre Marquis},
title = {On the computation of probabilistic coalition structures},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {1},
pages = {14},
year = {2021},
url = {https://doi.org/10.1007/s10458-021-09498-7},
doi = {10.1007/S10458-021-09498-7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/SchwindOIHLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CapelliLM21,
author = {Florent Capelli and
Jean{-}Marie Lagniez and
Pierre Marquis},
title = {Certifying Top-Down Decision-DNNF Compilers},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6244--6253},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i7.16776},
doi = {10.1609/AAAI.V35I7.16776},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CapelliLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SchwindDIL21,
author = {Nicolas Schwind and
Emir Demirovic and
Katsumi Inoue and
Jean{-}Marie Lagniez},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {Partial Robustness in Team Formation: Bridging the Gap between Robustness
and Resilience},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {1154--1162},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p1154.pdf},
doi = {10.5555/3463952.3464086},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/SchwindDIL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AudemardBBKLM21,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {On the Computational Intelligibility of Boolean Classifiers},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {74--86},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/8},
doi = {10.24963/KR.2021/8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AudemardBBKLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-06172,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
title = {On the Computational Intelligibility of Boolean Classifiers},
journal = {CoRR},
volume = {abs/2104.06172},
year = {2021},
url = {https://arxiv.org/abs/2104.06172},
eprinttype = {arXiv},
eprint = {2104.06172},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-06172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-05266,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
title = {On the Explanatory Power of Decision Trees},
journal = {CoRR},
volume = {abs/2108.05266},
year = {2021},
url = {https://arxiv.org/abs/2108.05266},
eprinttype = {arXiv},
eprint = {2108.05266},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-05266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-05276,
author = {Gilles Audemard and
Steve Bellart and
Louenas Bounia and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
title = {Trading Complexity for Sparsity in Random Forest Explanations},
journal = {CoRR},
volume = {abs/2108.05276},
year = {2021},
url = {https://arxiv.org/abs/2108.05276},
eprinttype = {arXiv},
eprint = {2108.05276},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-05276.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08884,
author = {Jean{-}Marie Lagniez and
Emmanuel Lonca and
Jean{-}Guy Mailly and
Julien Rossit},
title = {Design and Results of {ICCMA} 2021},
journal = {CoRR},
volume = {abs/2109.08884},
year = {2021},
url = {https://arxiv.org/abs/2109.08884},
eprinttype = {arXiv},
eprint = {2109.08884},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LagniezLM20,
author = {Jean{-}Marie Lagniez and
Emmanuel Lonca and
Pierre Marquis},
title = {Definability for model counting},
journal = {Artif. Intell.},
volume = {281},
pages = {103229},
year = {2020},
url = {https://doi.org/10.1016/j.artint.2019.103229},
doi = {10.1016/J.ARTINT.2019.103229},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LagniezLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/LagniezLMR20,
author = {Jean{-}Marie Lagniez and
Emmanuel Lonca and
Jean{-}Guy Mailly and
Julien Rossit},
editor = {Sarah Alice Gaggl and
Matthias Thimm and
Mauro Vallati},
title = {Introducing the Fourth International Competition on Computational
Models of Argumentation},
booktitle = {Proceedings of the Third International Workshop on Systems and Algorithms
for Formal Argumentation co-located with the 8th International Conference
on Computational Models of Argument {(COMMA} 2020), September 8, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2672},
pages = {80--85},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2672/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/comma/LagniezLMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BouraouiLMM20,
author = {Zied Bouraoui and
Jean{-}Marie Lagniez and
Pierre Marquis and
Valentin Montmirail},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Consolidating Modal Knowledge Bases},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {648--655},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200150},
doi = {10.3233/FAIA200150},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BouraouiLMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchwindKLM20,
author = {Nicolas Schwind and
S{\'{e}}bastien Konieczny and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Christian Bessiere},
title = {On Computational Aspects of Iterated Belief Change},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1770--1776},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/245},
doi = {10.24963/IJCAI.2020/245},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchwindKLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GlorianLL20,
author = {Gael Glorian and
Jean{-}Marie Lagniez and
Christophe Lecoutre},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {{NACRE} - {A} Nogood And Clause Reasoning Engine},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {249--259},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/dxnb},
doi = {10.29007/DXNB},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GlorianLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Lagniez19,
author = {Jean{-}Marie Lagniez},
title = {Promenade au-del{\`{a}} de {NP.} (Beyond {NP)}},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02488400},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Lagniez19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LagniezM19,
author = {Jean{-}Marie Lagniez and
Pierre Marquis},
title = {A Recursive Algorithm for Projected Model Counting},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {1536--1543},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33011536},
doi = {10.1609/AAAI.V33I01.33011536},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LagniezM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GlorianLMS19,
author = {Gael Glorian and
Jean{-}Marie Lagniez and
Valentin Montmirail and
Nicolas Szczepanski},
editor = {Thomas Schiex and
Simon de Givry},
title = {An Incremental SAT-Based Approach to the Graph Colouring Problem},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {213--231},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_13},
doi = {10.1007/978-3-030-30048-7\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GlorianLMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SchwindIKLM19,
author = {Nicolas Schwind and
Katsumi Inoue and
S{\'{e}}bastien Konieczny and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Sarit Kraus},
title = {What Has Been Said? Identifying the Change Formula in a Belief Revision
Scenario},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1865--1871},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/258},
doi = {10.24963/IJCAI.2019/258},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchwindIKLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/GregoireLZ18,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Du Zhang},
title = {Consensus-finding that preserves mutually conflicting hypothetical
information from a same agent},
journal = {{AI} Commun.},
volume = {31},
number = {3},
pages = {303--317},
year = {2018},
url = {https://doi.org/10.3233/AIC-170749},
doi = {10.3233/AIC-170749},
timestamp = {Wed, 23 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/GregoireLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/GregoireLZ18,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Du Zhang},
title = {Preface},
journal = {Int. J. Artif. Intell. Tools},
volume = {27},
number = {1},
pages = {1802001:1--1802001:2},
year = {2018},
url = {https://doi.org/10.1142/S0218213018020013},
doi = {10.1142/S0218213018020013},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/GregoireLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LagniezBLM18,
author = {Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {An Assumption-Based Approach for Solving the Minimal S5-Satisfiability
Problem},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {1--18},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_1},
doi = {10.1007/978-3-319-94205-6\_1},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/LagniezBLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GlorianLMS18,
author = {Gael Glorian and
Jean{-}Marie Lagniez and
Valentin Montmirail and
Michael Sioutis},
editor = {John N. Hooker},
title = {An Incremental SAT-Based Approach to Reason Efficiently on Qualitative
Constraint Networks},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {160--178},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_11},
doi = {10.1007/978-3-319-98334-9\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GlorianLMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GregoireIL18,
author = {{\'{E}}ric Gr{\'{e}}goire and
Yacine Izza and
Jean{-}Marie Lagniez},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Boosting MCSes Enumeration},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1309--1315},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/182},
doi = {10.24963/IJCAI.2018/182},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GregoireIL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LagniezMS18,
author = {Jean{-}Marie Lagniez and
Pierre Marquis and
Nicolas Szczepanski},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {{DMC:} {A} Distributed Model Counter},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1331--1338},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/185},
doi = {10.24963/IJCAI.2018/185},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LagniezMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LagniezBLM18,
author = {Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {A SAT-Based Approach For {PSPACE} Modal Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {651--652},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/17997},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/LagniezBLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SchwindOIHLM18,
author = {Nicolas Schwind and
Tenda Okimoto and
Katsumi Inoue and
Katsutoshi Hirayama and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Probabilistic Coalition Structure Generation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {663--664},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18019},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SchwindOIHLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LagniezM17,
author = {Jean{-}Marie Lagniez and
Pierre Marquis},
title = {On Preprocessing Techniques and Their Impact on Propositional Model
Counting},
journal = {J. Autom. Reason.},
volume = {58},
number = {4},
pages = {413--481},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9370-8},
doi = {10.1007/S10817-016-9370-8},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/LagniezM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KoniecznyLM17,
author = {S{\'{e}}bastien Konieczny and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Satinder Singh and
Shaul Markovitch},
title = {{SAT} Encodings for Distance-Based Belief Merging Operators},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {1163--1169},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10681},
doi = {10.1609/AAAI.V31I1.10681},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KoniecznyLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CaridroitLBLM17,
author = {Thomas Caridroit and
Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Satinder Singh and
Shaul Markovitch},
title = {A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability
Problem},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {3864--3870},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.11128},
doi = {10.1609/AAAI.V31I1.11128},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CaridroitLBLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GlorianBLLM17,
author = {Gael Glorian and
Fr{\'{e}}d{\'{e}}ric Boussemart and
Jean{-}Marie Lagniez and
Christophe Lecoutre and
Bertrand Mazure},
editor = {J. Christopher Beck},
title = {Combining Nogoods in Restart-Based Search},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {129--138},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_9},
doi = {10.1007/978-3-319-66158-2\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GlorianBLLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LagniezMP17,
author = {Jean{-}Marie Lagniez and
Pierre Marquis and
Anastasia Paparrizou},
editor = {J. Christopher Beck},
title = {Defining and Evaluating Heuristics for the Compilation of Constraint
Networks},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {172--188},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_12},
doi = {10.1007/978-3-319-66158-2\_12},
timestamp = {Wed, 23 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LagniezMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Gregoire17,
author = {{\'{E}}ric Gr{\'{e}}goire and
Yacine Izza and
Jean{-}Marie Lagniez},
title = {On Computing One Max{\_}Subset Inclusion Consensus},
booktitle = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
pages = {838--845},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICTAI.2017.00131},
doi = {10.1109/ICTAI.2017.00131},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/Gregoire17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LagniezM17,
author = {Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Carles Sierra},
title = {An Improved Decision-DNNF Compiler},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {667--673},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/93},
doi = {10.24963/IJCAI.2017/93},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LagniezM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LagniezBLM17,
author = {Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Carles Sierra},
title = {A Recursive Shortcut for {CEGAR:} Application To The Modal Logic {K}
Satisfiability Problem},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {674--680},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/94},
doi = {10.24963/IJCAI.2017/94},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LagniezBLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/KoniecznyLM17,
author = {S{\'{e}}bastien Konieczny and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Alexandru Baltag and
Jeremy Seligman and
Tomoyuki Yamada},
title = {Boosting Distance-Based Revision Using {SAT} Encodings},
booktitle = {Logic, Rationality, and Interaction - 6th International Workshop,
{LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10455},
pages = {480--496},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55665-8\_33},
doi = {10.1007/978-3-662-55665-8\_33},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lori/KoniecznyLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardLST17,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Nicolas Szczepanski and
S{\'{e}}bastien Tabary},
editor = {Serge Gaspers and
Toby Walsh},
title = {A Distributed Version of Syrup},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
International Conference, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10491},
pages = {215--232},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_14},
doi = {10.1007/978-3-319-66263-3\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardLST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/GregoireL16,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez},
title = {A Computational Method for Enforcing Knowledge that Cannot be Subsumed},
journal = {Int. J. Artif. Intell. Tools},
volume = {25},
number = {4},
pages = {1650024:1--1650024:19},
year = {2016},
url = {https://doi.org/10.1142/S021821301650024X},
doi = {10.1142/S021821301650024X},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/GregoireL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/GregoireL16a,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez},
title = {{RCL:} An A. I. Tool for Computing Maximal Consensuses},
journal = {Int. J. Artif. Intell. Tools},
volume = {25},
number = {4},
pages = {1650026:1--1650026:10},
year = {2016},
url = {https://doi.org/10.1142/S0218213016500263},
doi = {10.1142/S0218213016500263},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/GregoireL16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEicci/GregoireLZ16,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Du Zhang},
editor = {Yingxu Wang and
Newton Howard and
Bernard Widrow and
Konstantinos N. Plataniotis and
Lotfi A. Zadeh},
title = {Logical consensuses for case-based reasoning and for mathematical
engineering of {AI}},
booktitle = {15th {IEEE} International Conference on Cognitive Informatics {\&}
Cognitive Computing ,ICCI*CC 2016, Palo Alto, CA, USA, August 22-23,
2016},
pages = {29--33},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICCI-CC.2016.7862041},
doi = {10.1109/ICCI-CC.2016.7862041},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEicci/GregoireLZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GregoireIL16,
author = {{\'{E}}ric Gr{\'{e}}goire and
Yacine Izza and
Jean{-}Marie Lagniez},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {On the Extraction of One Maximal Information Subset That Does Not
Conflict with Multiple Contexts},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3404--3410},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10431},
doi = {10.1609/AAAI.V30I1.10431},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GregoireIL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LagniezBLM16,
author = {Jean{-}Marie Lagniez and
Daniel Le Berre and
Tiago de Lima and
Valentin Montmirail},
editor = {Pascal Fontaine and
Stephan Schulz and
Josef Urban},
title = {On Checking Kripke Models for Modal Logic {K}},
booktitle = {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},
series = {{CEUR} Workshop Proceedings},
volume = {1635},
pages = {69--81},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1635/paper-07.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/LagniezBLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AudemardLST16,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Nicolas Szczepanski and
S{\'{e}}bastien Tabary},
editor = {Michel Rueher},
title = {An Adaptive Parallel {SAT} Solver},
booktitle = {Principles and Practice of Constraint Programming - 22nd International
Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {30--48},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_3},
doi = {10.1007/978-3-319-44953-1\_3},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AudemardLST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/GregoireLZ16,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Du Zhang},
title = {On Computing Non-hypocritical Consensuses in Standard Logic},
booktitle = {27th International Workshop on Database and Expert Systems Applications,
{DEXA} 2016 Workshops, Porto, Portugal, September 5-8, 2016},
pages = {97--101},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DEXA.2016.033},
doi = {10.1109/DEXA.2016.033},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/GregoireLZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BartKLM16,
author = {Anicet Bart and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {An Improved {CNF} Encoding Scheme for Probabilistic Inference},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {613--621},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-613},
doi = {10.3233/978-1-61499-672-9-613},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BartKLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GregoireL16,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {A Computational Approach to Consensus-Finding},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {795--801},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-795},
doi = {10.3233/978-1-61499-672-9-795},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GregoireL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LagniezLM16,
author = {Jean{-}Marie Lagniez and
Emmanuel Lonca and
Pierre Marquis},
editor = {Subbarao Kambhampati},
title = {Improving Model Counting by Leveraging Definability},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {751--757},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/112},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LagniezLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GregoireKL16,
author = {{\'{E}}ric Gr{\'{e}}goire and
S{\'{e}}bastien Konieczny and
Jean{-}Marie Lagniez},
editor = {Subbarao Kambhampati},
title = {On Consensus Extraction},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1095--1101},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/159},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GregoireKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GregoireLM15,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
title = {On getting rid of the preprocessing minimization step in MUC-finding
algorithms},
journal = {Constraints An Int. J.},
volume = {20},
number = {4},
pages = {414--432},
year = {2015},
url = {https://doi.org/10.1007/s10601-015-9187-9},
doi = {10.1007/S10601-015-9187-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/GregoireLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BesnardGL15,
author = {Philippe Besnard and
{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez},
editor = {Blai Bonet and
Sven Koenig},
title = {On Computing Maximal Subsets of Clauses that Must Be Satisfiable with
Possibly Mutually-Contradictory Assumptive Contexts},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {3710--3716},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9751},
doi = {10.1609/AAAI.V29I1.9751},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BesnardGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LagniezLM15,
author = {Jean{-}Marie Lagniez and
Emmanuel Lonca and
Jean{-}Guy Mailly},
title = {CoQuiAAS: {A} Constraint-Based Quick Abstract Argumentation Solver},
booktitle = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
pages = {928--935},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICTAI.2015.134},
doi = {10.1109/ICTAI.2015.134},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LagniezLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KoricheLMT15,
author = {Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis and
Samuel Thomas},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Compiling Constraint Networks into Multivalued Decomposable Decision
Graphs},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {332--338},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/053},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KoricheLMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GregoireL15,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {On Anti-subsumptive Knowledge Enforcement},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {48--62},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_4},
doi = {10.1007/978-3-662-48899-7\_4},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/GregoireL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/GregoireLM14,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
title = {Boosting {MUC} extraction in unsatisfiable constraint networks},
journal = {Appl. Intell.},
volume = {41},
number = {4},
pages = {1012--1023},
year = {2014},
url = {https://doi.org/10.1007/s10489-014-0549-6},
doi = {10.1007/S10489-014-0549-6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/GregoireLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/AudemardBLS14,
author = {Gilles Audemard and
Armin Biere and
Jean{-}Marie Lagniez and
Laurent Simon},
title = {Am{\'{e}}liorer {SAT} dans le cadre incr{\'{e}}mental},
journal = {Rev. d'Intelligence Artif.},
volume = {28},
number = {5},
pages = {593--614},
year = {2014},
url = {https://doi.org/10.3166/ria.28.593-614},
doi = {10.3166/RIA.28.593-614},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/AudemardBLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GregoireLM14,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
editor = {Carla E. Brodley and
Peter Stone},
title = {An Experimentally Efficient Method for (MSS, CoMSS) Partitioning},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2666--2673},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9118},
doi = {10.1609/AAAI.V28I1.9118},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GregoireLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LagniezM14,
author = {Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Carla E. Brodley and
Peter Stone},
title = {Preprocessing for Propositional Model Counting},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2688--2694},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9116},
doi = {10.1609/AAAI.V28I1.9116},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LagniezM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agi/GregoireLM14,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
editor = {Ben Goertzel and
Laurent Orseau and
Javier Snaider},
title = {A General Artificial Intelligence Approach for Skeptical Reasoning},
booktitle = {Artificial General Intelligence - 7th International Conference, {AGI}
2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8598},
pages = {33--42},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09274-4\_4},
doi = {10.1007/978-3-319-09274-4\_4},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/agi/GregoireLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BartKLM14,
author = {Anicet Bart and
Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Symmetry-Driven Decision Diagrams for Knowledge Compilation},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {51--56},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-51},
doi = {10.3233/978-1-61499-419-0-51},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BartKLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GregoireLM14,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Enforcing Solutions in Constraint Networks},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {1017--1018},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-1017},
doi = {10.3233/978-1-61499-419-0-1017},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/GregoireLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GregoireLM14,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
title = {Multiple Contraction through Partial-Max-SAT},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {321--327},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.56},
doi = {10.1109/ICTAI.2014.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GregoireLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GregoireLM13,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
title = {Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding
Algorithms},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {923--930},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.141},
doi = {10.1109/ICTAI.2013.141},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GregoireLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AudemardLS13,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Laurent Simon},
editor = {Francesca Rossi},
title = {Just-In-Time Compilation of Knowledge Bases},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {447--453},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6754},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/AudemardLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GregoireLM13,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
editor = {Francesca Rossi},
title = {Preserving Partial Solutions While Relaxing Constraint Networks},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {552--558},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6737},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/GregoireLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KoricheLMT13,
author = {Fr{\'{e}}d{\'{e}}ric Koriche and
Jean{-}Marie Lagniez and
Pierre Marquis and
Samuel Thomas},
editor = {Francesca Rossi},
title = {Knowledge Compilation for Model Counting: Affine Decision Trees},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {947--953},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6574},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/KoricheLMT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LagniezB13,
author = {Jean{-}Marie Lagniez and
Armin Biere},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Factoring Out Assumptions to Speed Up {MUS} Extraction},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {276--292},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_21},
doi = {10.1007/978-3-642-39071-5\_21},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LagniezB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardLS13,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Laurent Simon},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Improving Glucose for Incremental {SAT} Solving with Assumptions:
Application to {MUS} Extraction},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {309--317},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_23},
doi = {10.1007/978-3-642-39071-5\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GregoireLM13,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
title = {Improving {MUC} extraction thanks to local search},
journal = {CoRR},
volume = {abs/1307.3585},
year = {2013},
url = {http://arxiv.org/abs/1307.3585},
eprinttype = {arXiv},
eprint = {1307.3585},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GregoireLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GregoireLM12,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
title = {Relax!},
booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {146--153},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.28},
doi = {10.1109/ICTAI.2012.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GregoireLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardHJLP12,
author = {Gilles Audemard and
Beno{\^{\i}}t Hoessen and
Sa{\"{\i}}d Jabbour and
Jean{-}Marie Lagniez and
C{\'{e}}dric Piette},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Revisiting Clause Exchange in Parallel {SAT} Solving},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {200--213},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_16},
doi = {10.1007/978-3-642-31612-8\_16},
timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardHJLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GregoireLM11,
author = {{\'{E}}ric Gr{\'{e}}goire and
Jean{-}Marie Lagniez and
Bertrand Mazure},
editor = {Jimmy Ho{-}Man Lee},
title = {A {CSP} Solver Focusing on fac Variables},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {493--507},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_38},
doi = {10.1007/978-3-642-23786-7\_38},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GregoireLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/GuoL11,
author = {Long Guo and
Jean{-}Marie Lagniez},
title = {Dynamic Polarity Adjustment in a Parallel {SAT} Solver},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {67--73},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.19},
doi = {10.1109/ICTAI.2011.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/GuoL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AudemardLMS11,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Bertrand Mazure and
Lakhdar Sais},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {On Freezing and Reactivating Learnt Clauses},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6695},
pages = {188--200},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_16},
doi = {10.1007/978-3-642-21581-0\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/AudemardLMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AudemardLMS10,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Bertrand Mazure and
Lakhdar Sais},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Boosting Local Search Thanks to cdcl},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {474--488},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_34},
doi = {10.1007/978-3-642-16242-8\_34},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AudemardLMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/AudemardLMS09,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Bertrand Mazure and
Lakhdar Sais},
title = {Learning in Local Search},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {417--424},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.71},
doi = {10.1109/ICTAI.2009.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/AudemardLMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0910-1247,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Bertrand Mazure and
Lakhdar Sais},
editor = {Yves Deville and
Christine Solnon},
title = {Integrating Conflict Driven Clause Learning to Local Search},
booktitle = {Proceedings 6th International Workshop on Local Search Techniques
in Constraint Satisfaction, {LSCS} 2009, Lisbon, Portugal, 20 September
2009},
series = {{EPTCS}},
volume = {5},
pages = {55--68},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.5.5},
doi = {10.4204/EPTCS.5.5},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-1247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-11-03 18:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
