Pierre Marquis - Professor
Personal Data
- 03 21 79 17 86
- marquis@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~marquis
- https://orcid.org/0000-0002-7979-6608
- idHalpierre-marquis
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Degree prepared or obtained while being at CRIL
Research Axes
- Knowledge
- Constraints
- Data
-
Recent Projects
- ANR CHAIRE IA EXPEKCTATION 2020-2025
- ANR PRC PING/ACK 2019-2023
- ANR PRC THEMIS 2021-2025
- CNRS IRP MAKC 2020-2024
- H2020 TAILOR 2020-2024
- PIA4 MAIA 2022-2031
Software
- B+E - Improving Model Counting by Leveraging Definability
- Belief Revision Games
- bn2cnf translator
- Compilation of a CNF belief revision instance into CNF formula
- Compilation of a CNF belief revision instance into CNF formula
- Compilation of a CNF merging instance into CNF formula
- Compiling constraint networks (CN) into multivalued decomposable decision graphs (MDDG)
- d4
- Generation of a time-table and translation into a CNF merging instance
- Personalised Museum Visits
- Preprocessing for Propositional Model Counting
- PyXAI - Python eXplainable AI
- The Compile! Project
Publications
International journals
2023 Knowledge Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin, Some thoughts about artificial stupidity and artificial dumbness in AI Communications,vol. 2023, n° pre-press, pp. 1--15, 2023.
2022 Explainable AI Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, On the Explanatory Power of Boolean Decision Trees in Data and Knowledge Engineering,vol. 142, pp. 102088, 2022.
2021 Knowledge Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis, On the computation of probabilistic coalition structures in Autonomous Agents and Multi-Agent Systems,vol. 35, n° 1, 2021.
2021 Knowledge Adnan Darwiche, Pierre Marquis, On Quantifying Literals in Boolean Logic and its Applications to Explainable AI in Journal of Artificial Intelligence Research,vol. 72, pp. 285-328, 2021.
2020 Constraints Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Definability for model counting in Artificial Intelligence,vol. 281, pp. 103229, 2020.
2018 Knowledge Nicolas Schwind, Sébastien Konieczny, Pierre Marquis, Belief base rationalization for propositional merging in Journal of Logic and Computation,vol. 28, n° 7, pp. 1601-1634, 2018.
2017 Jean-Marie Lagniez, Pierre Marquis, On Preprocessing Techniques and Their Impact on Propositional Model Counting in Journal of Automated Reasoning (JAR),vol. 58, n° 4, pp. 413-481, 2017.
2014 Hélène Fargier, Pierre Marquis, Disjunctive closures for knowledge compilation in Artificial Intelligence,vol. 216, pp. 129-162, 2014.
2014 Pierre Marquis, Nicolas Schwind, Lost in translation: Language independence in propositional logic - application to belief change in Artificial Intelligence,vol. 206, pp. 1-24, 2014.
2013 Andreas Herzig, Jérôme Lang, Pierre Marquis, Propositional update operators based on formula/literal dependence in ACM Transactions on Computational Logic,vol. 14, n° 3, pp. 1-31, 2013.
2010 Jérôme Lang, Pierre Marquis, Reasoning under Inconsistency: A Forgetting-Based Approach in Artificial Intelligence,vol. 174, n° 12-13, pp. 799-823, 2010.
2009 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Handling Controversial Arguments in Journal of Applied Non-Classical Logics,vol. 19, n° 3, pp. 311-369, 2009.
2009 Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis, Introspective Forgetting in Synthese,vol. 169, pp. 405-423, 2009.
2009 Pierre Marquis, Meltem Öztürk, Representing Interval Orders by Weighted Bases: some Complexity Results in Mathematical Social Sciences,vol. 5, n° 3, pp. 367-388, 2009.
2008 Philippe Besnard, Sébastien Konieczny, Pierre Marquis, Bipolarity in Billatice Logics in International Journal of Intelligent Systems (IJIS),vol. 23, n° 10, pp. 1046-1061, 2008.
2008 Jérôme Lang, Pierre Marquis, On Propositional Definability in Artificial Intelligence Journal(AIJ),vol. 172, pp. 991-1017, 2008.
2006 Olivier Bailleux, Pierre Marquis, Some Computational Aspects of DISTANCE-SAT in Journal of Automated Reasoning (JAR),vol. 37, n° 4, pp. 231-260, 2006.
2004 Sylvie Coste-Marquis, Pierre Marquis, On Stratified Belief Base Compilation in Annals of Mathematics and Artificial Intelligence,vol. 42, n° 4, pp. 399-442, 2004.
2004 Adnan Darwiche, Pierre Marquis, Compiling Propositional Weighted Bases in Artificial Intelligence,vol. 157, n° 1-2, pp. 81-113, 2004.
2003 Pierre Marquis, Nadège Porquet, Resource-Bounded Paraconsistent Inference in Annals of Mathematics and Artificial Intelligence,vol. 39, n° 4, pp. 349-384, 2003.
2003 J. Lang, P. Liberatore, Pierre Marquis, Propositional Independence - Formula-Variable Independence and Forgetting in Journal of Artificial Intelligence Research,vol. 18, pp. 391--443, 2003.
2002 Adnan Darwiche, Pierre Marquis, A Knowledge Compilation Map in Journal of Artificial Intelligence Research,vol. 17, pp. 229-264, 2002.
2002 J. Lang, P. Liberatore, Pierre Marquis, Conditional Independence in Propositional Logic in Artificial Intelligence,vol. 141, n° 1-2, pp. 75-121, 2002.
2002 Jérôme Amilhastre, Hélène Fargier, Pierre Marquis, Consistency restoration and explanations in dynamic CSPs-Application to configuration in Artificial Intelligence,vol. 135, n° 1-2, pp. 199--234, 2002.
2002 Jérôme Amilhastre, Hélène Fargier, Pierre Marquis, Consistency Restoration and Explanations in Dynamic CSPs - Application to Configuration in Artificial Intelligence,vol. 135, n° 1-2, pp. 199--234, 2002.
2001 J. Lang, Pierre Marquis, Removing Inconsistencies in Assumption-Based Theories through Knowledge-Gathering Actions in Studia Logica,vol. 67, n° 2, pp. 179-214, 2001.
2001 Pierre Marquis, Nadège Porquet, Computational Aspects of Quasi-Classical Entailment in Journal of Applied Non-Classical Logics,vol. 11, n° 3-4, pp. 295-312, 2001.
2001 Sylvie Coste-Marquis, Pierre Marquis, Knowledge Compilation for Circumscription and Closed-World Reasoning in Journ. of Logic and Computation,vol. 11, n° 4, pp. 579-607, 2001.
1996 Éric Grégoire, Pierre Marquis, Novelty in Deductive Databases in Journal of logic and computation,vol. 6, n° 5, pp. 683-708, 1996.
1993 Pierre Marquis, Skeptical Abduction in International Journal on Artificial Intelligence Tools (IJAIT),vol. 2, n° 4, pp. 511-540, 1993.
1993 B. El Ayeb, Pierre Marquis, M. Rusinowitch, Preferring Diagnoses by Abduction in IEEE transactions on systems, man, and cybernetics,vol. 23, n° 3, pp. 729-808, 1993.
International conferences
2024 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, PyXAI: An XAI Library for Tree-Based Models in The 33rd International Joint Conference on Artificial Intelligence,pp. 8601-8605, 2024.
2024 Constraints Jean-Marie Lagniez, Pierre Marquis, Armin Biere, Dynamic Blocked Clause Elimination for Projected Model Counting in The 27th International Conference on Theory and Applications of Satisfiability Testing,Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024.
2024 Knowledge Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis, BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change in The 38th AAAI Conference on Artificial Intelligence,vol. 38, pp. 10696-10704, 2024.
2024 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories in The 33rd International Joint Conference on Artificial Intelligence,pp. 3688-3696, 2024.
2024 Explainable AI Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski, Designing an XAI Interface for Tree-Based ML Models in The 27th European Conference on Artificial Intelligence,2024.
2024 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, On the Computation of Contrastive Explanations for Boosted Regression Trees in The 27th European Conference on Artificial Intelligence,2024.
2024 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, On the Computation of Example-Based Abductive Explanations for Random Forests in The 33rd International Joint Conference on Artificial Intelligence,pp. 3679-3687, 2024.
2023 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, On Contrastive Explanations for Tree-Based Classifiers in The 26th European Conference on Artificial Intelligence (ECAI'23),IOS Press, 2023.
2023 Explainable AI Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, Computing Abductive Explanations for Boosted Trees in 26th International Conference on Artificial Intelligence and Statistics (AISTATS 2023),vol. 206, 2023.
2023 Explainable AI Alexis de Colnet, Pierre Marquis, On Translations between ML Models for XAI Purposes in Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23},International Joint Conferences on Artificial Intelligence Organization, pp. 3158-3166, 2023.
2023 Explainable AI Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis, Computing Abductive Explanations for Boosted Regression Trees in Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23},International Joint Conferences on Artificial Intelligence Organization, pp. 3432-3441, 2023.
2023 Knowledge Nicolas Schwind, Katsumi Inoue, Pierre Marquis, Editing Boolean Classifiers: A Belief Change Perspective in The 37th AAAI Conference on Artificial Intelligence,Association for the Advancement of Artificial Intelligence, vol. 37, pp. 6516-6524, 2023.
2023 Knowledge Sylvie Coste-Marquis, Pierre Marquis, Rectifying Binary Classifiers in The 26th European Conference on Artificial Intelligence (ECAI'23),IOS Press, 2023.
2023 Constraints Jean-Marie Lagniez, Pierre Marquis, Boosting Definability Bipartition Computation Using SAT Witnesses in The 18th European Conference on Logics in Artificial Intelligence (JELIA'23),Springer Nature Switzerland, vol. 14281, pp. 697-711, 2023.
2022 Constraints Alexis de Colnet, Pierre Marquis, On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits in Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22},International Joint Conferences on Artificial Intelligence Organization, pp. 2583-2590, 2022.
2022 Knowledge Adnan Darwiche, Pierre Marquis, On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract) in Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22},International Joint Conferences on Artificial Intelligence Organization, pp. 5718-5721, 2022.
2022 Explainable AI Gilles Audemard, Steve Bellart, Louenas Bounia, Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis, On Preferred Abductive Explanations for Decision Trees and Random Forests in Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22},International Joint Conferences on Artificial Intelligence Organization, pp. 643-650, 2022.
2022 Explainable AI Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Trading Complexity for Sparsity in Random Forest Explanations in AAAI Conference on Artificial Intelligence,2022.
2021 Knowledge Anis Gargouri, Sébastien Konieczny, Pierre Marquis, Srdjan Vesic, On a Notion of Monotonic Support for Bipolar Argumentation Frameworks in 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS),2021.
2021 AI at the service of... Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, On the Computational Intelligibility of Boolean Classifiers in 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021},International Joint Conferences on Artificial Intelligence Organization, pp. 74-86, 2021.
2021 Constraints Florent Capelli, Jean-Marie Lagniez, Pierre Marquis, Certifying Top-Down Decision-DNNF Compilers in AAAI 2021 - 35th Conference on Artificial Intelligence,2021.
2021 Knowledge Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Belief Merging Operators as Maximum Likelihood Estimators in 29th International Joint Conferences on Artificial Intelligence and of the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI’20),2021.
2021 Knowledge Sylvie Coste-Marquis, Pierre Marquis, On Belief Change for Multi-Label Classifier Encodings in Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21},International Joint Conferences on Artificial Intelligence Organization, pp. 1829-1836, 2021.
2020 Knowledge Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis, On Computational Aspects of Iterated Belief Change in Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20},International Joint Conferences on Artificial Intelligence Organization, pp. 1770-1776, 2020.
2020 Constraints Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail, Consolidating Modal Knowledge Bases in 24th European Conference on Artificial Intelligence (ECAI'20),2020.
2020 Explainable AI Gilles Audemard, Frédéric Koriche, Pierre Marquis, On Tractable XAI Queries based on Compiled Representations in 17th International Conference on Principles of Knowledge Representation and Reasoning (KR'20),2020.
2020 Constraints Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, On Irrelevant Literals in Pseudo-Boolean Constraint Learning in 29th International Joint Conference on Artificial Intelligence (IJCAI'20),International Joint Conferences on Artificial Intelligence Organization, pp. 1148-1154, 2020.
2020 Constraints Daniel Le Berre, Pierre Marquis, Romain Wallon, On Weakening Strategies for PB Solvers in 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20),pp. 322-331, 2020.
2019 Constraints Jean-Marie Lagniez, Pierre Marquis, A Recursive Algorithm for Projected Model Counting in 33rd AAAI Conference on Artificial Intelligence (AAAI'19),2019.
2019 Knowledge Sébastien Konieczny, Pierre Marquis, Srdjan Vesic, Rational Inference Relations from Maximal Consistent Subsets Selection in Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19},pp. 1749-1755, 2019.
2019 Knowledge Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis, What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario in 28th International Joint Conference on Artificial Intelligence {IJCAI-19},International Joint Conferences on Artificial Intelligence Organization, pp. 1865-1871, 2019.
2018 Knowledge Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis, Robust Coalition Structure Generation in 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA'18),pp. 140-157, 2018.
2018 Knowledge Sébastien Konieczny, Pierre Marquis, Srdjan Vesic, New Inference Relations from Maximal Consistent Subsets in International Conference on Principles of Knowledge Representation and Reasoning (KR 2018),2018.
2018 Knowledge Nicolas Schwind, Sébastien Konieczny, Pierre Marquis, On Belief Promotion in Sixteenth International Conference on Principles Of Knowledge Representation And Reasoning (KR'18),2018.
2018 Constraints Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, DMC: A Distributed Model Counter in 27th International Joint Conference on Artificial Intelligence (IJCAI'18),pp. 1331-1338, 2018.
2018 Knowledge Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis, Probabilistic Coalition Structure Generation in 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18),AAAI Press, pp. 663-664, 2018.
2018 Knowledge Nicolas Schwind, Pierre Marquis, On Consensus in Belief Merging in 32nd AAAI Conference on Artificial Intelligence (AAAI'18),pp. 1949-1956, 2018.
2018 Constraints Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, Pseudo-Boolean Constraints from a Knowledge Representation Perspective in 27th International Joint Conference on Artificial Intelligence (IJCAI'18),International Joint Conferences on Artificial Intelligence Organization, pp. 1891-1897, 2018.
2017 Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou, Defining and Evaluating Heuristics for the Compilation of Constraint Networks in 23rd International Conference on Principles and Practice of Constraint Programming (CP'17),Springer, pp. 172-188, 2017.
2017 Jean-Marie Lagniez, Pierre Marquis, An Improved Decision-DNNF Compiler in 26th International Joint Conference on Artificial Intelligence (IJCAI'17),pp. 667-673, 2017.
2016 Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Fixed-Parameter Tractable Optimization under DNNF Constraints in 22nd European Conference on Artificial Intelligence (ECAI'16),pp. 1194-1202, 2016.
2016 Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt, A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams in 28th Conference on Artificial Intelligence (AAAI 2014),AAAI Press, pp. 1049--1055, 2016.
2016 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Improving Model Counting by Leveraging Definability in 25th International Joint Conference on Artificial Intelligence (IJCAI'16),pp. 751-757, 2016.
2016 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, An Improved CNF Encoding Scheme for Probabilistic Inference in 22nd European Conference on Artificial Intelligence (ECAI'16),pp. 613-621, 2016.
2016 Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis, Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents? in Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016,pp. 1237-1243, 2016.
2015 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Belief Merging versus Judgment Aggregation in AAMAS15,pp. 999-1007, 2015.
2015 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Extension Enforcement in Abstract Argumentation as an Optimization Problem in 24th International Joint Conference on Artificial Intelligence (IJCAI'15),AAAI Press, pp. 2876-2882, 2015.
2015 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Compiling Constraint Networks into Multivalued Decomposable Decision Graphs in 24th International Joint Conference on Artificial Intelligence (IJCAI'15),pp. 332-338, 2015.
2015 Pierre Marquis, Compile! in 29th AAAI Conference on Artificial Intelligence (AAAI'15),pp. 4112-4118, 2015.
2015 Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis, How to Form a Task-Oriented Robust Team in 14th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'15),pp. 395-403, 2015.
2015 Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis, Belief Revision Games in Twenty-Ninth AAAI Conference on Artificial Intelligence,vol. 29, 2015.
2014 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Symmetry-Driven Decision Diagrams for Knowledge Compilation in 21st European Conference on Artificial Intelligence (ECAI'14),pp. 51-56, 2014.
2014 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, On Egalitarian Belief Merging in Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR'14),pp. 121-130, 2014.
2014 Pierre Marquis, Odile Papini, Henri Prade, Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries in 21st European Conference on Artificial Intelligence (ECAI 2014),vol. 263: ECAI 2014, pp. 609-614, 2014.
2014 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, A Translation-based Approach for Revision of Argumentation Frameworks in 14th European Conference on Logics in Artificial Intelligence (JELIA'14),pp. 397-411, 2014.
2014 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses in 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14),pp. 52-61, 2014.
2014 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Counting Votes for Aggregating Judgments in AAMAS 2014,IFAAMAS/ACM, pp. 8, 2014.
2014 Jean-Marie Lagniez, Pierre Marquis, Preprocessing for Propositional Model Counting in 28th AAAI Conference on Artificial Intelligence (AAAI'14),pp. 2688-2694, 2014.
2013 Daniel Le Berre, Pierre Marquis, Stéphanie Roussel, Planning Personalised Museum Visits in 23rd International Conference on Automated Planning and Scheduling (ICAPS'13),AAAI Press, pp. 380-388, 2013.
2013 Hélène Fargier, Pierre Marquis, Alexandre Niveau, Towards a Knowledge Compilation Map for Heterogeneous Representation Language in 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013),AAAI Press: International Joint Conferences on Artificial Intelligence, pp. 877-883, 2013.
2013 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Knowledge Compilation for Model Counting: Affine Decision Trees in 23rd International Joint Conference on Artificial Intelligence (IJCAI'13),pp. 947-953, 2013.
2013 Hélène Fargier, Pierre Marquis, Nicolas Schmidt, Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues in 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013),AAAI Press: International Joint Conferences on Artificial Intelligence, pp. 884-890, 2013.
2013 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, On the Revision of Argumentation Systems: Minimal Change of Arguments Status in 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13),2013.
2012 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Compositional belief merging in KR'2012 -- Roma (Italy) -- 10-14 June 2012,pp. 603-607, 2012.
2012 Paul E. Dunne, Pierre Marquis, Michael Wooldridge, Argument Aggregation: Basic Axioms and Complexity Results in 4th International Conference on Computational Models of Argument (COMMA'12),IOS Press, vol. 245, pp. 129-140, 2012.
2012 Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis, On Unit-Refutation Complete Formulae with Existentially Quantified Variables in 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12),pp. 75-84, 2012.
2012 Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand~akli Ouali, Weighted attacks in argumentation frameworks in 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12),pp. 593-597, 2012.
2012 Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand~akli Ouali, Selecting Extensions in Weighted Argumentation Frameworks in 4th International Conference on Computational Models of Argument (COMMA'12),IOS Press, vol. 245, pp. 342-349, 2012.
2011 Sébastien Konieczny, Pierre Marquis, Nicolas Schwind, Belief Base Rationalization for Propositional Merging in 22nd International Joint Conference on Artificial Intelligence (IJCAI'11),pp. 951-956, 2011.
2011 Pierre Marquis, Nicolas Schwind, Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging in 22nd International Joint Conference on Artificial Intelligence (IJCAI'11),pp. 1002-1007, 2011.
2011 Pierre Marquis, Existential Closures for Knowledge Compilation in 22nd International Joint Conference on Artificial Intelligence (IJCAI'11),pp. 996-1001, 2011.
2010 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Majority Merging: From Boolean Spaces to Affine Spaces in 19th European Conference on Artificial Intelligence (ECAI'10),pp. 627-632, 2010.
2010 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, The epistemic view of belief merging: can we track the truth? in ECAI'2010 -- Lisbon (Portugal) -- August 16-20, 2010,pp. 621-626, 2010.
2010 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, A Syntactical Approach to Qualitative Constraint Networks Merging in LPAR: Logic for Programming, Artificial Intelligence and Reasoning,Springer, vol. LNCS, pp. 233-247, 2010.
2010 Meghyn Bienvenu, Hélène Fargier, Pierre Marquis, Knowledge Compilation in the Modal Logic S5 in Twenty-Fifth Conference on Artificial Intelligence (AAAI-10),pp. 261-266, 2010.
2010 Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis, A Characterization of Optimality Criteria for Decision Making under Complete Ignorance in 12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10),pp. 172-181, 2010.
2010 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, e Epistemic View of Belief Merging: Can We Track the Truth? in 19th European Conference on Artificial Intelligence (ECAI'10),pp. 621-626, 2010.
2009 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Merging Qualitative Constraints Networks Defined on Different Qualitative Formalisms in Conference on Spatial Information Theory (COSIT),pp. 106-123, 2009.
2009 Daniel Le Berre, Pierre Marquis, Meltem Öztürk, Aggregating Interval Orders by Propositional Optimization in 1st International Conference on Algorithmic Decision Theory (ADT'09),Springer, vol. 5783, pp. 249-260, 2009.
2009 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Merging Qualitative Constraint Networks in a Piecewise Fashion in ICTAI: International Conference on Tools with Artificial Intelligence,IEEE, pp. 605-608, 2009.
2009 Hélène Fargier, Pierre Marquis, Knowledge Compilation Properties of Trees-of-BDDs, Revisited in 21st International Joint Conference on Artificial Intelligence (IJCAI 2009),IJCAI Organization, pp. 772-777, 2009.
2009 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Merging Qualitative Constraints Networks Using Propositional Logic in 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09),Springer, vol. 5590, pp. 347-358, 2009.
2009 Hélène Fargier, Pierre Marquis, Knowledge Compilation Properties of Trees-of-BDDs, Revisited in 21st International Joint Conference on Artificial Intelligence (IJCAI 2009),International Joint Conference on Artificial Intelligence (IJCAI), pp. 772--777, 2009.
2009 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Fusion de réseaux de contraintes qualitatives par morceaux in Cinquièmes Journées Francophones de Programmation par Contraintes,pp. 135-145, 2009.
2008 Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis, A Characterization of an Optimality Criterion for Decision Making under Complete Ignorance in 12th International Workshop on Non-Monotonic Reasoning (NMR'08),pp. 268-274, 2008.
2008 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, A diff-Based Merging Operator in Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08),University of New South Wales, School of Computer Science and Engineering, pp. 19-25, 2008.
2008 Hélène Fargier, Pierre Marquis, Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond in 23th AAAI Conference on Artificial Intelligence (AAAI 2008),AAAI Press, vol. 2, pp. 442-447, 2008.
2008 Hélène Fargier, Pierre Marquis, Extending the Knowledge Compilation Map: Closure Principles in 18th European Conference on Artificial Intelligence (ECAI 2008),IOS Press, vol. 178: ECAI 2008, pp. 50--54, 2008.
2008 Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis, A model for multiple outcomes games in 20th IEEE International Conference on Tools with Artificial Intelligence(ICTAI'08),pp. 27-34, vol1, 2008.
2008 Sylvie Coste-Marquis, Pierre Marquis, Recovering Consistency by Forgetting Inconsistency in 11th European Conference on Logics in Artificial Intelligence (JELIA'08),Springer, vol. 5293, pp. 113-125, 2008.
2008 Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis, A Characterization of an Optimality Criterion for Decision Making under Complete Ignorance in A Characterization of an Optimality Criterion for Decision Making under Complete Ignorance,2008.
2008 Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis, Introspective Forgetting in 21st Australasian Joint Conference on Artificial Intelligence (AI 2008),Springer-Verlag, vol. 5360, pp. 18-29, 2008.
2008 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Conflict-Based Merging Operators in Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08),AAAI Press, pp. 348--357, 2008.
2008 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Propositional merging operators based on set-theoretic closeness in Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08),IOS Press, pp. 737--738, 2008.
2008 Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis, Qualitative multiple outcomes games with consensus in Third World Congress of the Game Theory Society (GAME'08),2008.
2007 Hélène Fargier, Pierre Marquis, On Valued Negation Normal Form Formulas in 20th International Joint Conference on Artificial Intelligence (IJCAI 2007),Morgan Kaufmann Publishers, pp. 360--365, 2007.
2006 Zied Loukil, Pierre Marquis, Vincent Vidal, Improvement of an optimal temporal planner by giving it the ability to manage resources in 21st European Conference on Operational Research (EURO'06),2006.
2006 Hélène Fargier, Pierre Marquis, On the Use of Partially Ordered Decision Graphs for Knowledge Compilation and Quantified Boolean Formulae in 21st National Conference on Artificial Intelligence (AAAI 2006),vol. 1, pp. 42-47, 2006.
2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Inference from controversial arguments in 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'05),LNCS 3835,Springer Verlag, pp. 606-620, 2005.
2005 Andreas Herzig, Jérôme Lang, Pierre Marquis, Action progression and revision in multiagent belief structures in 6th Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC 2005) @ IJCAI 2005,2005.
2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Prudent Semantics for Argumentation Frameworks in 17th IEEE International Conference on Tools with Artificial Intelligence(ICTAI'05),pp. 368-372, 2005.
2004 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, On Merging Strategy-Proofness in Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR-04),pp. 357-367, 2004.
2004 Sylvie Coste-Marquis, Pierre Marquis, A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning in Proceedings of the 16th European Conference on Artificial Intelligence (ECAI'04),pp. 803--807, 2004.
2004 Andreas Herzig, Jérôme Lang, Pierre Marquis, Revision and update in multiagent belief structures in 6th Conference on Logic and the Foundations of Game and Decision Theory (LOFT6 2004),pp. 1-10, 2004.
2004 Sylvie Coste-Marquis, J. Lang, P. Liberatore, Pierre Marquis, Expressive power and succinctness of propositional languages for preference representation in Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-04),pp. 203-212, 2004.
2003 J. Lang, F. Lin, Pierre Marquis, Causal theories of action: a computational core in Proc. of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03),pp. 1073-1078, 2003.
2003 Sébastien Konieczny, J. Lang, Pierre Marquis, Measures of contradiction and information in propositional bases in Proceedings of the 3rd World Congres on Paraconsistency (WCP-03),2003.
2003 Andreas Herzig, Jérôme Lang, Pierre Marquis, Action representation and partially observable planning using epistemic logic in 18th International Joint Conference on Artificial Intelligence (IJCAI 2003),Morgan Kaufmann Publishers Inc., pp. 1067-1072, 2003.
2003 Sébastien Konieczny, J. Lang, Pierre Marquis, Quantifying information and contradiction in propositional logic through test actions in Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03),pp. 106 - 111, 2003.
2002 Sylvie Coste-Marquis, Pierre Marquis, Complexity results for paraconsistent inference relations in Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR-02),Morgan Kaufmann Publishers, Inc., pp. 61-72, 2002.
2002 Sébastien Konieczny, Pierre Marquis, Three-valued logics for inconsistency handling in Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA-02),LNAI 2424, Springer Verlag, pp. 332-344, 2002.
2002 Sébastien Konieczny, J. Lang, Pierre Marquis, Distance-based merging: a general framework and some complexity results in Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR-02),pp. 97-108, 2002.
2002 J. Lang, Pierre Marquis, Resolving inconsistencies by variable forgetting in Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR-02),Morgan Kaufmann Publishers, Inc., pp. 239-250, 2002.
2001 J. Lang, Pierre Marquis, Mary-Anne Williams, Updating epistemic states in Proc. of the 14th Australian Joint Conference on Artificial Intelligence (AI-01),pp. 297-308, 2001.
2001 Andreas Herzig, Jérôme Lang, Pierre Marquis, Planning as abduction in Workshop on Planning under Uncertainty @ IJCAI 2001,2001.
2001 Pierre Marquis, Nadège Porquet, Resource-bounded inference from inconsistent belief bases in Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI'01),Morgan Kaufmann Publishers, Inc., vol. 1, pp. 103-108, 2001.
2001 Andreas Herzig, Jérôme Lang, Pierre Marquis, Polacsek Thomas, Updates, actions and planning in 17th International Joint Conference on Artificial Intelligence (IJCAI 2001),Morgan Kaufmann Publishers, vol. 1, pp. 119-124, 2001.
2001 Adnan Darwiche, Pierre Marquis, A perspective on knowledge compilation in Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01),Morgan Kaufmann Publishers, Inc., vol. 1, pp. 175-182, 2001.
2000 Pierre Marquis, Nadège Porquet, Decomposing Propositional Knowledge Bases through Topics (extended abstract) in Proc. of the Meeting on Partial Knowledge and Uncertainty : Independence, Conditioning, Inference,2000.
2000 Sylvie Coste-Marquis, Pierre Marquis, Compiling Stratified Belief Bases in Proc. of the Seventeenth European Conf. on Artificial Intelligence (ECAI-00),pp. 23-27, 2000.
2000 Jérôme Amilhastre, Hélène Fargier, Pierre Marquis, Consistency restoration and explanations in dynamic CSP- application to configuration (In Notes of the ECAI-2000 Workshop on modelling and solving problems with constraints) in Workshop on modelling and solving problems with constraints @ ECAI 2000: 14th European Conference on Artificial Intelligence,2000.
2000 Hélène Fargier, Jérôme Amilhastre, Pierre Marquis, Explications et aide à la restauration de la cohérence dans les CSP interactifs : application à la configuration in 6èmes Journées Nationales sur la résolution pratique de problèmes NP-complets (JNPC 2000),pp. 43--56, 2000.
2000 J. Lang, Pierre Marquis, In Search of the Right Extension in Proc. of the Seventh Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR-00),Morgan Kaufmann, pp. 625-636, 2000.
2000 Hélène Fargier, Jérôme Lang, Pierre Marquis, Propositional Logic and One-Stage Decision Making in 7th International Conference on Principles of Knowledge Representation and Reasoning (KR 2000),Morgan Kaufmann, pp. 445-456, 2000.
1999 Sylvie Coste-Marquis, Pierre Marquis, Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases in Proc. of Sixteenth Intl. Joint Conf. on Artificial Intelligence (IJCAI-99),pp. 24-29, 1999.
1998 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Saïs, Combining nonmonotonic reasoning and belief revision: a practical approach in Proc. 8th Intl. Conf. on Artificial Intelligence Methodology, Systems, Applications (AIMSA-98),LNCS 1480, Springer Verlag, pp. 115-128, 1998.
1998 Sylvie Coste-Marquis, Pierre Marquis, Characterizing Consistency-Based Diagnoses in Proc. of the Fifth Intl. Symp. on Artificial Intelligence and Mathematics (AI&Math-98),1998.
1998 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Saïs, Syntax-based belief revision through local search in Proceedings of the International Workshop on Belief Revision,1998.
1997 Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Saïs, Tractable cover compilations in Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI-97),pp. 122-127, 1997.
National journals
2014 Hélène Fargier, Pierre Marquis, Nicolas Schmidt, Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations in Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle,vol. 28, n° 5, pp. 571-592, 2014.
2012 Jérôme Lang, Pierre Marquis, Introduction in Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle,vol. 26, n° 1-2, 2012.
2010 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Disjunctive Merging: Quota and Gmin Merging Operators in Artificial Intelligence,2010.
National conferences
2023 Gilles Audemard, Steve Bellart, Louenas Bounia, Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis, Sur les explications abductives préférées pour les arbres de décision et les forêts aléatoires in Extraction et Gestion des Connaissances, EGC,vol. RNTI-E-39, 2023.
2023 Gilles Audemard, Steve Bellart, Louenas Bounia, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski, PyXAI : calculer en Python des explications pour des modèles d'apprentissage supervisé in Extraction et Gestion des Connaissances, EGC,vol. RNTI-E-39, 2023.
2022 Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin, Quelques réflexions autour de la notion de bêtise artificielle in 16èmes Journées d’Intelligence Artificielle Fondamentale (Plate-Forme Intelligence Artificielle) (JIAF 2022),pp. 1-11, 2022.
2022 Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Les raisons majoritaires : des explications abductives pour les forêts aléatoires in 22ème Conférence francophone sur l'Extraction et Gestion des Connaissances (EGC 2022),Editions RNTI, pp. 123-134, 2022.
2022 Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Sur le pouvoir explicatif des arbres de décision in Extraction et Gestion des Connaissances, EGC,Editions RNTI, vol. E-38, pp. 147-158, 2022.
2019 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, De la pertinence des littéraux dans les contraintes pseudo-booléennes apprises in 15es Journées Francophones de Programmation par Contraintes (JFPC’19),pp. 43-52, 2019.
2016 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Un schéma d'encodage propositionnel pour l'inférence probabiliste à partir de modèles graphiques in 10èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'16),2016.
2016 Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Complexité paramétrée de l'optimisation sous contrainte DNNF in 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16),2016.
2016 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Exploiter les définitions pour le comptage de modèles in 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16),2016.
2016 Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis, On Opinion Control in Belief Revision Games in 30th Annual Conference of the Japan Society of Artificial Intelligence (JSAI'16),2016.
2015 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Forçage d'extension en argumentation abstraite par optimisation booléenne in 9èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'15),pp. 45-54, 2015.
2015 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Compilation de réseaux de contraintes en graphes de décision décomposables multivalués in 11èmes Journées Francophones de Programmation par Contraintes (JFPC'15),2015.
2014 Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt, Carte de compilation des diagrammes de décision ordonnés a valeurs réelles in 8èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2014),pp. 1--11, 2014.
2014 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Approche par traduction pour la révision de systèmes d'argumentation in 8èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'14),pp. 77-85, 2014.
2013 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Correspondances d'agrégation de jugements basées sur le nombre de votes in 7èmes journées francophones sur les Modèles Formels de l'Interaction (MFI'13),2013.
2013 Hélène Fargier, Pierre Marquis, Nicolas Schmidt, Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations in Neuvièmes Journées Francophones de Programmation par Contraintes (JFPC 2013),pp. pp. 123-132, 2013.
2013 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Révision de systèmes d'argumentation : changement minimal du statut des arguments in 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13),pp. 107-116, 2013.
2013 Thomas Caridroit, Sébastien Konieczny, Pierre Marquis, Contraction en logique propositionnelle finie in 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13),2013.
2013 Hélène Fargier, Pierre Marquis, Alexandre Niveau, Vers une carte de compilation pour des langages de représentation hétérogènes in 7èmes Journées françaises d'intelligence artificielle fondamentale (JIAF 2013),pp. 145-154, 2013.
2013 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Arbres de décision affine pour le comptage de modèles in 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13),2013.
2013 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Sur la fusion de croyances égalitaire in 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13),2013.
2012 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Anne Parrain, Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles in Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012,2012.
2012 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Anne Parrain, Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de Tchebycheff in RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle),pp. 978-2-9539515-2-3, 2012.
2011 Pierre Marquis, Nicolas Schwind, Lost in translation: sur l'indépendance au langage en logique propositionnelle - application à la révision et la fusion de croyances in 6ièmes journées francophones sur les Modèles Formels de l'Interaction (MFI'11),2011.
2011 Sébastien Konieczny, Pierre Marquis, Nicolas Schwind, Rationalisation de bases de croyances pour la fusion en logique propositionnelle in Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'11),pp. 140-154, 2011.
2010 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Une approche syntaxique pour le problème de la fusion de réseaux de contraintes qualitatives in JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes,pp. 103-112, 2010.
2010 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Fusion majoritaire : des espaces booléens aux espaces affines in Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'10),2010.
2009 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Un point de vue épistémique sur la fusion de croyances : l'identification du monde réel in Actes des Cinquièmes Journées Francophones sur les Modèles Formels de l'Interaction (MFI'09),pp. 135--145, 2009.
2009 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Fusion de réseaux de contraintes qualitatives définis sur différents formalismes qualitatifs in Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09),2009.
2008 Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Utiliser la logique propositionnelle pour la fusion de réseaux de contraintes qualitatives in Représentation et Raisonnement sur le Temps et l'Espace (RTE'08),2008.
2008 Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis, Jeux Qualitatifs à Résultats Multiples in Journées Francophones sur les Systèmes Multi-Agents (JFSMA'08),pp. 65-74, 2008.
2007 Pierre Marquis, Meltem Ozturk, Representing Interval Orders by Weighted Bases: some Complexity Results in 3rd Multidisciplinary Workshop on Advances in Preference Handling - workshop at VLDB'07(M-PREF'07),2007.
2006 Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis, Fragments propositionnels pour la compilation de connaissances et formules booléennes quantifiées in 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle(RFIA'06),pp. Actes électroniques, 2006.
2005 Olivier Gauwin, Sébastien Konieczny, Pierre Marquis, Iterated Belief Merging as Conciliation Operators in 7th International Symposium on Logical Formalizations of Commonsense Reasoning(CommonSense'05),2005.
2005 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, On the Logic of Merging: Quota and Gmin Merging Operators in 7th International Symposium on Logical Formalizations of Commonsense Reasoning(CommonSense'05),2005.
2005 Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis, Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae in The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conferencep,pp. 288, 2005.
2002 Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis, Résolution de formules booléennes quantifiées : problèmes et algorithmes in 13ème Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002),pp. 289-298, 2002.
1998 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Techniques de recherche locale au secours de la révision de croyances in Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98),pp. 81-89, 1998.
Book and proceedings editions
2021 Knowledge Frédéric Alexandre, Christian Bessiere, Jean-François Bonnefon, Tristan Cazenave, Raja Chatila, Antoine Cornuejols, Frédéric Cuppens, Sébastien Destercke, Béatrice Daille, Jérôme Euzenat, Jean-Gabriel Ganascia, Malik Ghallab, Christian Wolf, Catherine Pelachaud, Nicolas Maudet, Matthieu Geist, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Pierre Marquis, Christel Vrain, Marie-Christine Rousset, Engelbert Mephu-Nguifo, Jacques Nicolas, Vianney Perchet, Philippe Dague, Patrick Saint Dizier, Frédéric Saubion, Christine Solnon, Karim Tabia, Artificial Intelligence. What is it, exactly? College Publication, 2021.
2020 Knowledge Frédéric Alexandre, Leila Amgoud, Christian Bessiere, Jean-François Bonnefon, Tristan Cazenave, Raja Chatila, Antoine Cornuejols, Frédéric Cuppens, Sébastien Destercke, Béatrice Daille, Didier Dubois, Jérôme Euzenat, Jean-Gabriel Ganascia, Malik Ghallab, Matthieu Geist, Andreas Herzig, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Frédéric Maris, Pierre Marquis, Nicolas Maudet, Engelbert Mephu-Nguifo, Jacques Nicolas, Catherine Pelachaud, Vianney Perchet, Henri Prade, Marie-Christine Rousset, Patrick Saint Dizier, Frédéric Saubion, Christine Solnon, Karim Tabia, Tim van de Cruys, Christel Vrain, Christian Wolf, L’intelligence Artificielle: De quoi s’agit-il vraiment ? Cepadues, 2020.
2020 Knowledge Pierre Marquis, Odile Papini, Henri Prade, A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence vol. 3, pp. XVIII, 575, Springer, 2020.
2020 Knowledge Pierre Marquis, Odile Papini, Henri Prade, A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms vol. 2, pp. XV, 523, Springer, 2020.
2019 Knowledge Pierre Marquis, Odile Papini, Henri Prade, A Guided Tour of Artificial Intelligence Research - Volume I: Knowledge Representation, Reasoning and Learning vol. 1, pp. XV, 803, Springer, 2019.
2014 Pierre Marquis, Odile Papini, Henri Prade, Panorama de l'intelligence artificielle − ses bases méthodologiques, ses développements Cépaduès, Toulouse, France, 2014.
2014 Pierre Marquis, Odile Papini, Henri Prade, Panorama de l'Intelligence Artificielle : Algorithmes pour l'intelligence artificielle vol. 2, Editions Cépaduès, Toulouse, 2014.
2014 Pierre Marquis, Odile Papini, Henri Prade, Panorama de l'intelligence artificielle, ses bases méthodologiques, ses développements vol. 1, 2, 3, pp. 1340 pp., Editions Cépaduès, Toulouse, 2014.
2014 Pierre Marquis, Odile Papini, Henri Prade, Panorama de l'Intelligence Artificielle : Représentation des connaissances et formalisation des raisonnements vol. 1, Editions Cépaduès, Toulouse, 2014.
2014 Pierre Marquis, Odile Papini, Henri Prade, L'Intelligence Artificielle : frontières et applications vol. 3, pp. 374 pp., Cépaduès, Toulouse, 2014.
2012 Florence Sèdes, Jean-Marc Ogier, Pierre Marquis, Information, Interaction, Intelligence : le point sur le I(3) pp. 268 p., Cépaduès Editions, 2012.
2012 Jérôme Lang, Pierre Marquis, Revue d'Intelligence Artificielle (RIA). Numéro spécial, en hommage à Pascal Nicolas, sur le raisonnement non monotone, les formules booléennes quantifiées (QBF) et la programmation par ensembles réponses (ASP). pp. 196, Hermès (Lavoisier), 2012.
2009 Isabelle Bloch, Pierre Marquis, Revue Information - Interaction - Intelligence (I3). Numéro spécial suite à RFIA'08. pp. 162, Cépaduès, 2009.
2008 Isabelle Bloch, Gilles Kassel, Pierre Marquis, El Mustapha Mouaddib, 16ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08) pp. 863, Pas d'éditeur commercial, 2008.
1997 Pierre Marquis, B. Manaris, Intl. Journ. on Artificial Intelligence Tools vol. 6, World Scientific, 1997.
1991 J.-P. Haton, Nadjet Bouzid, F. Charpillet, Marie-Christine Haton, Brigitte Laasri, Hassan Laasri, Pierre Marquis, Thierry Mondot, A. Napoli, Le raisonnement en intelligence artificielle InterEditions, 1991.
Book chapters
2020 Knowledge Pierre Marquis, Odile Papini, Henri Prade, Elements for a History of Artificial Intelligence in A Guided Tour of Artificial Intelligence Research,vol. 1, pp. 1-40, Springer, 2020.
2020 Knowledge Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis, Reasoning About Action and Change in A Guided Tour of Artificial Intelligence Research,vol. 1 / 3, pp. 487-518, Springer International Publishing, 2020.
2017 Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis, Boosting Distance-Based Revision Using SAT Encodings in Logic, Rationality, and Interaction,vol. 10455, pp. 480-496, Springer Berlin Heidelberg, 2017.
2017 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, An Introduction to Belief Merging and its Links with Judgment Aggregation in Trends in Computational Social Choice,vol. 7, pp. 123-143, AI Access, 2017.
2014 Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis, Raisonnement sur l'action et le changement in Panorama de l'intelligence artificielle. Ses bases méthodologiques, ses développements, Vol. 1,vol. 1, pp. 255--282, Cépaduès, Toulouse, 2014.
2014 Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis, Raisonnement sur l’action et le changement in Panorama de l’intelligence artificielle, Volume 1 : représentation des connaissances et formalisation des raisonnements,pp. 363-392, 2014.
2014 Pierre Marquis, Odile Papini, Henri Prade, Eléments pour une histoire de l'intelligence artificielle in Panorama de l'intelligence artificielle, ses bases méthodologiques, ses développements,vol. Tome 1/3, pp. 1-40, Cépaduès, Toulouse, France, 2014.
2004 Sylvie Coste-Marquis, Pierre Marquis, On the complexity of paraconsistent inference relations in Inconsistency Tolerance,vol. 3300, pp. 151-190, Springer, 2004.
2001 Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Saïs, Iterated Syntax-Based Revision in a Nonmonotonic Setting in Frontiers in Belief Revision,vol. 22, pp. 369-391, Kluwer Academic Publishers, 2001.
2000 Pierre Marquis, Consequence Finding Algorithms in Handbook on Defeasible Reasoning and Uncertainty Management Systems,vol. 2, pp. 41-145, Kluwer Academic Publisher, 2000.
1999 Pierre Marquis, Sur les preuves non déductives en intelligence artificielle in Le concept de preuve à la lumière de l intelligence artificielle,pp. 139-158, collection La Nouvelle Encyclopédie Diderot, Presses Universitaires de France, 1999.
1995 A. Bonneau, F. Charpillet, Sylvie Coste-Marquis, J.-P. Haton, Y. Laprie, Pierre Marquis, Towards a Multilevel Model for Hypothetical Reasoning in Continuous Speech Recognition in Levels in Speech Communication: Relations and Interactions,pp. 225-238, Elsevier, 1995.
1992 E. Kounalis, Pierre Marquis, Fundamental Methods for Horn Logic and Artificial Intelligence Applications in Artificial Intelligence Methods and Applications, Advanced Series on Artificial Intelligence,pp. 4-60, World Scientific, 1992.
International workshops
2021 Jean-Marie Lagniez, Pierre Marquis, About Caching in D4 2.0 in Workshop on Counting and Sampling 2021,2021.
2020 Sylvie Coste-Marquis, Pierre Marquis, From Explanations to Intelligible Explanations in 1st International Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'20),2020.
2019 Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon, On Irrelevant Literals in Pseudo-Boolean Constraint Learning in 10th International Workshop on Pragmatics of SAT (POS'19),2019.
Technical reports
2014 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, On the Complexity of Optimization Problems based on Compiled NNF Representations 2014.
2006 Jérôme Amilhastre, Hélène Fargier, Pierre Marquis, Marie-Catherine Vilarem, Forme compilées pour la manipulation de contraintes, de préférences et d'incertitudes 2006.
Former PhD students
- Louenas Bounia : Formal models for explainable and robust AI defended on : 2023-12-22
- Alexis de Colnet : Hard Functions in Knowledge Compilation: from Lower Bounds to Applications defended on : 2022-09-26
- Anis Gargouri : Sur la notion de support monotone en argumentation abstraite defended on : 2021-12-17
- Romain Wallon : Pseudo-Boolean Reasoning and Compilation defended on : 2020-12-14
- Samuel Thomas : Knowledge compilation for model counting defended on : 2016-12-14
- Thomas Caridroit : Changement de croyances et logiques modales defended on : 2016-12-13
- Jean-Guy Mailly : Dynamique des Systèmes d’Argumentation defended on : 2015-09-30
- Nicolas Schmidt : Compilation de préférences - application à la configuration de produits defended on : 2015-09-17
- Emmanuel Lonca : Multi-Objective Boolean Optimization: complexity with compiled constraints and SAT-based resolution defended on : 2015-06-26
- Benoît Trouvilliez : Analyse et regroupement automatique de textes courts à des fins statistiques defended on : 2013-05-13
- Nicolas Schwind : Fusion de réseaux de contraintes qualitatives defended on : 2010-12-10
- Ramzi Benlarbi : Un Modèle pour la Prise de Décision Multi-agent sous Incertitude defended on : 2009-12-04
- Mahmoud Saade : Étude du raisonnement temporel basé sur la résolution de contraintes defended on : 2008-12-15
- Zied Loukil : Intégration des ressources en planification temporelle optimale defended on : 2008-12-12
- Patricia Everaere : Contribution à l’étude des opérateurs de fusion : manipulabilité et fusion disjonctive defended on : 2006-12-07
- Caroline Devred : Contribution à l'étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung defended on : 2006-12-01
- Florian Letombe : De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d’un prouveur QBF defended on : 2005-12-05
-
Old Projects
- ANR AMANDE 2013-2017
- ANR BR4CP (in french) 2012-2015
- ANR COMSOC (in french) 2010-2013
- ANR PHAC (in french) 2005-2009
- ANR TUPLES (in french) 2010-2015
- Contrat industriel avec Onyme (in french) 2009-2012
- Joint CNRS and FACEPE (Brazil) project 2017-2019
- Projet PHC Barrande France / République Tchèque KC4CP 2017-2018