Publications

Articles de revues internationales

2021 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 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 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Definability for model counting in Artificial Intelligence,vol. 281, pp. 103229, 2020.

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 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.

2014 Hélène Fargier, Pierre Marquis, Disjunctive closures for knowledge compilation in Artificial Intelligence,vol. 216, pp. 129-162, 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 Jérôme Lang, Pierre Marquis, On Propositional Definability in Artificial Intelligence Journal(AIJ),vol. 172, pp. 991-1017, 2008.

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.

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é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. LANG, P. Liberatore, Pierre Marquis, Conditional Independence in Propositional Logic in Artificial Intelligence,vol. 141, n° 1-2, pp. 75-121, 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 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.

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.

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 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.

1993 Pierre Marquis, Skeptical Abduction in International Journal on Artificial Intelligence Tools (IJAIT),vol. 2, n° 4, pp. 511-540, 1993.

Articles de conférences internationales

2021 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 Florent Capelli, Jean-Marie Lagniez, Pierre Marquis, Certifying Top-­Down Decision-­DNNF Compilers in AAAI 2021 - 35th Conference on Artificial Intelligence,2021.

2021 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.

2021 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,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.

2020 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.

2020 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 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 Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail, Consolidating Modal Knowledge Bases in 24th European Conference on Artificial Intelligence (ECAI'20),2020.

2020 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Belief Merging Operators as Maximum Likelihood Estimators in Proceedings of the 29th International Joint Conference on Artificial Intelligence and of the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI’20),2020.

2020 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.

2019 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.

2019 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 Jean-Marie Lagniez, Pierre Marquis, A Recursive Algorithm for Projected Model Counting in 33rd AAAI Conference on Artificial Intelligence (AAAI'19),2019.

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.

2018 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 Nicolas Schwind, Pierre Marquis, On Consensus in Belief Merging in 32nd AAAI Conference on Artificial Intelligence (AAAI'18),pp. 1949-1956, 2018.

2018 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.

2018 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 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 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.

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.

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.

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 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 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 Pierre Marquis, Compile! in 29th AAAI Conference on Artificial Intelligence (AAAI'15),pp. 4112-4118, 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, Compiling Constraint Networks into Multivalued Decomposable Decision Graphs in 24th International Joint Conference on Artificial Intelligence (IJCAI'15),pp. 332-338, 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 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Belief Merging versus Judgment Aggregation in AAMAS15,pp. 999-1007, 2015.

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 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 Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt, A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams in Twenty-Eighth AAAI Conference on Artificial Intelligence,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 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, Counting Votes for Aggregating Judgments in AAMAS 2014,IFAAMAS/ACM, pp. 8, 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 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 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.

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'13),pp. 884-890, 2013.

2013 Hélène Fargier, Pierre Marquis, Alexandre Niveau, Towards a Knowledge Compilation Map for Heterogeneous Representation Languages in 23rd International Joint Conference on Artificial Intelligence (IJCAI'13),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.

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 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.

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.

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.

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.

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, e Epistemic View of Belief Merging: Can We Track the Truth? in 19th European Conference on Artificial Intelligence (ECAI'10),pp. 621-626, 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.

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 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.

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 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 Hélène Fargier, Pierre Marquis, Knowledge Compilation Properties of Trees-of-BDDs, Revisited in 21st International Joint Conference on Artificial Intelligence (IJCAI'09),pp. 772-777, 2009.

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 Hélène Fargier, Pierre Marquis, Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond in 23th AAAI Conference on Artificial Intelligence(AAAI'08),pp. 442-447, 2008.

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 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 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.

2008 Hélène Fargier, Pierre Marquis, Extending the Knowledge Compilation Map: Closure Principles in 18th European Conference on Artificial Intelligence(ECAI'08),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.

2007 Hélène Fargier, Pierre Marquis, On Valued Negation Normal Form Formulas in 20th International Joint Conference on Artificial Intelligence(IJCAI'07),pp. 360-365, 2007.

2006 Hélène Fargier, Pierre Marquis, On the Use of Partially Ordered Decision Graphs for Knowledge Compilation and Quantified Boolean Formulae in 21th National Conference on Artificial Intelligence (AAAI 2006),pp. 42-47, 2006.

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.

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.

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.

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, 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 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, 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, 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.

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, Measures of contradiction and information in propositional bases in Proceedings of the 3rd World Congres on Paraconsistency (WCP-03),2003.

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.

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 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 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.

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, 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 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 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 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 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 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.

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.

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, Syntax-based belief revision through local search in Proceedings of the International Workshop on Belief Revision,1998.

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.

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.

Articles de revues nationales

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.

Articles de conférences nationales

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 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 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.

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 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.

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 Huitièmes Journées de l'Intelligence Artificielle Fondamentale,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 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 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 (IAF 2013),pp. 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, 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 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 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 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.

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.

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.

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.

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.

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.

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 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.

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 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.

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.

Éditions d'actes de conférences

2021 Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Graph Structures for Knowledge Representation and Reasoning Springer International Publishing, 2021.

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). Hermès (Lavoisier), 2012.

2012 Florence Sèdes, Jean-Marc Ogier, Pierre Marquis, Information, Interaction, Intelligence : le point sur le I(3) Cépaduès, 2012.

2009 Isabelle Bloch, Pierre Marquis, Revue Information - Interaction - Intelligence (I3). Numéro spécial suite à RFIA'08. 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) Pas d'éditeur commercial, 2008.

1997 Pierre Marquis, B. Manaris, Intl. Journ. on Artificial Intelligence Tools World Scientific, 1997.

Éditions d'ouvrages

2020 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 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 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 : 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 Cépaduès, Toulouse, France, 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.

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, 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.

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.

Chapitres d'ouvrages

2020 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 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 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 - Bannay, 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.

Rapports techniques

2014 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, On the Complexity of Optimization Problems based on Compiled NNF Representations 2014.