default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pierre Marquis
@inproceedings{DBLP:conf/f-egc/AudemardCMSS25,
author = {Gilles Audemard and
Sylvie Coste{-}Marquis and
Pierre Marquis and
Mehdi Sabiri and
Nicolas Szczepanski},
editor = {Thomas Guyet and
Baptiste Lafabregue and
Aur{\'{e}}lie Leborgne},
title = {Une interface {XAI} pour des mod{\`{e}}les d'apprentissage automatique
{\`{a}} base d'arbres},
booktitle = {Extraction et Gestion des Connaissances, {EGC} 2025, Strasbourg, France,
January 29-31, 2025},
series = {{RNTI}},
volume = {{E-41}},
pages = {411--418},
publisher = {Editions {RNTI}},
year = {2025},
url = {http://editions-rnti.fr/?inprocid=1003031},
timestamp = {Mon, 02 Jun 2025 08:24:59 +0200},
biburl = {https://dblp.org/rec/conf/f-egc/AudemardCMSS25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2504-07055,
author = {Isma{\"{\i}}l Baaj and
Pierre Marquis},
title = {{\(\Pi\)}-NeSy: {A} Possibilistic Neuro-Symbolic Approach},
journal = {CoRR},
volume = {abs/2504.07055},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2504.07055},
doi = {10.48550/ARXIV.2504.07055},
eprinttype = {arXiv},
eprint = {2504.07055},
timestamp = {Wed, 21 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2504-07055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/LieberMMPR24,
author = {Jean Lieber and
Jean{-}Guy Mailly and
Pierre Marquis and
Henri Prade and
Fran{\c{c}}ois Rollin},
title = {Some thoughts about artificial stupidity and artificial dumbness},
journal = {{AI} Commun.},
volume = {37},
number = {3},
pages = {377--391},
year = {2024},
url = {https://doi.org/10.3233/AIC-220322},
doi = {10.3233/AIC-220322},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/LieberMMPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DarwicheM24,
author = {Adnan Darwiche and
Pierre Marquis},
title = {Knowledge compilation},
journal = {Ann. Math. Artif. Intell.},
volume = {92},
number = {5},
pages = {1007--1011},
year = {2024},
url = {https://doi.org/10.1007/s10472-024-09942-w},
doi = {10.1007/S10472-024-09942-W},
timestamp = {Mon, 09 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/DarwicheM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchwindIKM24,
author = {Nicolas Schwind and
Katsumi Inoue and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {BeliefFlow: {A} Framework for Logic-Based Belief Diffusion via Iterated
Belief Change},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10696--10704},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28941},
doi = {10.1609/AAAI.V38I9.28941},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchwindIKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AudemardCMSS24,
author = {Gilles Audemard and
Sylvie Coste{-}Marquis and
Pierre Marquis and
Mehdi Sabiri and
Nicolas Szczepanski},
editor = {Ulle Endriss and
Francisco S. Melo and
Kerstin Bach and
Alberto Jos{\'{e}} Bugar{\'{\i}}n Diz and
Jose Maria Alonso{-}Moral and
Sen{\'{e}}n Barro and
Fredrik Heintz},
title = {Designing an {XAI} Interface for Tree-Based {ML} Models},
booktitle = {{ECAI} 2024 - 27th European Conference on Artificial Intelligence,
19-24 October 2024, Santiago de Compostela, Spain - Including 13th
Conference on Prestigious Applications of Intelligent Systems {(PAIS}
2024)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {392},
pages = {1075--1082},
publisher = {{IOS} Press},
year = {2024},
url = {https://doi.org/10.3233/FAIA240599},
doi = {10.3233/FAIA240599},
timestamp = {Mon, 03 Mar 2025 21:02:32 +0100},
biburl = {https://dblp.org/rec/conf/ecai/AudemardCMSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AudemardLM24,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Pierre Marquis},
editor = {Ulle Endriss and
Francisco S. Melo and
Kerstin Bach and
Alberto Jos{\'{e}} Bugar{\'{\i}}n Diz and
Jose Maria Alonso{-}Moral and
Sen{\'{e}}n Barro and
Fredrik Heintz},
title = {On the Computation of Contrastive Explanations for Boosted Regression
Trees},
booktitle = {{ECAI} 2024 - 27th European Conference on Artificial Intelligence,
19-24 October 2024, Santiago de Compostela, Spain - Including 13th
Conference on Prestigious Applications of Intelligent Systems {(PAIS}
2024)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {392},
pages = {1083--1091},
publisher = {{IOS} Press},
year = {2024},
url = {https://doi.org/10.3233/FAIA240600},
doi = {10.3233/FAIA240600},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/AudemardLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/f-egc/AudemardCMS24,
author = {Gilles Audemard and
Sylvie Coste{-}Marquis and
Pierre Marquis and
Mehdi Sabiri},
editor = {Hocine Cherifi and
J{\'{e}}r{\^{o}}me Gensel and
Christophe Cruz},
title = {Rectifier pour mieux distiller},
booktitle = {Extraction et Gestion des Connaissances, {EGC} 2024, Dijon, France,
January 22-26, 2024},
series = {{RNTI}},
volume = {{E-40}},
pages = {59--70},
publisher = {Editions {RNTI}},
year = {2024},
url = {https://editions-rnti.fr/?inprocid=1002904},
timestamp = {Thu, 07 Nov 2024 16:44:43 +0100},
biburl = {https://dblp.org/rec/conf/f-egc/AudemardCMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AudemardLMS24,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Pierre Marquis and
Nicolas Szczepanski},
title = {On the Computation of Example-Based Abductive Explanations for Random
Forests},
booktitle = {Proceedings of the Thirty-Third International Joint Conference on
Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,
2024},
pages = {3679--3687},
publisher = {ijcai.org},
year = {2024},
url = {https://www.ijcai.org/proceedings/2024/407},
timestamp = {Fri, 18 Oct 2024 10:53:17 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AudemardLMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AudemardLMS24a,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Pierre Marquis and
Nicolas Szczepanski},
title = {Deriving Provably Correct Explanations for Decision Trees: The Impact
of Domain Theories},
booktitle = {Proceedings of the Thirty-Third International Joint Conference on
Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,
2024},
pages = {3688--3696},
publisher = {ijcai.org},
year = {2024},
url = {https://www.ijcai.org/proceedings/2024/408},
timestamp = {Fri, 18 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AudemardLMS24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AudemardLMS24b,
author = {Gilles Audemard and
Jean{-}Marie Lagniez and
Pierre Marquis and
Nicolas Szczepanski},
title = {PyXAI: An {XAI} Library for Tree-Based Models},
booktitle = {Proceedings of the Thirty-Third International Joint Conference on
Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea, August 3-9,
2024},
pages = {8601--8605},
publisher = {ijcai.org},
year = {2024},
url = {https://www.ijcai.org/proceedings/2024/989},
timestamp = {Fri, 18 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AudemardLMS24b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LagniezMB24,
author = {Jean{-}Marie Lagniez and
Pierre Marquis and
Armin Biere},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Dynamic Blocked Clause Elimination for Projected Model Counting},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {21:1--21:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.21},
doi = {10.4230/LIPICS.SAT.2024.21},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LagniezMB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2024,
editor = {Pierre Marquis and
Magdalena Ortiz and
Maurice Pagnucco},
title = {Proceedings of the 21st International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2024, Hanoi, Vietnam.
November 2-8, 2024},
year = {2024},
url = {https://doi.org/10.24963/kr.2024},
doi = {10.24963/KR.2024},
isbn = {978-1-956792-05-8},
timestamp = {Wed, 18 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-18930,
author = {Florence Dupin de Saint{-}Cyr and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {Reasoning About Action and Change},
journal = {CoRR},
volume = {abs/2406.18930},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.18930},
doi = {10.48550/ARXIV.2406.18930},
eprinttype = {arXiv},
eprint = {2406.18930},
timestamp = {Mon, 22 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-18930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-06199,
author = {Jean{-}Marie Lagniez and
Pierre Marquis and
Armin Biere},
title = {Dynamic Blocked Clause Elimination for Projected Model Counting},
journal = {CoRR},
volume = {abs/2408.06199},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.06199},
doi = {10.48550/ARXIV.2408.06199},
eprinttype = {arXiv},
eprint = {2408.06199},
timestamp = {Tue, 17 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-06199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchwindIM23,
author = {Nicolas Schwind and
Katsumi Inoue and
Pierre Marquis},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Editing Boolean Classifiers: {A} Belief Change Perspective},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6516--6524},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i5.25801},
doi = {10.1609/AAAI.V37I5.25801},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchwindIM23.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/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 = {Wed, 15 Jan 2025 15:09:07 +0100},
biburl = {https://dblp.org/rec/conf/ecai/AudemardLMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Coste-MarquisM23,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Rectifying Binary 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 = {485--492},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230307},
doi = {10.3233/FAIA230307},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/Coste-MarquisM23.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 = {https://editions-rnti.fr/?inprocid=1002856},
timestamp = {Wed, 06 Nov 2024 17:10:35 +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 = {https://editions-rnti.fr/?inprocid=1002865},
timestamp = {Wed, 06 Nov 2024 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/ColnetM23,
author = {Alexis de Colnet and
Pierre Marquis},
title = {On Translations between {ML} Models for {XAI} Purposes},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3158--3166},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/352},
doi = {10.24963/IJCAI.2023/352},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ColnetM23.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}
}
@proceedings{DBLP:conf/kr/2023,
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
year = {2023},
url = {https://doi.org/10.24963/kr.2023},
doi = {10.24963/KR.2023},
isbn = {978-1-956792-02-7},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-13328,
author = {Alexis de Colnet and
Pierre Marquis},
title = {On the Complexity of Enumerating Prime Implicants from Decision-DNNF
Circuits},
journal = {CoRR},
volume = {abs/2301.13328},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.13328},
doi = {10.48550/ARXIV.2301.13328},
eprinttype = {arXiv},
eprint = {2301.13328},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-13328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06867,
author = {Pierre Bourhis and
Laurence Duchien and
J{\'{e}}r{\'{e}}mie Dusart and
Emmanuel Lonca and
Pierre Marquis and
Cl{\'{e}}ment Quinton},
title = {Reasoning on Feature Models: Compilation-Based vs. Direct Approaches},
journal = {CoRR},
volume = {abs/2302.06867},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06867},
doi = {10.48550/ARXIV.2302.06867},
eprinttype = {arXiv},
eprint = {2302.06867},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06867.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/dlog/Marquis22,
author = {Pierre Marquis},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Rectifying Classifiers (Joint {DL+NMR} Invited Talk Abstract)},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/invited-2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Marquis22.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 = {https://editions-rnti.fr/?inprocid=1002722},
timestamp = {Wed, 06 Nov 2024 17:10:35 +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 = {https://editions-rnti.fr/?inprocid=1002724},
timestamp = {Wed, 06 Nov 2024 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/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 = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AudemardBBKLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ColnetM22,
author = {Alexis de Colnet and
Pierre Marquis},
editor = {Luc De Raedt},
title = {On the Complexity of Enumerating Prime Implicants from Decision-DNNF
Circuits},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2583--2590},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/358},
doi = {10.24963/IJCAI.2022/358},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ColnetM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DarwicheM22,
author = {Adnan Darwiche and
Pierre Marquis},
editor = {Luc De Raedt},
title = {On Quantifying Literals in Boolean Logic and its Applications to Explainable
{AI} (Extended Abstract)},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5718--5721},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/797},
doi = {10.24963/IJCAI.2022/797},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DarwicheM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/ColnetM22,
author = {Alexis de Colnet and
Pierre Marquis},
title = {On the Complexity of Enumerating Prime Implicants from Decision-DNNF
Circuits},
booktitle = {Proceedings of the International Symposium on Artificial Intelligence
and Mathematics 2022 {(ISAIM} 2022), Fort Lauderdale, Florida, USA,
January 3-5, 2022},
year = {2022},
url = {https://isaim2022.cs.ou.edu/papers/ISAIM2022\_Boolean\_de\_Colnet\_Marquis.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:41 +0100},
biburl = {https://dblp.org/rec/conf/isaim/ColnetM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jiaf/LieberMMPR22,
author = {Jean Lieber and
Jean{-}Guy Mailly and
Pierre Marquis and
Henri Prade and
Fran{\c{c}}ois Rollin},
editor = {Zied Bouraoui and
Ana{\"{e}}lle Wilczynski},
title = {Quelques r{\'{e}}flexions autour de la notion de b{\^{e}}tise
artificielle},
booktitle = {16{\`{e}}mes Journ{\'{e}}es d'Intelligence Artificielle Fondamentale,
{JIAF} 2022, Saint-{\'{E}}tienne, France, June 30 - July 1, 2022},
pages = {50--60},
year = {2022},
url = {https://hal.archives-ouvertes.fr/hal-03781382/document},
timestamp = {Thu, 02 Nov 2023 16:47:34 +0100},
biburl = {https://dblp.org/rec/conf/jiaf/LieberMMPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/Marquis22,
author = {Pierre Marquis},
editor = {Ofer Arieli and
Giovanni Casini and
Laura Giordano},
title = {Rectifying Classifiers},
booktitle = {Proceedings of the 20th International Workshop on Non-Monotonic Reasoning,
{NMR} 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa,
Israel, August 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3197},
pages = {2},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3197/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:30 +0100},
biburl = {https://dblp.org/rec/conf/nmr/Marquis22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-05938,
author = {Pierre Bourhis and
Laurence Duchien and
J{\'{e}}r{\'{e}}mie Dusart and
Emmanuel Lonca and
Pierre Marquis and
Cl{\'{e}}ment Quinton},
title = {Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits},
journal = {CoRR},
volume = {abs/2202.05938},
year = {2022},
url = {https://arxiv.org/abs/2202.05938},
eprinttype = {arXiv},
eprint = {2202.05938},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-05938.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08758,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
title = {Rectifying Mono-Label Boolean Classifiers},
journal = {CoRR},
volume = {abs/2206.08758},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08758},
doi = {10.48550/ARXIV.2206.08758},
eprinttype = {arXiv},
eprint = {2206.08758},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08758.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}
}
@article{DBLP:journals/jair/DarwicheM21,
author = {Adnan Darwiche and
Pierre Marquis},
title = {On Quantifying Literals in Boolean Logic and its Applications to Explainable
{AI}},
journal = {J. Artif. Intell. Res.},
volume = {72},
pages = {285--328},
year = {2021},
url = {https://doi.org/10.1613/jair.1.12756},
doi = {10.1613/JAIR.1.12756},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/DarwicheM21.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/GargouriKMV21,
author = {Anis Gargouri and
S{\'{e}}bastien Konieczny and
Pierre Marquis and
Srdjan Vesic},
editor = {Frank Dignum and
Alessio Lomuscio and
Ulle Endriss and
Ann Now{\'{e}}},
title = {On a Notion of Monotonic Support for Bipolar Argumentation Frameworks},
booktitle = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
pages = {546--554},
publisher = {{ACM}},
year = {2021},
url = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p546.pdf},
doi = {10.5555/3463952.3464020},
timestamp = {Wed, 20 Jul 2022 17:03:47 +0200},
biburl = {https://dblp.org/rec/conf/atal/GargouriKMV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Coste-MarquisM21,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
editor = {Zhi{-}Hua Zhou},
title = {On Belief Change for Multi-Label Classifier Encodings},
booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial
Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27
August 2021},
pages = {1829--1836},
publisher = {ijcai.org},
year = {2021},
url = {https://doi.org/10.24963/ijcai.2021/252},
doi = {10.24963/IJCAI.2021/252},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Coste-MarquisM21.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}
}
@proceedings{DBLP:conf/gkr/2020,
editor = {Michael Cochez and
Madalina Croitoru and
Pierre Marquis and
Sebastian Rudolph},
title = {Graph Structures for Knowledge Representation and Reasoning - 6th
International Workshop, {GKR} 2020, Virtual Event, September 5, 2020,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12640},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72308-8},
doi = {10.1007/978-3-030-72308-8},
isbn = {978-3-030-72307-1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gkr/2020.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-2108-09876,
author = {Adnan Darwiche and
Pierre Marquis},
title = {On Quantifying Literals in Boolean Logic and Its Applications to Explainable
{AI}},
journal = {CoRR},
volume = {abs/2108.09876},
year = {2021},
url = {https://arxiv.org/abs/2108.09876},
eprinttype = {arXiv},
eprint = {2108.09876},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-09876.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 = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LagniezLM20.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/BerreMMW20,
author = {Daniel Le Berre and
Pierre Marquis and
Stefan Mengel and
Romain Wallon},
editor = {Christian Bessiere},
title = {On Irrelevant Literals in Pseudo-Boolean Constraint Learning},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1148--1154},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/160},
doi = {10.24963/IJCAI.2020/160},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BerreMMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EveraereKM20,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Christian Bessiere},
title = {Belief Merging Operators as Maximum Likelihood Estimators},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1763--1769},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/244},
doi = {10.24963/IJCAI.2020/244},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EveraereKM20.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/kr/AudemardKM20,
author = {Gilles Audemard and
Fr{\'{e}}d{\'{e}}ric Koriche and
Pierre Marquis},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {On Tractable {XAI} Queries based on Compiled Representations},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {838--849},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/86},
doi = {10.24963/KR.2020/86},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/AudemardKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreMW20,
author = {Daniel Le Berre and
Pierre Marquis and
Romain Wallon},
editor = {Luca Pulina and
Martina Seidl},
title = {On Weakening Strategies for {PB} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2020 - 23rd
International Conference, Alghero, Italy, July 3-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12178},
pages = {322--331},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51825-7\_23},
doi = {10.1007/978-3-030-51825-7\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/MarquisPP20,
author = {Pierre Marquis and
Odile Papini and
Henri Prade},
editor = {Pierre Marquis and
Odile Papini and
Henri Prade},
title = {Elements for a History of Artificial Intelligence},
booktitle = {A Guided Tour of Artificial Intelligence Research: Volume {I:} Knowledge
Representation, Reasoning and Learning},
pages = {1--43},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-06164-7\_1},
doi = {10.1007/978-3-030-06164-7\_1},
timestamp = {Sun, 06 Oct 2024 20:54:52 +0200},
biburl = {https://dblp.org/rec/books/sp/20/MarquisPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/Saint-CyrHLM20,
author = {Florence Dupin de Saint{-}Cyr and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Pierre Marquis and
Odile Papini and
Henri Prade},
title = {Reasoning About Action and Change},
booktitle = {A Guided Tour of Artificial Intelligence Research: Volume {I:} Knowledge
Representation, Reasoning and Learning},
pages = {487--518},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-06164-7\_15},
doi = {10.1007/978-3-030-06164-7\_15},
timestamp = {Thu, 01 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/20/Saint-CyrHLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/20/MPP2020-1,
editor = {Pierre Marquis and
Odile Papini and
Henri Prade},
title = {A Guided Tour of Artificial Intelligence Research: Volume {I:} Knowledge
Representation, Reasoning and Learning},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-06164-7},
doi = {10.1007/978-3-030-06164-7},
isbn = {978-3-030-06163-0},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/20/MPP2020-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/20/MPP2020-2,
editor = {Pierre Marquis and
Odile Papini and
Henri Prade},
title = {A Guided Tour of Artificial Intelligence Research: Volume {II:} {AI}
Algorithms},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-06167-8},
doi = {10.1007/978-3-030-06167-8},
isbn = {978-3-030-06166-1},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/20/MPP2020-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/20/MPP2020-3,
editor = {Pierre Marquis and
Odile Papini and
Henri Prade},
title = {A Guided Tour of Artificial Intelligence Research: Volume {III:} Interfaces
and Applications of Artificial Intelligence},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-06170-8},
doi = {10.1007/978-3-030-06170-8},
isbn = {978-3-030-06169-2},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/20/MPP2020-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-04466,
author = {Daniel Le Berre and
Pierre Marquis and
Romain Wallon},
title = {On Weakening Strategies for {PB} Solvers},
journal = {CoRR},
volume = {abs/2005.04466},
year = {2020},
url = {https://arxiv.org/abs/2005.04466},
eprinttype = {arXiv},
eprint = {2005.04466},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-04466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-04424,
author = {Daniel Le Berre and
Pierre Marquis and
Stefan Mengel and
Romain Wallon},
title = {On Irrelevant Literals in Pseudo-Boolean Constraint Learning},
journal = {CoRR},
volume = {abs/2012.04424},
year = {2020},
url = {https://arxiv.org/abs/2012.04424},
eprinttype = {arXiv},
eprint = {2012.04424},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-04424.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/ijcai/KoniecznyMV19,
author = {S{\'{e}}bastien Konieczny and
Pierre Marquis and
Srdjan Vesic},
editor = {Sarit Kraus},
title = {Rational Inference Relations from Maximal Consistent Subsets Selection},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1749--1755},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/242},
doi = {10.24963/IJCAI.2019/242},
timestamp = {Tue, 15 Oct 2024 16:43:28 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KoniecznyMV19.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/logcom/SchwindKM18,
author = {Nicolas Schwind and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
title = {Belief base rationalization for propositional merging},
journal = {J. Log. Comput.},
volume = {28},
number = {7},
pages = {1601--1634},
year = {2018},
url = {https://doi.org/10.1093/logcom/exy029},
doi = {10.1093/LOGCOM/EXY029},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SchwindKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchwindM18,
author = {Nicolas Schwind and
Pierre Marquis},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {On Consensus in Belief Merging},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1949--1956},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11543},
doi = {10.1609/AAAI.V32I1.11543},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchwindM18.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 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LagniezMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BerreMMW18,
author = {Daniel Le Berre and
Pierre Marquis and
Stefan Mengel and
Romain Wallon},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Pseudo-Boolean Constraints from a Knowledge Representation Perspective},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1891--1897},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/261},
doi = {10.24963/IJCAI.2018/261},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BerreMMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SchwindKM18,
author = {Nicolas Schwind and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {On Belief Promotion},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {297--307},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18025},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/SchwindKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KoniecznyMV18,
author = {S{\'{e}}bastien Konieczny and
Pierre Marquis and
Srdjan Vesic},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {New Inference Relations from Maximal Consistent Subsets},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {649--650},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18004},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KoniecznyMV18.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}
}
@inproceedings{DBLP:conf/prima/OkimotoSDIM18,
author = {Tenda Okimoto and
Nicolas Schwind and
Emir Demirovic and
Katsumi Inoue and
Pierre Marquis},
editor = {Tim Miller and
Nir Oren and
Yuko Sakurai and
Itsuki Noda and
Bastin Tony Roy Savarimuthu and
Tran Cao Son},
title = {Robust Coalition Structure Generation},
booktitle = {{PRIMA} 2018: Principles and Practice of Multi-Agent Systems - 21st
International Conference, Tokyo, Japan, October 29 - November 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11224},
pages = {140--157},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03098-8\_9},
doi = {10.1007/978-3-030-03098-8\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/OkimotoSDIM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gkr/2017,
editor = {Madalina Croitoru and
Pierre Marquis and
Sebastian Rudolph and
Gem Stapleton},
title = {Graph Structures for Knowledge Representation and Reasoning - 5th
International Workshop, {GKR} 2017, Melbourne, VIC, Australia, August
21, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10775},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-78102-0},
doi = {10.1007/978-3-319-78102-0},
isbn = {978-3-319-78101-3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gkr/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/CaridroitKM17,
author = {Thomas Caridroit and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
title = {Contraction in propositional logic},
journal = {Int. J. Approx. Reason.},
volume = {80},
pages = {428--442},
year = {2017},
url = {https://doi.org/10.1016/j.ijar.2016.06.010},
doi = {10.1016/J.IJAR.2016.06.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/CaridroitKM17.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/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 = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LagniezMP17.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/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}
}
@article{DBLP:journals/dagstuhl-reports/DarwicheMSS17,
author = {Adnan Darwiche and
Pierre Marquis and
Dan Suciu and
Stefan Szeider},
title = {Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381)},
journal = {Dagstuhl Reports},
volume = {7},
number = {9},
pages = {62--85},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.9.62},
doi = {10.4230/DAGREP.7.9.62},
timestamp = {Mon, 12 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DarwicheMSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AlbrechtBBBCCDF16,
author = {Stefano V. Albrecht and
Bruno Bouchard and
John S. Brownstein and
David L. Buckeridge and
Cornelia Caragea and
Kevin M. Carter and
Adnan Darwiche and
Blaz Fortuna and
Yannick Francillette and
S{\'{e}}bastien Gaboury and
C. Lee Giles and
Marko Grobelnik and
Estevam R. Hruschka Jr. and
Jeffrey O. Kephart and
Parisa Kordjamshidi and
Viliam Lis{\'{y}} and
Daniele Magazzeni and
Jo{\~{a}}o Marques{-}Silva and
Pierre Marquis and
David R. Martinez and
Marek P. Michalowski and
Arash Shaban{-}Nejad and
Zeinab Noorian and
Enrico Pontelli and
Alex Rogers and
Stephanie Rosenthal and
Dan Roth and
Arunesh Sinha and
William W. Streilein and
Sylvie Thi{\'{e}}baux and
Tran Cao Son and
Byron C. Wallace and
Toby Walsh and
Michael Witbrock and
Jie Zhang},
title = {Reports of the 2016 {AAAI} Workshop Program},
journal = {{AI} Mag.},
volume = {37},
number = {3},
pages = {99--108},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i3.2680},
doi = {10.1609/AIMAG.V37I3.2680},
timestamp = {Tue, 18 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/AlbrechtBBBCCDF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DarwicheMM16,
author = {Adnan Darwiche and
Jo{\~{a}}o Marques{-}Silva and
Pierre Marquis},
editor = {Adnan Darwiche},
title = {Preface: The Beyond {NP} Workshop},
booktitle = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
USA, February 12, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-05}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/13235},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DarwicheMM16.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 = {Wed, 15 Jan 2025 15:02:28 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BartKLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CaridroitKLM16,
author = {Thomas Caridroit and
S{\'{e}}bastien Konieczny and
Tiago de Lima 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 = {On Distances Between KD45n Kripke Models and Their Use for Belief
Revision},
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 = {1053--1061},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1053},
doi = {10.3233/978-1-61499-672-9-1053},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/CaridroitKLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KoricheBLM16,
author = {Fr{\'{e}}d{\'{e}}ric Koriche and
Daniel Le Berre and
Emmanuel Lonca 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 = {Fixed-Parameter Tractable Optimization Under {DNNF} Constraints},
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 = {1194--1202},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-1194},
doi = {10.3233/978-1-61499-672-9-1194},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/KoricheBLM16.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/SchwindIBKM16,
author = {Nicolas Schwind and
Katsumi Inoue and
Gauvain Bourgne and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Subbarao Kambhampati},
title = {Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1237--1243},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/179},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SchwindIBKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SchwindIBKM15,
author = {Nicolas Schwind and
Katsumi Inoue and
Gauvain Bourgne and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Blai Bonet and
Sven Koenig},
title = {Belief Revision Games},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1590--1596},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9415},
doi = {10.1609/AAAI.V29I1.9415},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SchwindIBKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Marquis15,
author = {Pierre Marquis},
editor = {Blai Bonet and
Sven Koenig},
title = {Compile!},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {4112--4118},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9763},
doi = {10.1609/AAAI.V29I1.9763},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Marquis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/OkimotoSCRIM15,
author = {Tenda Okimoto and
Nicolas Schwind and
Maxime Clement and
Tony Ribeiro and
Katsumi Inoue and
Pierre Marquis},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {How to Form a Task-Oriented Robust Team},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {395--403},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2772931},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/OkimotoSCRIM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/EveraereKM15,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Belief Merging versus Judgment Aggregation},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {999--1007},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773279},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/EveraereKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CaridroitKLM15,
author = {Thomas Caridroit and
S{\'{e}}bastien Konieczny and
Tiago de Lima and
Pierre Marquis},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {Private Revision in a Multi-Agent Setting},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {1677--1678},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773381},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/CaridroitKLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/KoniecznyMV15,
author = {S{\'{e}}bastien Konieczny and
Pierre Marquis and
Srdjan Vesic},
editor = {S{\'{e}}bastien Destercke and
Thierry Denoeux},
title = {On Supported Inference and Extension Selection in Abstract Argumentation
Frameworks},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 13th European Conference, {ECSQARU} 2015, Compi{\`{e}}gne, France,
July 15-17, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9161},
pages = {49--59},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20807-7\_5},
doi = {10.1007/978-3-319-20807-7\_5},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsqaru/KoniecznyMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/CaridroitKLM15,
author = {Thomas Caridroit and
S{\'{e}}bastien Konieczny and
Tiago de Lima and
Pierre Marquis},
editor = {S{\'{e}}bastien Destercke and
Thierry Denoeux},
title = {Private Expansion and Revision in Multi-agent Settings},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 13th European Conference, {ECSQARU} 2015, Compi{\`{e}}gne, France,
July 15-17, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9161},
pages = {175--185},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20807-7\_16},
doi = {10.1007/978-3-319-20807-7\_16},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsqaru/CaridroitKLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/CaridroitKM15,
author = {Thomas Caridroit and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {S{\'{e}}bastien Destercke and
Thierry Denoeux},
title = {Contraction in Propositional Logic},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 13th European Conference, {ECSQARU} 2015, Compi{\`{e}}gne, France,
July 15-17, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9161},
pages = {186--196},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20807-7\_17},
doi = {10.1007/978-3-319-20807-7\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/CaridroitKM15.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/ijcai/Coste-MarquisKM15,
author = {Sylvie Coste{-}Marquis and
S{\'{e}}bastien Konieczny and
Jean{-}Guy Mailly and
Pierre Marquis},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Extension Enforcement in Abstract Argumentation as an Optimization
Problem},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2876--2882},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/407},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Coste-MarquisKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gkr/2015,
editor = {Madalina Croitoru and
Pierre Marquis and
Sebastian Rudolph and
Gem Stapleton},
title = {Graph Structures for Knowledge Representation and Reasoning - 4th
International Workshop, {GKR} 2015, Buenos Aires, Argentina, July
25, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9501},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28702-7},
doi = {10.1007/978-3-319-28702-7},
isbn = {978-3-319-28701-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gkr/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MarquisS14,
author = {Pierre Marquis and
Nicolas Schwind},
title = {Lost in translation: Language independence in propositional logic
- application to belief change},
journal = {Artif. Intell.},
volume = {206},
pages = {1--24},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2013.09.005},
doi = {10.1016/J.ARTINT.2013.09.005},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/MarquisS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FargierM14,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis},
title = {Disjunctive closures for knowledge compilation},
journal = {Artif. Intell.},
volume = {216},
pages = {129--162},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2014.07.004},
doi = {10.1016/J.ARTINT.2014.07.004},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/FargierM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ria/FargierMS14,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis and
Nicolas Schmidt},
title = {Compacit{\'{e}} pratique des diagrammes de d{\'{e}}cision
valu{\'{e}}s. Normalisation, heuristiques et exp{\'{e}}rimentations},
journal = {Rev. d'Intelligence Artif.},
volume = {28},
number = {5},
pages = {571--592},
year = {2014},
url = {https://doi.org/10.3166/ria.28.571-592},
doi = {10.3166/RIA.28.571-592},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/FargierMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FargierMNS14,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis and
Alexandre Niveau and
Nicolas Schmidt},
editor = {Carla E. Brodley and
Peter Stone},
title = {A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1049--1055},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8853},
doi = {10.1609/AAAI.V28I1.8853},
timestamp = {Tue, 19 Nov 2024 15:59:16 +0100},
biburl = {https://dblp.org/rec/conf/aaai/FargierMNS14.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/atal/EveraereKM14,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Counting votes for aggregating judgments},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1177--1184},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2617436},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/EveraereKM14.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 = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BartKLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/MarquisPP14,
author = {Pierre Marquis and
Odile Papini and
Henri Prade},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Some Elements for a Prehistory of Artificial Intelligence in the Last
Four Centuries},
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 = {609--614},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-609},
doi = {10.3233/978-1-61499-419-0-609},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/MarquisPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EveraereKM14,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Propositional Merging and Judgment Aggregation: Two Compatible Approaches?},
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 = {1001--1002},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-1001},
doi = {10.3233/978-1-61499-419-0-1001},
timestamp = {Wed, 15 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/EveraereKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Coste-MarquisKMM14,
author = {Sylvie Coste{-}Marquis and
S{\'{e}}bastien Konieczny and
Jean{-}Guy Mailly and
Pierre Marquis},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {A Translation-Based Approach for Revision of Argumentation Frameworks},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {397--411},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_28},
doi = {10.1007/978-3-319-11558-0\_28},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Coste-MarquisKMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisKMM14,
author = {Sylvie Coste{-}Marquis and
S{\'{e}}bastien Konieczny and
Jean{-}Guy Mailly and
Pierre Marquis},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {On the Revision of Argumentation Systems: Minimal Change of Arguments
Statuses},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7967},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisKMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EveraereKM14,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {On Egalitarian Belief Merging},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7891},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EveraereKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BerreLM14,
author = {Daniel Le Berre and
Emmanuel Lonca and
Pierre Marquis},
title = {On the Complexity of Optimization Problems based on Compiled {NNF}
Representations},
journal = {CoRR},
volume = {abs/1410.6690},
year = {2014},
url = {http://arxiv.org/abs/1410.6690},
eprinttype = {arXiv},
eprint = {1410.6690},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BerreLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HerzigLM13,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {Propositional Update Operators Based on Formula/Literal Dependence},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {24:1--24:31},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499945},
doi = {10.1145/2499937.2499945},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/HerzigLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/BerreMR13,
author = {Daniel Le Berre and
Pierre Marquis and
St{\'{e}}phanie Roussel},
editor = {Daniel Borrajo and
Subbarao Kambhampati and
Angelo Oddi and
Simone Fratini},
title = {Planning Personalised Museum Visits},
booktitle = {Proceedings of the Twenty-Third International Conference on Automated
Planning and Scheduling, {ICAPS} 2013, Rome, Italy, June 10-14, 2013},
publisher = {{AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/6025},
timestamp = {Wed, 28 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aips/BerreMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FargierMN13,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis and
Alexandre Niveau},
editor = {Francesca Rossi},
title = {Towards a Knowledge Compilation Map for Heterogeneous Representation
Languages},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {877--883},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6969},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FargierMN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FargierMS13,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis and
Nicolas Schmidt},
editor = {Francesca Rossi},
title = {Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial
Efficiency Issues},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {884--890},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6623},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FargierMS13.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}
}
@article{DBLP:journals/ria/LangM12,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {Introduction},
journal = {Rev. d'Intelligence Artif.},
volume = {26},
number = {1-2},
pages = {9--10},
year = {2012},
url = {http://ria.revuesonline.com/article.jsp?articleId=17205},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ria/LangM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/DunneMW12,
author = {Paul E. Dunne and
Pierre Marquis and
Michael J. Wooldridge},
editor = {Bart Verheij and
Stefan Szeider and
Stefan Woltran},
title = {Argument Aggregation: Basic Axioms and Complexity Results},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2012, Vienna,
Austria, September 10-12, 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
pages = {129--140},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-111-3-129},
doi = {10.3233/978-1-61499-111-3-129},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/DunneMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/Coste-MarquisKMO12,
author = {Sylvie Coste{-}Marquis and
S{\'{e}}bastien Konieczny and
Pierre Marquis and
Mohand Akli Ouali},
editor = {Bart Verheij and
Stefan Szeider and
Stefan Woltran},
title = {Selecting Extensions in Weighted Argumentation Frameworks},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2012, Vienna,
Austria, September 10-12, 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {245},
pages = {342--349},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-111-3-342},
doi = {10.3233/978-1-61499-111-3-342},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/Coste-MarquisKMO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BordeauxJSM12,
author = {Lucas Bordeaux and
Mikol{\'{a}}s Janota and
Jo{\~{a}}o Marques{-}Silva and
Pierre Marquis},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {On Unit-Refutation Complete Formulae with Existentially Quantified
Variables},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4534},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BordeauxJSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisKMO12,
author = {Sylvie Coste{-}Marquis and
S{\'{e}}bastien Konieczny and
Pierre Marquis and
Mohand Akli Ouali},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Weighted Attacks in Argumentation Frameworks},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4543},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisKMO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EveraereKM12,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Compositional Belief Merging},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4544},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EveraereKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KoniecznyMS11,
author = {S{\'{e}}bastien Konieczny and
Pierre Marquis and
Nicolas Schwind},
editor = {Toby Walsh},
title = {Belief Base Rationalization for Propositional Merging},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {951--956},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-164},
doi = {10.5591/978-1-57735-516-8/IJCAI11-164},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KoniecznyMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Marquis11,
author = {Pierre Marquis},
editor = {Toby Walsh},
title = {Existential Closures for Knowledge Compilation},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {996--1001},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-171},
doi = {10.5591/978-1-57735-516-8/IJCAI11-171},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Marquis11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MarquisS11,
author = {Pierre Marquis and
Nicolas Schwind},
editor = {Toby Walsh},
title = {Lost in Translation: Language Independence in Propositional Logic
- Application to Belief Revision and Belief Merging},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1002--1007},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-172},
doi = {10.5591/978-1-57735-516-8/IJCAI11-172},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/MarquisS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-1819,
author = {Adnan Darwiche and
Pierre Marquis},
title = {A Knowledge Compilation Map},
journal = {CoRR},
volume = {abs/1106.1819},
year = {2011},
url = {http://arxiv.org/abs/1106.1819},
eprinttype = {arXiv},
eprint = {1106.1819},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4578,
author = {J{\'{e}}r{\^{o}}me Lang and
Paolo Liberatore and
Pierre Marquis},
title = {Propositional Independence - Formula-Variable Independence and Forgetting},
journal = {CoRR},
volume = {abs/1106.4578},
year = {2011},
url = {http://arxiv.org/abs/1106.4578},
eprinttype = {arXiv},
eprint = {1106.4578},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-2766,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
title = {The Strategy-Proofness Landscape of Merging},
journal = {CoRR},
volume = {abs/1110.2766},
year = {2011},
url = {http://arxiv.org/abs/1110.2766},
eprinttype = {arXiv},
eprint = {1110.2766},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-2766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LangM10,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {Reasoning under inconsistency: {A} forgetting-based approach},
journal = {Artif. Intell.},
volume = {174},
number = {12-13},
pages = {799--823},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2010.04.023},
doi = {10.1016/J.ARTINT.2010.04.023},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LangM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EveraereKM10,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
title = {Disjunctive merging: Quota and Gmin merging operators},
journal = {Artif. Intell.},
volume = {174},
number = {12-13},
pages = {824--849},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2010.05.001},
doi = {10.1016/J.ARTINT.2010.05.001},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/EveraereKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BienvenuFM10,
author = {Meghyn Bienvenu and
H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis},
editor = {Maria Fox and
David Poole},
title = {Knowledge Compilation in the Modal Logic {S5}},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {261--266},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7587},
doi = {10.1609/AAAI.V24I1.7587},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BienvenuFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EveraereKM10,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {The Epistemic View of Belief Merging: Can We Track the Truth?},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {621--626},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-621},
doi = {10.3233/978-1-60750-606-5-621},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/EveraereKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/CondottaKMS10,
author = {Jean{-}Fran{\c{c}}ois Condotta and
Souhila Kaci and
Pierre Marquis and
Nicolas Schwind},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Majority Merging: from Boolean Spaces to Affine Spaces},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {627--632},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-627},
doi = {10.3233/978-1-60750-606-5-627},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/CondottaKMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LarbiKM10,
author = {Ramzi Ben Larbi and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {A Characterization of Optimality Criteria for Decision Making under
Complete Ignorance},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1269},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LarbiKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CondottaKMS10,
author = {Jean{-}Fran{\c{c}}ois Condotta and
Souhila Kaci and
Pierre Marquis and
Nicolas Schwind},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {A Syntactical Approach to Qualitative Constraint Networks Merging},
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 = {233--247},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_17},
doi = {10.1007/978-3-642-16242-8\_17},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CondottaKMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Coste-MarquisDM09,
author = {Sylvie Coste{-}Marquis and
Caroline Devred and
Pierre Marquis},
title = {Handling controversial arguments},
journal = {J. Appl. Non Class. Logics},
volume = {19},
number = {3},
pages = {311--369},
year = {2009},
url = {https://doi.org/10.3166/jancl.19.311-369},
doi = {10.3166/JANCL.19.311-369},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Coste-MarquisDM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mss/MarquisO09,
author = {Pierre Marquis and
Meltem {\"{O}}zt{\"{u}}rk},
title = {Representing interval orders by weighted bases: Some complexity results},
journal = {Math. Soc. Sci.},
volume = {57},
number = {3},
pages = {367--388},
year = {2009},
url = {https://doi.org/10.1016/j.mathsocsci.2008.12.011},
doi = {10.1016/J.MATHSOCSCI.2008.12.011},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mss/MarquisO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/DitmarschHLM09,
author = {Hans van Ditmarsch and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {Introspective forgetting},
journal = {Synth.},
volume = {169},
number = {2},
pages = {405--423},
year = {2009},
url = {https://doi.org/10.1007/s11229-009-9554-4},
doi = {10.1007/S11229-009-9554-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/DitmarschHLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aldt/BerreMO09,
author = {Daniel Le Berre and
Pierre Marquis and
Meltem {\"{O}}zt{\"{u}}rk},
editor = {Francesca Rossi and
Alexis Tsouki{\`{a}}s},
title = {Aggregating Interval Orders by Propositional Optimization},
booktitle = {Algorithmic Decision Theory, First International Conference, {ADT}
2009, Venice, Italy, October 20-23, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5783},
pages = {249--260},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04428-1\_22},
doi = {10.1007/978-3-642-04428-1\_22},
timestamp = {Tue, 23 Jan 2024 13:25:45 +0100},
biburl = {https://dblp.org/rec/conf/aldt/BerreMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cosit/CondottaKMS09,
author = {Jean{-}Fran{\c{c}}ois Condotta and
Souhila Kaci and
Pierre Marquis and
Nicolas Schwind},
editor = {Kathleen Stewart Hornsby and
Christophe Claramunt and
Michel Denis and
G{\'{e}}rard Ligozat},
title = {Merging Qualitative Constraint Networks Defined on Different Qualitative
Formalisms},
booktitle = {Spatial Information Theory, 9th International Conference, {COSIT}
2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5756},
pages = {106--123},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03832-7\_7},
doi = {10.1007/978-3-642-03832-7\_7},
timestamp = {Sun, 02 Jun 2019 21:24:22 +0200},
biburl = {https://dblp.org/rec/conf/cosit/CondottaKMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/CondottaKMS09,
author = {Jean{-}Fran{\c{c}}ois Condotta and
Souhila Kaci and
Pierre Marquis and
Nicolas Schwind},
editor = {Claudio Sossai and
Gaetano Chemello},
title = {Merging Qualitative Constraints Networks Using Propositional Logic},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
10th European Conference, {ECSQARU} 2009, Verona, Italy, July 1-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5590},
pages = {347--358},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02906-6\_31},
doi = {10.1007/978-3-642-02906-6\_31},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/CondottaKMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CondottaKMS09,
author = {Jean{-}Fran{\c{c}}ois Condotta and
Souhila Kaci and
Pierre Marquis and
Nicolas Schwind},
title = {Merging Qualitative Constraint Networks in a Piecewise Fashion},
booktitle = {{ICTAI} 2009, 21st {IEEE} International Conference on Tools with Artificial
Intelligence, Newark, New Jersey, USA, 2-4 November 2009},
pages = {605--608},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICTAI.2009.36},
doi = {10.1109/ICTAI.2009.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/CondottaKMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FargierM09,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis},
editor = {Craig Boutilier},
title = {Knowledge Compilation Properties of Trees-of-BDDs, Revisited},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {772--777},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/133.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FargierM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LangM08,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {On propositional definability},
journal = {Artif. Intell.},
volume = {172},
number = {8-9},
pages = {991--1017},
year = {2008},
url = {https://doi.org/10.1016/j.artint.2007.12.003},
doi = {10.1016/J.ARTINT.2007.12.003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LangM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/KoniecznyMB08,
author = {S{\'{e}}bastien Konieczny and
Pierre Marquis and
Philippe Besnard},
title = {Bipolarity in bilattice logics},
journal = {Int. J. Intell. Syst.},
volume = {23},
number = {10},
pages = {1046--1061},
year = {2008},
url = {https://doi.org/10.1002/int.20306},
doi = {10.1002/INT.20306},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijis/KoniecznyMB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FargierM08,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {442--447},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-070.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FargierM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/DitmarschHLM08,
author = {Hans van Ditmarsch and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Wayne Wobcke and
Mengjie Zhang},
title = {Introspective Forgetting},
booktitle = {{AI} 2008: Advances in Artificial Intelligence, 21st Australasian
Joint Conference on Artificial Intelligence, Auckland, New Zealand,
December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5360},
pages = {18--29},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89378-3\_2},
doi = {10.1007/978-3-540-89378-3\_2},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/DitmarschHLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FargierM08,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Extending the Knowledge Compilation Map: Closure Principles},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {50--54},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-50},
doi = {10.3233/978-1-58603-891-5-50},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/FargierM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EveraereKM08,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Propositional merging operators based on set-theoretic closeness},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {737--738},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-737},
doi = {10.3233/978-1-58603-891-5-737},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/EveraereKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LarbiKM08,
author = {Ramzi Ben Larbi and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
title = {A Model for Multiple Outcomes Games},
booktitle = {20th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1},
pages = {27--34},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICTAI.2008.133},
doi = {10.1109/ICTAI.2008.133},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LarbiKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Coste-MarquisM08,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Recovering Consistency by Forgetting Inconsistency},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {113--125},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_11},
doi = {10.1007/978-3-540-87803-2\_11},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/Coste-MarquisM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfsma/LarbiKM08,
author = {Ramzi Ben Larbi and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Ren{\'{e}} Mandiau and
Pierre Chevaillier},
title = {Jeux Qualitatifs {\`{a}} R{\'{e}}sultats Multiples (pr{\'{e}}sentation
courte)},
booktitle = {Syst{\`{e}}mes Multi-Agents, Communaut{\'{e}}s virtuelles et
naturelles - {JFSMA} 08 - Seizi{\`{e}}mes journ{\'{e}}es francophones
sur les syst{\`{e}}mes multi-agents, Brest, France, October 15-17,
2008},
pages = {65--74},
publisher = {Cepadues Editions},
year = {2008},
timestamp = {Tue, 07 Feb 2012 21:02:53 +0100},
biburl = {https://dblp.org/rec/conf/jfsma/LarbiKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EveraereKM08,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Conflict-Based Merging Operators},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {348--357},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-034.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EveraereKM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Coste-MarquisDKLM07,
author = {Sylvie Coste{-}Marquis and
Caroline Devred and
S{\'{e}}bastien Konieczny and
Marie{-}Christine Lagasquie{-}Schiex and
Pierre Marquis},
title = {On the merging of Dung's argumentation systems},
journal = {Artif. Intell.},
volume = {171},
number = {10-15},
pages = {730--753},
year = {2007},
url = {https://doi.org/10.1016/j.artint.2007.04.012},
doi = {10.1016/J.ARTINT.2007.04.012},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Coste-MarquisDKLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/EveraereKM07,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
title = {The Strategy-Proofness Landscape of Merging},
journal = {J. Artif. Intell. Res.},
volume = {28},
pages = {49--105},
year = {2007},
url = {https://doi.org/10.1613/jair.2034},
doi = {10.1613/JAIR.2034},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/EveraereKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GauwinKM07,
author = {Olivier Gauwin and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
title = {Conciliation through Iterated Belief Merging},
journal = {J. Log. Comput.},
volume = {17},
number = {5},
pages = {909--937},
year = {2007},
url = {https://doi.org/10.1093/logcom/exm047},
doi = {10.1093/LOGCOM/EXM047},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GauwinKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/LarbiKM07,
author = {Ramzi Ben Larbi and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Khaled Mellouli},
title = {Extending Classical Planning to the Multi-agent Case: {A} Game-Theoretic
Approach},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
9th European Conference, {ECSQARU} 2007, Hammamet, Tunisia, October
31 - November 2, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4724},
pages = {731--742},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75256-1\_64},
doi = {10.1007/978-3-540-75256-1\_64},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/LarbiKM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FargierM07,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis},
editor = {Manuela M. Veloso},
title = {On Valued Negation Normal Form Formulas},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {360--365},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/056.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FargierM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BailleuxM06,
author = {Olivier Bailleux and
Pierre Marquis},
title = {Some Computational Aspects of distance-sat},
journal = {J. Autom. Reason.},
volume = {37},
number = {4},
pages = {231--260},
year = {2006},
url = {https://doi.org/10.1007/s10817-006-9063-9},
doi = {10.1007/S10817-006-9063-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BailleuxM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/Coste-MarquisBLM06,
author = {Sylvie Coste{-}Marquis and
Daniel Le Berre and
Florian Letombe and
Pierre Marquis},
title = {Complexity Results for Quantified Boolean Formulae Based on Complete
Propositional Languages},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {1},
number = {1},
pages = {61--88},
year = {2006},
url = {https://doi.org/10.3233/sat190003},
doi = {10.3233/SAT190003},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/Coste-MarquisBLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FargierM06,
author = {H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis},
title = {On the Use of Partially Ordered Decision Graphs in Knowledge Compilation
and Quantified Boolean Formulae},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {42--47},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-007.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FargierM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BesnardLM06,
author = {Philippe Besnard and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Gerhard Brewka and
Silvia Coradeschi and
Anna Perini and
Paolo Traverso},
title = {Variable Forgetting in Preference Relations over Propositional Domains},
booktitle = {{ECAI} 2006, 17th European Conference on Artificial Intelligence,
August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious
Applications of Intelligent Systems {(PAIS} 2006), Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {141},
pages = {763--764},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 12 Feb 2009 12:51:20 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BesnardLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/LoukilHMV06,
author = {Zied Loukil and
Abdelmajid Ben Hamadou and
Pierre Marquis and
Vincent Vidal},
title = {Les ressources et la planification temporelle},
booktitle = {Actes du XXIV{\`{e}}me Congr{\`{e}}s INFORSID, Hammamet, Tunisie,
31 mai - 4 juin, 2006},
pages = {515--529},
year = {2006},
timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/inforsid/LoukilHMV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisDM06,
author = {Sylvie Coste{-}Marquis and
Caroline Devred and
Pierre Marquis},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Constrained Argumentation Frameworks},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {112--122},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-014.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisDM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisFLBM06,
author = {Sylvie Coste{-}Marquis and
H{\'{e}}l{\`{e}}ne Fargier and
J{\'{e}}r{\^{o}}me Lang and
Daniel Le Berre and
Pierre Marquis},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Representing Policies for Quantified Boolean Formulae},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {286--297},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-031.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisFLBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Coste-MarquisBLM05,
author = {Sylvie Coste{-}Marquis and
Daniel Le Berre and
Florian Letombe and
Pierre Marquis},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Propositional Fragments for Knowledge Compilation and Quantified Boolean
Formulae},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {288--293},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-046.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Coste-MarquisBLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Coste-MarquisDKLM05,
author = {Sylvie Coste{-}Marquis and
Caroline Devred and
S{\'{e}}bastien Konieczny and
Marie{-}Christine Lagasquie{-}Schiex and
Pierre Marquis},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Merging Argumentation Systems},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {614--619},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-096.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Coste-MarquisDKLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Coste-MarquisM05,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
editor = {Leopoldo E. Bertossi and
Anthony Hunter and
Torsten Schaub},
title = {On the Complexity of Paraconsistent Inference Relations},
booktitle = {Inconsistency Tolerance [result from a Dagstuhl seminar]},
series = {Lecture Notes in Computer Science},
volume = {3300},
pages = {151--190},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30597-2\_6},
doi = {10.1007/978-3-540-30597-2\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Coste-MarquisM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Coste-MarquisDM05,
author = {Sylvie Coste{-}Marquis and
Caroline Devred and
Pierre Marquis},
editor = {Llu{\'{\i}}s Godo},
title = {Symmetric Argumentation Frameworks},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
8th European Conference, {ECSQARU} 2005, Barcelona, Spain, July 6-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3571},
pages = {317--328},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11518655\_28},
doi = {10.1007/11518655\_28},
timestamp = {Fri, 05 Jun 2020 11:50:47 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/Coste-MarquisDM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/GauwinKM05,
author = {Olivier Gauwin and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Llu{\'{\i}}s Godo},
title = {Conciliation and Consensus in Iterated Belief Merging},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
8th European Conference, {ECSQARU} 2005, Barcelona, Spain, July 6-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3571},
pages = {514--526},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11518655\_44},
doi = {10.1007/11518655\_44},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/GauwinKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Coste-MarquisDM05,
author = {Sylvie Coste{-}Marquis and
Caroline Devred and
Pierre Marquis},
title = {Prudent Semantics for Argumentation Frameworks},
booktitle = {17th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2005), 14-16 November 2005, Hong Kong, China},
pages = {568--572},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICTAI.2005.103},
doi = {10.1109/ICTAI.2005.103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/Coste-MarquisDM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EveraereKM05,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Quota and Gmin Merging Operators},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {424--429},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0780.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EveraereKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KoniecznyLM05,
author = {S{\'{e}}bastien Konieczny and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Reasoning under inconsistency: the forgotten connective},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {484--489},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0776.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KoniecznyLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Coste-MarquisDM05,
author = {Sylvie Coste{-}Marquis and
Caroline Devred and
Pierre Marquis},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Inference from Controversial Arguments},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {606--620},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_42},
doi = {10.1007/11591191\_42},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Coste-MarquisDM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KoniecznyM04,
author = {S{\'{e}}bastien Konieczny and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {DA\({}^{\mbox{2}}\) merging operators},
journal = {Artif. Intell.},
volume = {157},
number = {1-2},
pages = {49--79},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.04.008},
doi = {10.1016/J.ARTINT.2004.04.008},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KoniecznyM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DarwicheM04,
author = {Adnan Darwiche and
Pierre Marquis},
title = {Compiling propositional weighted bases},
journal = {Artif. Intell.},
volume = {157},
number = {1-2},
pages = {81--113},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.04.005},
doi = {10.1016/J.ARTINT.2004.04.005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/DarwicheM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Coste-MarquisM04,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
title = {On Stratified Belief Base Compilation},
journal = {Ann. Math. Artif. Intell.},
volume = {42},
number = {4},
pages = {399--442},
year = {2004},
url = {https://doi.org/10.1023/B:AMAI.0000038313.15152.5c},
doi = {10.1023/B:AMAI.0000038313.15152.5C},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/Coste-MarquisM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Coste-MarquisM04,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {803--807},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Coste-MarquisM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisLLM04,
author = {Sylvie Coste{-}Marquis and
J{\'{e}}r{\^{o}}me Lang and
Paolo Liberatore and
Pierre Marquis},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Expressive Power and Succinctness of Propositional Languages for Preference
Representation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {203--212},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-023.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisLLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EveraereKM04,
author = {Patricia Everaere and
S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {On Merging Strategy-Proofness},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {357--368},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-038.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EveraereKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/MarquisP03,
author = {Pierre Marquis and
Nad{\`{e}}ge Porquet},
title = {Resource-Bounded Paraconsistent Inference},
journal = {Ann. Math. Artif. Intell.},
volume = {39},
number = {4},
pages = {349--384},
year = {2003},
url = {https://doi.org/10.1023/A:1026088710874},
doi = {10.1023/A:1026088710874},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/MarquisP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LangLM03,
author = {J{\'{e}}r{\^{o}}me Lang and
Paolo Liberatore and
Pierre Marquis},
title = {Propositional Independence: Formula-Variable Independence and Forgetting},
journal = {J. Artif. Intell. Res.},
volume = {18},
pages = {391--443},
year = {2003},
url = {https://doi.org/10.1613/jair.1113},
doi = {10.1613/JAIR.1113},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/LangLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KoniecznyLM03,
author = {S{\'{e}}bastien Konieczny and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Georg Gottlob and
Toby Walsh},
title = {Quantifying information and contradiction in propositional logic through
test actions},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {106--111},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/015.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KoniecznyLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigLM03,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Georg Gottlob and
Toby Walsh},
title = {Action representation and partially observable planning using epistemic
logic},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1067--1072},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/153.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LangLM03,
author = {J{\'{e}}r{\^{o}}me Lang and
Fangzhen Lin and
Pierre Marquis},
editor = {Georg Gottlob and
Toby Walsh},
title = {Causal Theories of Action: {A} Computational Core},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1073--1078},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/154.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LangLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AmilhastreFM02,
author = {J{\'{e}}r{\^{o}}me Amilhastre and
H{\'{e}}l{\`{e}}ne Fargier and
Pierre Marquis},
title = {Consistency restoration and explanations in dynamic CSPs Application
to configuration},
journal = {Artif. Intell.},
volume = {135},
number = {1-2},
pages = {199--234},
year = {2002},
url = {https://doi.org/10.1016/S0004-3702(01)00162-X},
doi = {10.1016/S0004-3702(01)00162-X},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/AmilhastreFM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LangLM02,
author = {J{\'{e}}r{\^{o}}me Lang and
Paolo Liberatore and
Pierre Marquis},
title = {Conditional independence in propositional logic},
journal = {Artif. Intell.},
volume = {141},
number = {1/2},
pages = {79--121},
year = {2002},
url = {https://doi.org/10.1016/S0004-3702(02)00244-8},
doi = {10.1016/S0004-3702(02)00244-8},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LangLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/DarwicheM02,
author = {Adnan Darwiche and
Pierre Marquis},
title = {A Knowledge Compilation Map},
journal = {J. Artif. Intell. Res.},
volume = {17},
pages = {229--264},
year = {2002},
url = {https://doi.org/10.1613/jair.989},
doi = {10.1613/JAIR.989},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/DarwicheM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/KoniecznyM02,
author = {S{\'{e}}bastien Konieczny and
Pierre Marquis},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Three-Valued Logics for Inconsistency Handling},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {332--344},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_28},
doi = {10.1007/3-540-45757-7\_28},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/KoniecznyM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisM02,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Complexity Results for Paraconsistent Inference Relations},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {61--72},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KoniecznyLM02,
author = {S{\'{e}}bastien Konieczny and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Distance Based Merging: {A} General Framework and some Complexity
Results},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {97--108},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KoniecznyLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LangM02,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Resolving Inconsistencies by Variable Forgetting},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {239--250},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LangM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/DarwicheM02,
author = {Adnan Darwiche and
Pierre Marquis},
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {Compilation of propositional weighted bases},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {6--14},
year = {2002},
timestamp = {Fri, 02 Jul 2004 15:43:11 +0200},
biburl = {https://dblp.org/rec/conf/nmr/DarwicheM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0207045,
author = {Adnan Darwiche and
Pierre Marquis},
title = {Compilation of Propositional Weighted Bases},
journal = {CoRR},
volume = {cs.AI/0207045},
year = {2002},
url = {https://arxiv.org/abs/cs/0207045},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0207045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/MarquisP01,
author = {Pierre Marquis and
Nad{\`{e}}ge Porquet},
title = {Computational Aspects of Quasi-Classical Entailment},
journal = {J. Appl. Non Class. Logics},
volume = {11},
number = {3-4},
pages = {295--312},
year = {2001},
url = {https://doi.org/10.3166/jancl.11.295-312},
doi = {10.3166/JANCL.11.295-312},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jancl/MarquisP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Coste-MarquisM01,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
title = {Knowledge Compilation for Closed World Reasoning and Circumscription},
journal = {J. Log. Comput.},
volume = {11},
number = {4},
pages = {579--607},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.4.579},
doi = {10.1093/LOGCOM/11.4.579},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Coste-MarquisM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LangM01,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
title = {Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering
Actions},
journal = {Stud Logica},
volume = {67},
number = {2},
pages = {179--214},
year = {2001},
url = {https://doi.org/10.1023/A:1010595019595},
doi = {10.1023/A:1010595019595},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/LangM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/LangMW01,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis and
Mary{-}Anne Williams},
editor = {Markus Stumptner and
Dan Corbett and
Michael J. Brooks},
title = {Updating Epistemic States},
booktitle = {{AI} 2001: Advances in Artificial Intelligence, 14th Australian Joint
Conference on Artificial Intelligence, Adelaide, Australia, December
10-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2256},
pages = {297--308},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45656-2\_26},
doi = {10.1007/3-540-45656-2\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/LangMW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MarquisP01,
author = {Pierre Marquis and
Nad{\`{e}}ge Porquet},
editor = {Bernhard Nebel},
title = {Resource-bounded inference from inconsistent belief bases},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {103--108},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MarquisP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HerzigLMP01,
author = {Andreas Herzig and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis and
Thomas Polacsek},
editor = {Bernhard Nebel},
title = {Updates, actions, and planning},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {119--124},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Fri, 23 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HerzigLMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DarwicheM01,
author = {Adnan Darwiche and
Pierre Marquis},
editor = {Bernhard Nebel},
title = {A Perspective on Knowledge Compilation},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {175--182},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Fri, 23 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DarwicheM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Coste-MarquisM00,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
editor = {Werner Horn},
title = {Compiling Stratified Belief Bases},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {23--27},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Coste-MarquisM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FargierLM00,
author = {H{\'{e}}l{\`{e}}ne Fargier and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Propositional Logic and One-Stage Decision Making},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {445--456},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/FargierLM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LangM00,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {In search of the right extension},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {625--636},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Fri, 18 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LangM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BailleuxM99,
author = {Olivier Bailleux and
Pierre Marquis},
editor = {Jim Hendler and
Devika Subramanian},
title = {{DISTANCE-SAT:} Complexity and Algorithms},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {642--647},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-091.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BailleuxM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Coste-MarquisM99,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
editor = {Thomas Dean},
title = {Complexity Results for Propositional Closed World Reasoning and Circumscription
from Tractable Knowledge Bases},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {24--29},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/004.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Coste-MarquisM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LangM98,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Jack Mostow and
Chuck Rich},
title = {Two Forms of Dependence in Propositional Logic: Controllability and
Definability},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {268--273},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-037.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LangM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/BessantGMS98,
author = {Brigitte Bessant and
{\'{E}}ric Gr{\'{e}}goire and
Pierre Marquis and
Lakhdar Sais},
editor = {Fausto Giunchiglia},
title = {Combining Nonmonotonic Reasoning and Belief Revision: {A} Practical
Approach},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th
International Conference, {AIMSA} '98, Sozopol, Bulgaria, September
21-13, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1480},
pages = {115--128},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057439},
doi = {10.1007/BFB0057439},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/BessantGMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecml/LachicheM98,
author = {Nicolas Lachiche and
Pierre Marquis},
editor = {Claire Nedellec and
C{\'{e}}line Rouveirol},
title = {Scope Classification: An Instance-Based Learning Algorithm with a
Rule-Based Characterisation},
booktitle = {Machine Learning: ECML-98, 10th European Conference on Machine Learning,
Chemnitz, Germany, April 21-23, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1398},
pages = {268--279},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0026697},
doi = {10.1007/BFB0026697},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecml/LachicheM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LangM98,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {Complexity Results for Independence and Definability in Propositional
Logic},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {356--367},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/LangM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecml/LachicheM97,
author = {Nicolas Lachiche and
Pierre Marquis},
editor = {Maarten van Someren and
Gerhard Widmer},
title = {A Model for Generalization Based on Confirmatory Induction},
booktitle = {Machine Learning: ECML-97, 9th European Conference on Machine Learning,
Prague, Czech Republic, April 23-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1224},
pages = {154--161},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62858-4\_80},
doi = {10.1007/3-540-62858-4\_80},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecml/LachicheM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BoufkhadGMMS97,
author = {Yacine Boufkhad and
{\'{E}}ric Gr{\'{e}}goire and
Pierre Marquis and
Bertrand Mazure and
Lakhdar Sais},
title = {Tractable Cover Compilations},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {122--127},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/020.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BoufkhadGMMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GregoireM96,
author = {{\'{E}}ric Gr{\'{e}}goire and
Pierre Marquis},
title = {Novelty in Deductive Databases},
journal = {J. Log. Comput.},
volume = {6},
number = {5},
pages = {683--708},
year = {1996},
url = {https://doi.org/10.1093/logcom/6.5.683},
doi = {10.1093/LOGCOM/6.5.683},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GregoireM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MarquisS96,
author = {Pierre Marquis and
Samira Sadaoui},
editor = {William J. Clancey and
Daniel S. Weld},
title = {A New Algorithm for Computing Theory Prime Implicates Compilations},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
1},
pages = {504--509},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-075.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MarquisS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Marquis95,
author = {Pierre Marquis},
title = {Knowledge Compilation Using Theory Prime Implicates},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {837--845},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/108.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Marquis95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Marquis94,
author = {Pierre Marquis},
editor = {Anthony G. Cohn},
title = {Possible Models Approach via Independency},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {336--340},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Marquis94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BouzidCMH94,
author = {Maroua Bouzid and
Fran{\c{c}}ois Charpillet and
Pierre Marquis and
Jean Paul Haton},
title = {Assumption-Based Truth Maintenance in Precense of Temproal Assertions},
booktitle = {Sixth International Conference on Tools with Artificial Intelligence,
{ICTAI} '94, New Orleans, Louisiana, USA, November 6-9, 1994},
pages = {492--498},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/TAI.1994.346452},
doi = {10.1109/TAI.1994.346452},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BouzidCMH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/Marquis93,
author = {Pierre Marquis},
title = {Skeptical Abduction},
journal = {Int. J. Artif. Intell. Tools},
volume = {2},
number = {4},
pages = {511--540},
year = {1993},
url = {https://doi.org/10.1142/S0218213093000242},
doi = {10.1142/S0218213093000242},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/Marquis93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/AyebMR93,
author = {B{\'{e}}chir el Ayeb and
Pierre Marquis and
Micha{\"{e}}l Rusinowitch},
title = {Preferring diagnoses by abduction},
journal = {{IEEE} Trans. Syst. Man Cybern.},
volume = {23},
number = {3},
pages = {792--808},
year = {1993},
url = {https://doi.org/10.1109/21.256550},
doi = {10.1109/21.256550},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/AyebMR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Marquis93,
author = {Pierre Marquis},
title = {On Metatheoretic Properties of Logic-Based Abductive Inference},
booktitle = {Fifth International Conference on Tools with Artificial Intelligence,
{ICTAI} '93, Boston, Massachusetts, USA, November 8-11, 1993},
pages = {444--445},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/TAI.1993.633994},
doi = {10.1109/TAI.1993.633994},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/Marquis93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/Marquis92,
author = {Pierre Marquis},
editor = {Bernd Neumann},
title = {Building up Inductive Generalizations from Facts},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {446--450},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 08:44:58 +0200},
biburl = {https://dblp.org/rec/conf/ecai/Marquis92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BonneauCCBLM92,
author = {Anne Bonneau and
Fran{\c{c}}ois Charpillet and
Sylvie Coste and
Jean Paul Haton and
Yves Laprie and
Pierre Marquis},
editor = {Bernd Neumann},
title = {A Model for Hypothetical Reasoning Applied to Speech Recognition},
booktitle = {10th European Conference on Artificial Intelligence, {ECAI} 92, Vienna,
Austria, August 3-7, 1992. Proceedings},
pages = {553--557},
publisher = {John Wiley and Sons},
year = {1992},
timestamp = {Wed, 31 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BonneauCCBLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fair/Marquis91,
author = {Pierre Marquis},
editor = {Philippe Jorrand and
Jozef Kelemen},
title = {Extending abduction from propositional to first-order logic},
booktitle = {Fundamentals of Artificial Intelligence Research, International Workshop
{FAIR} '91, Smolenice, Czechoslovakia, September 8-13, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {535},
pages = {141--155},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54507-7\_12},
doi = {10.1007/3-540-54507-7\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/fair/Marquis91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/Marquis91,
author = {Pierre Marquis},
title = {Mechanizing skeptical abduction and its applications to artificial
intelligence},
booktitle = {Third International Conference on Tools for Artificial Intelligence,
{TAI} '91, San Jose, CA, USA, November 10-13, 1991},
pages = {300--307},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/TAI.1991.167108},
doi = {10.1109/TAI.1991.167108},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/Marquis91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/Marquis91,
author = {Pierre Marquis},
editor = {Zbigniew W. Ras and
Maria Zemankova},
title = {Novelty Revisited},
booktitle = {Methodologies for Intelligent Systems, 6th International Symposium,
{ISMIS} '91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {542},
pages = {550--559},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54563-8\_118},
doi = {10.1007/3-540-54563-8\_118},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/Marquis91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AyebMR90,
author = {B{\'{e}}chir el Ayeb and
Pierre Marquis and
Micha{\"{e}}l Rusinowitch},
title = {Deductive/Abductvie Diagnosis: The DA-Principles},
booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm,
Sweden, 1990},
pages = {47--52},
year = {1990},
timestamp = {Tue, 30 Jul 2019 13:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AyebMR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ese/AyebMR90,
author = {B{\'{e}}chir el Ayeb and
Pierre Marquis and
Micha{\"{e}}l Rusinowitch},
editor = {Georg Gottlob and
Wolfgang Nejdl},
title = {A New Diagnosis Approach by Deduction and Abduction},
booktitle = {Expert Systems in Engineering, Principles and Applications, International
Workshop, Vienna, Austria, September 24-26, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {462},
pages = {32--46},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53104-1\_29},
doi = {10.1007/3-540-53104-1\_29},
timestamp = {Sat, 09 Apr 2022 12:45:45 +0200},
biburl = {https://dblp.org/rec/conf/ese/AyebMR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-06-03 21:17 CEST 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:
