Publications

Article(s) de revue(s) internationale(s)

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.

2017 Thomas Caridroit, Sébastien Konieczny, Pierre Marquis, Contraction in propositional logic in International Journal of Approximate Reasoning (IJAR),vol. 80, pp. 428-442, 2017.

2014 Pierre Marquis, Nicolas Schwind, Lost in translation: Language independence in propositional logic - application to belief change in Artif. Intell.,vol. 206, pp. 1-24, 2014.

2014 Hélène Fargier, Pierre Marquis, Disjunctive closures for knowledge compilation in Artif. Intell.,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 (ACM TOCL),vol. 14, n° 3, 2013. (33 pages)

2010 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Disjunctive Merging: Quota and Gmin Merging Operators in Artificial Intelligence Journal (AIJ),vol. 174, n° 12-1, pp. 824-849, 2010.

2010 J. Lang, Pierre Marquis, Reasoning under Inconsistency: A Forgetting-Based Approach in Artificial Intelligence Journal (AIJ),vol. 174, n° 12-1, pp. 799-823, 2010.

2009 Hans Van Ditmarsch, Andreas Herzig, J. Lang, Pierre Marquis, Introspective Forgetting in Synthese (Synthese),vol. 169, pp. 405?423, 2009. (Special section on Knowledge, Rationality & Action)

2009 Pierre Marquis, Meltem Öztürk, Representing Interval Orders by Weighted Bases: some Complexity Results in Mathematical Social Science (MSS),vol. 5, n° 3, pp. 367-388, 2009. (Special issue on Voting Theory and Preference Modelling)

2009 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Handling Controversial Arguments in Journal of Applied Non-Classical Logics (JANCL),vol. 19, n° 3, pp. 311-369, 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, octobre 2008.

2008 J. Lang, Pierre Marquis, On Propositional Definability in Artificial Intelligence Journal (AIJ),vol. 172, pp. 991-1017, 2008.

2007 Olivier Gauwin, Sébastien Konieczny, Pierre Marquis, Conciliation through Iterated Belief Merging in Journal of Logic and Computation (JLC),vol. 17, pp. 909-937, 2007.

2007 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, The Strategy-Proofness Landscape of Merging in Journal of Artificial Intelligence Research (JAIR),vol. 28, pp. 49-105, 2007. [Download]

2007 Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, M-C Lagasquie-schiex, Pierre Marquis, On the Merging of Dung’s Argumentation Systems in Artificial Intelligence (AIJ),vol. 171, pp. 730-753, 2007. [Download]

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.

2006 Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis, Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages in Journal on Satisfiability, Boolean Modeling and Computation,vol. 1, pp. 61-88, mars 2006. [Download]

2004 A. Darwiche, Pierre Marquis, Compiling Propositional Weighted Bases in Artificial Intelligence,vol. 157, n° 1-2, pp. 81-113, 2004.

2004 Sylvie Coste-Marquis, Pierre Marquis, On Stratified Belief Base Compilation in Annals of Mathematics and Artificial Intelligence,vol. 42, n° 4, Kluwer Academic Publishers, pp. 399-442, decembre 2004.

2004 Sébastien Konieczny, J. Lang, Pierre Marquis, DA2 Merging Operators in Artificial Intelligence,vol. 157, n° 1-2, pp. 49-79, 2004. [Download]

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.

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.

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 A. Darwiche, Pierre Marquis, A Knowledge Compilation Map in Journal of Artificial Intelligence Research,vol. 17, pp. 229-264, 2002.

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.

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.

1996 Éric Grégoire, Pierre Marquis, Novelty in Deductive Databases in Journal of Logic and Computation,vol. 6, n° 5, Oxford Univ. Press, pp. 683-708, 1996.

1993 B. El Ayeb, Pierre Marquis, M. Rusinowitch, Preferring Diagnoses by Abduction in IEEE Trans. on Systems, Man and Cybernetics,vol. 23, n° 3, pp. 729-808, 1993.

1993 Pierre Marquis, Skeptical Abduction in Int. Journ. on Artificial Intelligence Tools,vol. 2, n° 4, World Scientific, pp. 511-540, 1993.

Article(s) de conférence(s) internationale(s)

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 2017 ),Springer, pp. 172-188, 2017.

2017 Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis, Boosting Distance-Based Belief Revision using SAT Encodings in 6th International Conference on Logic, Rationality and Interaction,Springer, 2017. (Lecture Notes in Computer Science 10455)

2017 Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis, SAT Encodings for Distance-Based Belief Merging Operators in AAAI,pp. 1163-1169, 2017.

2016 Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Fixed-Parameter Tractable Optimization under DNNF Constraints in 22th European Conference on Artificial Intelligence (ECAI’16),pp. 1194-1202, septembre 2016. [Download]

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, juillet 2016. [Download]

2016 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, On Distances Between KD45n Kripke Models and their Use for Belief Revision in 22th European Conference on Artificial Intelligence (ECAI’16),IOS Press, pp. 1053-1061, août 2016.

2016 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, An Improved CNF Encoding Scheme for Probabilistic Inference in 22th 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 International Joint Conference on Artificial Intelligence (IJCAI-16),pp. 1237-1243, juillet 2016.

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 Thomas Caridroit, Sébastien Konieczny, Pierre Marquis, Contraction in Propositional Logic in 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15),Springer, pp. 186-196, 2015.

2015 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Private Revision in Multi-Agent Setting in International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’15) (AAMAS’15),ACM, pp. 1677-1678, 2015.

2015 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Private Expansion and Revision in Multi-agent Settings in 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15),Springer, pp. 175-185, 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, juillet 2015. [Download]

2015 Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis, How to Form a Task-Oriented Robust Team in AAMAS,pp. 395-403, 2015.

2015 Sébastien Konieczny, Pierre Marquis, Srdjan Vesic, On Supported Inference and Extension Selection in Abstract Argumentation Frameworks in 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15),Springer, pp. 49-59, 2015.

2015 Pierre Marquis, Compile! in AAAI,pp. 4112-4118, 2015.

2015 Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne , Sébastien Konieczny, Pierre Marquis, Belief Revision Games in 29th AAAI Conference on Artificial Intelligence (AAAI’15),pp. 1590-1596, janvier 2015.

2015 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Belief Merging versus Judgment Aggregation in AAMAS,pp. 999-1007, 2015.

2014 Jean-Marie Lagniez, Pierre Marquis, Preprocessing for Propositional Model Counting in AAAI,pp. 2688-2694, 2014.

2014 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Counting votes for aggregating judgments in International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’14),pp. 1177-1184, 2014.

2014 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Symmetry-Driven Decision Diagrams for Knowledge Compilation in ECAI 2014 - 21st European Conference on Artificial Intelligence (ECAI’14),pp. 51-56, 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, septembre 2014. [Download]

2014 Pierre Marquis, Odile Papini, Henri Prade, Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries in ECAI,pp. 609-614, 2014.

2014 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Knowledge Compilation for Model Counting: Affine Decision Trees in ECAI 2014 - 21st European Conference on Artificial Intelligence (ECAI’14),IOS Press, pp. 51-56, août 2014.

2014 Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Symmetry-Driven Decision Diagrams for Knowledge Compilation in ECAI,pp. 51-56, 2014.

2014 Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt, A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams in AAAI,pp. 1049-1055, 2014.

2014 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, On Egalitarian Belief Merging in 14th International Conference on Principles of Knowledge Representation and Reasoning (KR’14),pp. 121-130, 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, juillet 2014. [Download]

2014 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Propositional Merging and Judgment Aggregation: Two Compatible Approaches? in ECAI 2014 - 21st European Conference on Artificial Intelligence (ECAI’14),pp. 1001-1002, 2014.

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. (to appear)

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. (to appear)

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),IJCAI/AAAI, pp. 947-953, août 2013.

2013 Daniel Le Berre, Pierre Marquis, Stéphanie Roussel, Planning Personalised Museum Visits in 23rd Inter2national Conference on Automated Planning and Scheduling (ICAPS’13),AAAI Press, pp. 380-388, 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 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),août 2013. (workshop at IJCAI’13)

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

2013 Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas, Knowledge Compilation for Model Counting: Affine Decision Trees in IJCAI’2013,IJCAI/AAAI, août 2013.

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 A. Ouali, Selecting Extensions in Weighted Argumentation Frameworks in 4th International Conference on Computational Models of Argument (COMMA’12),pp. 342-349, septembre 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),pp. 129-140, septembre 2012.

2012 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Compositional belief merging in 13th International Conference on Principles of Knowledge Representation and Reasoning (KR’12),pp. 603-607, 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, juillet 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, juillet 2011.

2011 Pierre Marquis, Existential Closures for Knowledge Compilation in 22nd International Joint Conference on Artificial Intelligence (IJCAI’11),pp. 996-1001, juillet 2011.

2010 Jean-François 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, août 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 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, A Syntactical Approach to Qualitative Constraint Networks Merging in 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’10),pp. 233-247, octobre 2010.

2010 M. Bienvenu, Hélène Fargier, Pierre Marquis, Knowledge Compilation in the Modal Logic S5 in 24th AAAI Conference on Artificial Intelligence (AAAI’10),pp. 261-266, 2010.

2010 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, The Epistemic View of Belief Merging: Can We Track the Truth? in 19th European Conference on Artificial Intelligence (ECAI’10),pp. 621-626, 2010. (parmi les 5 nominés sur 607 soumissions pour le prix du meilleur papier)

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, pp. 249-260, octobre 2009.

2009 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Merging Qualitative Constraints Networks Defined on Different Qualitative Formalisms in Conference on Spatial Information Theory (COSIT’09),pp. 106-123, septembre 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.

2009 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Merging Qualitative Constraint Networks in a Piecewise Fashion in 21st International Conference on Tools with Artificial Intelligence (ICTAI’09),pp. 605-608, novembre 2009. (short paper)

2009 Jean-François 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),pp. 347-358, juillet 2009.

2008 Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis, A Characterization of an Optimality Criterion for Decision Making under Complete Ignorance in Workshop on Decision, Games and Logic (DGL’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 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, Qualitative multiple outcomes games with consensus in Third World Congress of the Game Theory Society (GAME’08),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, 2008.

2008 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Propositional merging operators based on set-theoretic closeness in 18th European Conference on Artificial Intelligence (ECAI’08),pp. 737-738, 2008. (Poster)

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 12th International Workshop on Non-Monotonic Reasoning (NMR’08),pp. 19-25, 2008.

2008 Sylvie Coste-Marquis, Pierre Marquis, Recovering Consistency by Forgetting Inconsistency in 11th European Conference on Logics in Artificial Intelligence (JELIA’08),Lecture Notes in Artificial Intelligence 5293, Springer-Verlag, pp. 113-125, septembre 2008.

2008 Hans Van Ditmarsch, Andreas Herzig, J. Lang, Pierre Marquis, Introspective Forgetting in 21st Australasian Joint Conference on Artificial Intelligence (AI’08),Springer, pp. 18-29, 2008.

2008 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Conflict-Based Merging Operators in 11th International Conference on Principles of Knowledge Representation and Reasoning (KR’08),pp. 348-357, 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.

2007 Pierre Marquis, Meltem Öztürk, Representing Interval Orders by Weighted Bases: some Complexity Results in 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF’07) - workshop at VLDB’07,2007.

2007 Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis, Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach in 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’07),Lecture Notes in Artificial Intelligence (LNAI 4724), Springer, pp. 731-742, 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’06),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. (sélection sur résumé)

2006 Sylvie Coste-Marquis, Hélène Fargier, J. Lang, Daniel Le Berre, Pierre Marquis, Representing Policies for Quantified Boolean Formulae in Proc. of the 10th Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-06),AAAI Press, pp. 286-296, juin 2006.

2006 Philippe Besnard, J. Lang, Pierre Marquis, Variable Forgetting in Preference Relations over Propositional Domains in 17th European Conference on Artificial Intelligence (ECAI’06),pp. 763-764, 2006. (poster)

2006 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Constrained Argumentation Frameworks in Proc. of the 10th Internat. Conf. on Principles of Knowledge Representation and Reasoning,AAAI Press, pp. 112-122, juin 2006.

2005 Olivier Gauwin, Sébastien Konieczny, Pierre Marquis, Iterated Belief Merging as Conciliation Operators in Seventh International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense’05),2005.

2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Inference from controversial arguments in Proc. of the 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning,Lecture Notes in Artificial Intelligence (LNAI 3835), Springer, vol. 3835, pp. 606-620, decembre 2005.

2005 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, On the Logic of Merging: Quota and Gmin Merging Operators in Seventh International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense’05),2005.

2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Symmetric Argumentation Frameworks in Proceedings of 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’05),Lecture Notes in Artificial Intelligence (LNAI 3571). Springer, pp. 317-328, 2005.

2005 Sébastien Konieczny, J. Lang, Pierre Marquis, Reasoning under Inconsistency: The Forgotten Connective in Proceedings of 19th International Joint Conference on Artificial Intelligence (IJCAI’05),pp. 484-489, 2005. [Download]

2005 Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis, Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae in 20th National Conference on Artificial Intelligence (AAAI’05),pp. 288-293, 2005.

2005 Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, M-C Lagasquie-schiex, Pierre Marquis, Merging Argumentation Systems in Proceedings of 20th National Conference on Artificial Intelligence (AAAI’05),pp. 614-619, 2005. [Download]

2005 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Quota and Gmin Merging Operators in Proceedings of 19th International Joint Conference on Artificial Intelligence (IJCAI’05),pp. 424-429, 2005. [Download]

2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Prudent Semantics for Argumentation Frameworks in Proceedings of 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’05),pp. 368-372, 2005.

2005 Olivier Gauwin, Sébastien Konieczny, Pierre Marquis, Conciliation and Consensus in Iterated Belief Merging in Proceedings of 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’05),Lecture Notes in Artificial Intelligence (LNAI 3571). Springer, pp. 514-526, 2005. [Download]

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

2004 Andreas Herzig, J. Lang, Pierre Marquis, Revision and update in multiagent belief structures in Proc. of the 6th Conference on Logic and the Foundations of Game and Decision Theory (LOFT’04),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, août 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. [Download]

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 Andreas Herzig, J. Lang, Pierre Marquis, Action representation and partially observable planning using epistemic logic in Proc. of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03),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. [Download]

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 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. [Download]

2002 A. Darwiche, Pierre Marquis, Compilation of propositional weighted bases in Proc. of the 9th International Workshop on Nonmonotonic Reasoning (NMR-02),pp. 6-14, 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.

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, septembre 2002. [Download]

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

2001 Andreas Herzig, J. Lang, Pierre Marquis, Planning as abduction in Proc. of the IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information,août 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, août 2001.

2001 A. 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, août 2001.

2001 Andreas Herzig, J. Lang, Pierre Marquis, T. Polacsek, Updates, actions and planning in Proc. of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01),Morgan Kaufmann Publishers, Inc., vol. 1, pp. 119-124, août 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 Jérôme Amilhastre, Hélène Fargier, Pierre Marquis, Consistency restorations and explanations in dynamic CSP - Application to configuration in Proc. of ECAI-00 Workshop on Modelling and Solving Problems with Constraints,août 2000.

2000 Hélène Fargier, J. Lang, Pierre Marquis, Propositional Logic and One-Stage Decision Making in Proc. of the Seventh Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR-00),Morgan Kaufmann, pp. 445-456, 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 Sylvie Coste-Marquis, Pierre Marquis, Compiling Stratified Belief Bases in Proc. of the Seventeenth European Conf. on Artificial Intelligence (ECAI-00),pp. 23-27, août 2000.

1999 Hélène Fargier, Pierre Marquis, Knowledge Compilation Properties of Trees-of-BDDs, Revisited in 16th International Joint Conference on Artificial Intelligence (IJCAI’99),pp. 772-777, 1999.

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.

1999 Olivier Bailleux, Pierre Marquis, Distance-SAT : Complexity and Algorithms in Proc. of the Sixteenth Nat. Conf. on Artificial Intelligence (AAAI-99),AAAI Press, pp. 642-647, juillet 1999.

1998 N. Lachiche, Pierre Marquis, Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterization in Proc. of the Tenth European Conf. on Machine Learning (ECML-98),LNCS 1398, Springer Verlag, pp. 268-279, 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),janvier 1998. (electronic proceedings)

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

1998 J. Lang, Pierre Marquis, Two forms of Dependence in Propositional Logic: Controllability and Definability in Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI-98),pp. 268-273, 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, septembre 1998. (Best Paper Award)

1998 J. Lang, Pierre Marquis, Complexity Results for Independence and Definability in Propositional Logic in Proc. of the Sixth Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR-98),Morgan Kaufmann, pp. 356-367, 1998.

1997 N. Lachiche, Pierre Marquis, A Model for Generalization based on Confirmatory Induction in Proc. of the 9th European Conf. on Machine Learning (ECML-97),LNCS 1224, Springer-Verlag, pp. 154-161, 1997.

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, août 1997.

1997 N. Lachiche, Pierre Marquis, Rule-Based Classification without Rules thanks to Instance-Based Learning in 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI-97),1997. (Accepté comme poster (l’article ne figure pas dans les actes suite à une erreur d acheminement postal))

1996 J. Lieber, Pierre Marquis, Domain-Independent Similarity Relations for Case-Based Reasoning in a Logical Framework in Proc. Int. Symp. on Methodologies for Intelligent Systems (ISMIS-96),pp. 230-241, 1996. (Accepté comme poster)

1996 N. Lachiche, Pierre Marquis, Abduction, Induction and Completion Policies (Research Note) in Proc. ECAI-96 Workshop on Abductive and Inductive Reasoning,pp. 43-46, août 1996.

1996 Bertrand Mazure, Pierre Marquis, Theory Reasoning within Implicant Cover Compilations in Proceedings of the ECAI-96 Workshop on Advances in Propositional Deduction,pp. 65-69, août 1996.

1996 Pierre Marquis, S. Sadaoui, A New Algorithm for Computing Prime Implicates Compilations in Proc. 13th National Conference on Artificial Intelligence (AAAI-96),pp. 504-509, 1996.

1995 Pierre Marquis, Knowledge Compilation Using Theory Prime Implicates in Proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI-95),pp. 837-843, 1995.

1994 Maroua Bouzid, F. Charpillet, Pierre Marquis, J.-P. Haton, Assumption-based Truth Maintenance in Presence of Temporal Assertions in Proc. 6th IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-94),IEEE Computer Society Press, pp. 492-498, 1994.

1994 Pierre Marquis, Possible Models Approach via Independency in Proc. ECAI-94,Wiley, pp. 336-340, août 1994.

1993 Éric Grégoire, Pierre Marquis, Novelty in Deductive Databases in Workshop on Non-Standard Logics in Computer Science,septembre 1993. (exposé invité)

Article(s) de revue(s) nationale(s)

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 d’intelligence artificielle (RIA),vol. 28, n° 5, pp. 571-592, 2014.

2004 Andreas Herzig, J. Lang, Pierre Marquis, Représentation d’actions et planification en environnement partiellement observable : une approche fondée sur la logique épistémique in Journal Electronique d’Intelligence Artificielle (JEDAI),vol. 4, 2004.

2001 Pierre Marquis, La révision en intelligence artificielle : deux paradigmes in Psychologie de l’interaction, Révision, cognition et interaction,vol. 11-1, L’Harmattan, pp. 11-37, 2001.

Article(s) de conférence(s) nationale(s)

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 Dixièmes Journées Nationales 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 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Sur les distances entre modèles de Kripke KD45n et leur utilisation pour la révision des croyances in Dixièmes Journées de l’Intelligence Artificielle Fondamentale JIAF’2016 (JIAF’16),2016. (actes électroniques)

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 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) (JFPC’15),2015.

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 d’Intelligence Artificielle Fondamentale (JIAF’15),pp. 45-54, juin 2015. [Download]

2014 Thomas Caridroit, Sébastien Konieczny, Tiago De Lima, Pierre Marquis, Expansion et révision privées dans KD45n in 8èmes Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’14),2014. (actes électroniques)

2014 Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt, Carte de compilation des diagrammes de décision ordonnés à valeurs réelles in 8èmes Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’14),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, juin 2014. [Download]

2014 Pierre Marquis, Odile Papini, Henri Prade, Quelques éléments pour une préhistoire de l’intelligence artificielle dans les quatre derniers siècles in 8èmes Journées Nationales de l’Intelligence Artificielle Fondamentale (IAF’14),2014.

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. (actes électroniques)

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. (actes électroniques)

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 7ièmes Journées de l’Intelligence Artificielle Fondamentale (IAF’13),pp. 107-116, juin 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 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. (actes électroniques)

2013 Hélène Fargier, Pierre Marquis, Nicolas Schmidt, Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations in 9èmes Journées Francophones de Programmation par Contraintes (JFPC’13),2013. (actes électroniques)

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 Nationales de l’Intelligence Artificielle Fondamentale (IAF’13),2013. (actes électroniques)

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 18ième congrès francophone sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA’12),janvier 2012. [Download]

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 8ièmes Journées Francophones de Programmation par Contraintes (JFPC’12),pp. 180-185, mai 2012. [Download]

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),juin 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, juin 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 6ièmes Journées Francophones de Programmation par Contraintes (JFPC’10),pp. 103-112, juin 2010.

2010 Jean-François 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),juin 2010.

2009 Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind, Fusion de réseaux de contraintes qualitatives par morceaux in Journées Francophones de la Programmation par Contraintes (JFPC’09),pp. 135-144, juin 2009.

2009 Jean-François 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),octobre 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 5ièmes journées francophones sur les Modèles Formels de l’Interaction (MFI’09),pp. 135-145, 2009.

2008 Jean-François 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),juin 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 Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis, Planification multi-agent et diagnostique stratégique in 4èmes journées francophones sur les Modèles Formels de l’Interaction (MFI’07),pp. 25-36, 2007. [Download]

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 Actes du 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’06),janvier 2006. (Actes électroniques) [Download]

2006 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Sémantiques prudentes pour les systèmes d’argumentation in Actes du 15ème congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle,janvier 2006. (Actes électroniques)

2006 Zied Loukil, Abdelmajid Ben Hamadou, Pierre Marquis, Vincent Vidal, Les ressources et la planification temporelle in 24e Congrès sur l’Informatique des Organisations et Systèmes d’Information et de Décision (INFORSID’06),pp. 515-529, 2006.

2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Systèmes d’argumentation symétriques in Actes des troisièmes journées francophones sur les modèles formels de l’interaction (MFI’05),pp. 223-228, 2005.

2004 Sébastien Konieczny, J. Lang, Pierre Marquis, Raisonnement en présence d’incohérence : le connecteur oublié in Actes du 14ème Congrés Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA-2004),vol. 2, pp. 1091-1099, janvier 2004. [Download]

2003 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, Opérateurs de fusion à quota in Actes des troisièmes journées nationales sur les modèles de raisonnement (JNMR-03),pp. 91-105, 2003. [Download]

2003 Patricia Everaere, Sébastien Konieczny, Pierre Marquis, De la manipulabilité des opérateurs de fusion de croyances in Actes des 3èmes journées nationales sur les modèles de raisonnement (JNMR-03),pp. 107-121, 2003. [Download]

2002 Sylvie Coste-Marquis, Hélène Fargier, J. Lang, Daniel Le Berre, Pierre Marquis, Résolution de formules booléennes quantifiées : problèmes et algorithmes in Actes du 13e Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA-02),pp. 289-298, 2002. (Prix de la meilleure contribution)

2002 Sébastien Konieczny, J. Lang, Pierre Marquis, Fusion de bases de croyances à partir de distances : modèle général et complexité algorithmique in Actes du 13e Congrès AFRIF-AFIA sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA-02),pp. 695-704, 2002. [Download]

2001 Pierre Marquis, Nadège Porquet, Inférence paraconsistante sous ressources limitées in Actes des 2e Journées Nationales sur les Modèles de Raisonnement (JNMR-01),pp. 35-50, mai 2001.

2000 J. Lang, Pierre Marquis, Boutons les incohérences hors de nos bases de connaissances in Actes du Douzième Congrès Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l Intelligence Artificielle (RFIA-00),pp. 185-194, février 2000.

2000 Jérôme Amilhastre, Hélène Fargier, Pierre Marquis, Explications et aide à la restauration de la cohérence dans les CSP interactifs : application à la configuration in Actes des Sixièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-Complets (JNPC-00),pp. 43-56, juin 2000.

1999 Hélène Fargier, J. Lang, Pierre Marquis, Décision en environnement partiellement observable et résolution de formules booléennes quantifiées in Actes des Cinquièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-Complets (JNPC-99),pp. 129-138, juin 1999.

1999 J. Lang, Pierre Marquis, Une approche logique de la définissabilité in Actes des Premières Journ. Nat. sur les Modèles de Raisonnement (JNMR-99),1999. (Actes électroniques)

1999 Olivier Bailleux, Pierre Marquis, Distance-SAT : Complexité et Algorithmes in Actes des Cinquièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-Complets (JNPC-99),pp. 199-206, juin 1999.

1998 N. Lachiche, Pierre Marquis, Classification par portée à partir de règles et d’exemples in Actes du 11ème Congrès AFCET/AFIA sur la Reconnaissance des Formes et l’Intelligence Artificielle (RFIA-98),vol. 1, pp. 149-158, 1998.

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

1997 Pierre Marquis, Compte-rendu des activités du groupe “Lois, Structures et Dépendances” du PRC-GDR présenté par Herzig A. in Actes des Sixièmes Journ. Nat. du PRC-GDR Intelligence Artificielle,Hermès, pp. 145-160, 1997.

1997 Salem Benferhat, Philippe Besnard, Laurence Cholvy, R Demolombe, Didier Dubois, O Gasquet, J. Golmard, Andreas Herzig, Pierre Marquis, Y Moinard, H. Prade, C Schwind, (groupe LSD) : Lois, structures et dépendances in Actes des 6èmes journées nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds),Hermès Paris, pp. 145-160, mars 1997.

1995 N. Lachiche, K. Smaili, Pierre Marquis, J.-P. Haton, Inférence inductive d’une grammaire pour des applications de dictée automatique in Actes des 15èmes Journées Internationales IA-95, Génie linguistiques-95,pp. 365-374, 1995.

1995 Pierre Marquis, From Theory Prime Implicates Compilations to Minimal Implicates Compilations (Extended Abstract) in Proc. of KI-Workshop on Computational Propositional Logic (CPL-95),pp. 85-86, 1995.

Actes de conférence(s)

2012 J. Lang, Pierre Marquis, 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) février 2012. (volume 26, numéros 1 et 2)

2012 Florence Sèdes, Jean-Marc Ogier, Pierre Marquis, Information, Interaction, Intelligence ? le point sur le i(3) mai 2012. (268 pages)

2009 Isabelle Bloch, Pierre Marquis, Revue Informatique - Interaction - Intelligence (I3) 2009. (numéro spécial suite à RFIA’08)

2008 Isabelle Bloch, G. Kassel, Pierre Marquis, E. Mouaddib, 16èmes Congrès Francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’08) janvier 2008. (863 pages)

2003 D. Kayser, Pierre Marquis, A. Napoli, 3èmes Journées Nationales sur les Modèles de Raisonnement (JNMR’03) 2003.

2001 Pierre Marquis, Ch. Brassac, Psychologie de l’interaction, Révision, cognition et interaction L’Harmattan, 2001. (éditeurs)

1998 Pierre Marquis, M. Zacklad, J. Lang, Actes des quatrièmes rencontres Nat. des jeunes chercheurs en intelligence artificielle (RJCIA-98) septembre 1998. (éditeurs)

1998 Philippe Besnard, Pierre Marquis, Bulletin de l’AFIA octobre 1998. ( Coordinateurs du dossier “Intelligence Artificielle et Logique”)

1997 Pierre Marquis, B. Manaris, Intl. Journ. on Artificial Intelligence Tools World Scientific, decembre 1997. (éditeurs invités)

Chapitre(s) d'ouvrage(s)

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,chapitre 7, AI Access Foundation, 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, chapitre 12, pp. 363-392, Cépaduès, 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. 1, chapitre 1, pp. 1-39, Cépaduès, 2014.

2012 Maroua Bouzid, Laurence Cholvy, Didier Dubois, L Garcia, Sébastien Konieczny, Florence Le Ber, G. Ligozat, Pierre Marquis, Pascal Nicolas, Odile Papini, Henri Prade, Lakhdar Saïs, Intelligence Artificielle Fondamentale : Ses contours généraux et un aperçu de quelques problématiques importantes Cépuades, 2012.

2004 Sylvie Coste-Marquis, Pierre Marquis, On the complexity of paraconsistent inference relations in Inconsistency Tolerance,vol. 3300, pp. 151-190, Bertossi, Hunter, Schaub (Eds.), 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, Williams M.-A. et Rott H. (Eds.), Kluwer Academic Publishers, 2001.

2000 Pierre Marquis, Consequence Finding Algorithms in Handbook on Defeasible Reasoning and Uncertainty Management Systems,vol. 5 :, chapitre 2, pp. 41-145, Moral S. et Kohlas J. (eds.), Gabbay D. et Smets Ph. (série eds.) (Eds.), 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, Sallantin J. et Szczeciniarz J.-J. (Eds.), collection La Nouvelle Encyclopédie Diderot, Presses Universitaires de France, Paris, 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, Sorin,Mariani, Méloni (Eds.), 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, Bourbakis N.G. (ed.) (Eds.), World Scientific, Singapour, 1992.

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 in Modèles, techniques et architectures,InterEditions, Paris, France, 1991.

Thèse(s) de doctorat

1991 Pierre Marquis, Contribution à l’étude des méthodes de construction d’hypothèses en intelligence artificielle France, février 1991.

Habilitation(s) à Diriger des Recherches

1997 Pierre Marquis, Contributions à l’étude des aspects logiques du raisonnement hypothético-déductif en intelligence artificielle CRIL, Lens, France, decembre 1997.

Rapport(s) technique(s)

2015 Sébastien Konieczny, Pierre Marquis, Srdjan Vesic, On Supported Inference and Extension Selection in Abstract Argumentation Frameworks CRIL, CNRS - Université d’Artois, 2015. [Download]

2014 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, On the Complexity of Optimization Problems based on Compiled NNF Representations in CoRR,CoRR, vol. abs/1410.6690, 2014.

2008 Sylvie Coste-Marquis, Pierre Marquis, Recovering Consistency by Forgetting Inconsistency CRIL, octobre 2008.

2006 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Handling controversial arguments 2006.