Partenaires
Home page > Directory > Directory
Directory
Pierre Marquis
Professor
- Tel. : 03.21.79.17.86
- Fax : 03 21 79 17 70
- Mail : marquis@cril.univ-artois.fr
- Personal webpage : http://www.cril.univ-artois.fr/~marquis
Research axes
International journal paper(s)
Lang J., Marquis Pierre,
Reasoning under Inconsistency: A Forgetting-Based Approach,
in Artificial Intelligence Journal (AIJ), vol. 174, n° 12-1, pp. 799-823, 2010. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Disjunctive Merging: Quota and Gmin Merging Operators,
in Artificial Intelligence Journal (AIJ), vol. 174, n° 12-1, pp. 824-849, 2010. [BibTeX...]
Marquis Pierre, Öztürk Meltem,
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) [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Handling Controversial Arguments,
in Journal of Applied Non-Classical Logics (JANCL), vol. 19, n° 3, pp. 311-369, 2009. [BibTeX...]
Van Ditmarsch Hans, Herzig A., Lang J., Marquis Pierre,
Introspective Forgetting,
in Synthese (Synthese), vol. 169, pp. 405?423, 2009. (Special section on Knowledge, Rationality & Action) [BibTeX...]
Besnard P, Konieczny Sébastien, Marquis Pierre,
Bipolarity in Billatice Logics,
in International Journal of Intelligent Systems (IJIS), vol. 23, n° 10, pp. 1046-1061, october 2008. [BibTeX...]
Lang J., Marquis Pierre,
On Propositional Definability,
in Artificial Intelligence Journal (AIJ), vol. 172, pp. 991-1017, 2008. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
The Strategy-Proofness Landscape of Merging,
in Journal of Artificial Intelligence Research (JAIR), vol. 28, pp. 49-105, 2007. [Download] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Konieczny Sébastien, Lagasquie-schiex M-C, Marquis Pierre,
On the Merging of Dung's Argumentation Systems,
in Artificial Intelligence Journal (AIJ), vol. 171, pp. 730-753, 2007. [Download] [BibTeX...]
Gauwin Olivier, Konieczny Sébastien, Marquis Pierre,
Conciliation through Iterated Belief Merging ,
in Journal of Logic and Computation (JLC), vol. 17, pp. 909-937, 2007. [BibTeX...]
Coste-Marquis Sylvie, Le Berre Daniel, Letombe Florian, Marquis Pierre,
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages,
in Journal on Satisfiability, Boolean Modeling and Computation (JSAT), vol. 1, pp. 61-88, march 2006. [Download] [BibTeX...]
Bailleux Olivier, Marquis Pierre,
Some Computational Aspects of DISTANCE-SAT,
in Journal of Automated Reasoning (JAR), vol. 37, n° 4, pp. 231-260, 2006. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
On Stratified Belief Base Compilation,
in Annals of Mathematics and Artificial Intelligence (AMAI), vol. 42, n° 4, Kluwer Academic Publishers, pp. 399-442, december 2004. [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
DA2 Merging Operators,
in Artificial Intelligence Journal (AIJ), vol. 157, n° 1-2, pp. 49-79, 2004. [Download] [BibTeX...]
Darwiche A., Marquis Pierre,
Compiling Propositional Weighted Bases,
in Artificial Intelligence Journal (AIJ), vol. 157, n° 1-2, pp. 81-113, 2004. [BibTeX...]
Lang J., Liberatore P., Marquis Pierre,
Propositional Independence - Formula-Variable Independence and Forgetting,
in Journal of Artificial Intelligence Research (JAIR), vol. 18, pp. 391--443, 2003. [BibTeX...]
Marquis Pierre, Porquet Nadège,
Resource-Bounded Paraconsistent Inference,
in Annals of Mathematics and Artificial Intelligence (AMAI), vol. 39, n° 4, pp. 349-384, 2003. [BibTeX...]
Amilhastre J., Fargier H., Marquis Pierre,
Consistency Restoration and Explanations in Dynamic CSPs - Application to Configuration,
in Artificial Intelligence Journal (AIJ), vol. 135, n° 1-2, pp. 199-234, 2002. [BibTeX...]
Lang J., Liberatore P., Marquis Pierre,
Conditional Independence in Propositional Logic,
in Artificial Intelligence Journal (AIJ), vol. 141, n° 1-2, pp. 75-121, 2002. [BibTeX...]
Darwiche A., Marquis Pierre,
A Knowledge Compilation Map,
in Journal of Artificial Intelligence Research (JAIR), vol. 17, pp. 229-264, 2002. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
Knowledge Compilation for Circumscription and Closed-World Reasoning,
in Journal of Logic and Computation (JLC), vol. 11, n° 4, pp. 579-607, 2001. [BibTeX...]
Lang J., Marquis Pierre,
Removing Inconsistencies in Assumption-Based Theories through Knowledge-Gathering Actions,
in Studia Logica (Studia Logica), vol. 67, n° 2, pp. 179-214, 2001. [BibTeX...]
Marquis Pierre, Porquet Nadège,
Computational Aspects of Quasi-Classical Entailment,
in Journal of Applied Non-Classical Logics (JANCL), vol. 11, n° 3-4, pp. 295-312, 2001. [BibTeX...]
Grégoire Éric, Marquis Pierre,
Novelty in Deductive Databases,
in Journal of Logic and Computation (JLC), vol. 6, n° 5, Oxford Univ. Press, pp. 683-708, 1996. [BibTeX...]
Marquis Pierre,
Skeptical Abduction,
in International Journal on Artificial Intelligence Tools (IJAIT), vol. 2, n° 4, World Scientific, pp. 511-540, 1993. [BibTeX...]
El Ayeb B., Marquis Pierre, Rusinowitch M.,
Preferring Diagnoses by Abduction,
in IEEE Transactions on Systems, Man and Cybernetics (IEEE SMC), vol. 23, n° 3, pp. 729-808, 1993. [BibTeX...]
National journal paper(s)
Herzig A., Lang J., Marquis Pierre,
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) (JEDAI), vol. 4, 2004. [BibTeX...]
Marquis Pierre,
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. [BibTeX...]
International conference paper(s) with proceedings
Le Berre Daniel, Marquis Pierre, Roussel Stéphanie,
Planning Personalised Museum Visits,
in 23rd International Conference on Automated Planning and Scheduling (ICAPS'13), june 2013. [BibTeX...]
Dunne Paul E., Marquis Pierre, Wooldridge Michael,
Argument Aggregation: Basic Axioms and Complexity Results,
in 4th International Conference on Computational Models of Argument (COMMA'12), pp. 129-140, september 2012. [BibTeX...]
Coste-Marquis Sylvie, Konieczny Sébastien, Marquis Pierre, Ouali Mohand A.,
Selecting Extensions in Weighted Argumentation Frameworks,
in 4th International Conference on Computational Models of Argument (COMMA'12), pp. 342-349, september 2012. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Compositional belief merging,
in 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), pp. 603-607, 2012. [BibTeX...]
Coste-Marquis Sylvie, Konieczny Sébastien, Marquis Pierre, Ouali Mohand Akli,
Weighted attacks in argumentation frameworks,
in 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), pp. 593-597, 2012. [BibTeX...]
Bordeaux Lucas, Janota Mikolas, Marques-Silva Joao, Marquis Pierre,
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. [BibTeX...]
Konieczny Sébastien, Marquis Pierre, Schwind Nicolas,
Belief Base Rationalization for Propositional Merging,
in 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), pp. 951-956, july 2011. [Abstract] [Download] [BibTeX...]
Marquis Pierre, Schwind Nicolas,
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, july 2011. [Abstract] [Download] [BibTeX...]
Marquis Pierre,
Existential Closures for Knowledge Compilation,
in 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), pp. 996-1001, july 2011. [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
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, october 2010. [Abstract] [Download] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Majority Merging: From Boolean Spaces to Affine Spaces,
in 19th European Conference on Artificial Intelligence (ECAI'10), pp. 627-632, august 2010. [Abstract] [Download] [BibTeX...]
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
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. [BibTeX...]
Bienvenu M., Fargier H., Marquis Pierre,
Knowledge Compilation in the Modal Logic S5,
in 24th AAAI Conference on Artificial Intelligence (AAAI'10), pp. 261-266, 2010. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
The Epistemic View of Belief Merging: Can We Track the Truth?,
in 19th European Conference on Artificial Intelligence (ECAI'10), pp. 621-626, 2010. [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Merging Qualitative Constraint Networks in a Piecewise Fashion,
in 21st International Conference on Tools with Artificial Intelligence (ICTAI'09), pp. 605-608, november 2009. (short paper) [Abstract] [Download] [BibTeX...]
Le Berre Daniel, Marquis Pierre, Öztürk Meltem,
Aggregating Interval Orders by Propositional Optimization,
in 1st International Conference on Algorithmic Decision theory (ADT'09), Springer Verlag LNAI 5783, pp. 249-260, october 2009. [Download] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Merging Qualitative Constraints Networks Defined on Different Qualitative Formalisms,
in Conference on Spatial Information Theory (COSIT'09), pp. 106-123, september 2009. [Abstract] [Download] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
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, july 2009. [Abstract] [Download] [BibTeX...]
Fargier H., Marquis Pierre,
Knowledge Compilation Properties of Trees-of-BDDs, Revisited,
in 21st International Joint Conference on Artificial Intelligence (IJCAI'09), pp. 772-777, 2009. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
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, september 2008. [Download] [BibTeX...]
Fargier H., Marquis Pierre,
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond,
in 23th AAAI Conference on Artificial Intelligence (AAAI'08), pp. 442-447, 2008. [BibTeX...]
Fargier H., Marquis Pierre,
Extending the Knowledge Compilation Map: Closure Principles,
in 18th European Conference on Artificial Intelligence (ECAI'08), pp. 50-54, 2008. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Conflict-Based Merging Operators,
in 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), pp. 348-357, 2008. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Propositional merging operators based on set-theoretic closeness,
in 18th European Conference on Artificial Intelligence (ECAI'08), pp. 737-738, 2008. (Poster) [BibTeX...]
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
A model for multiple outcomes games,
in 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'08), pp. 27-34, vol1, 2008. [BibTeX...]
Van Ditmarsch Hans, Herzig A., Lang J., Marquis Pierre,
Introspective Forgetting,
in 21st Australasian Joint Conference on Artificial Intelligence (AI'08), Springer-Verlag, pp. 18-29, 2008. [BibTeX...]
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
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. [BibTeX...]
Fargier H., Marquis Pierre,
On Valued Negation Normal Form Formulas,
in 20th International Joint Conference on Artificial Intelligence (IJCAI'07), pp. 360-365, 2007. [BibTeX...]
Coste-Marquis Sylvie, Fargier H., Lang J., Le Berre Daniel, Marquis Pierre,
Representing Policies for Quantified Boolean Formulae,
in 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), AAAI Press, pp. 286-296, june 2006. [Download] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Constrained Argumentation Frameworks,
in 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), AAAI Press, pp. 112-122, june 2006. [Download] [BibTeX...]
Fargier H., Marquis Pierre,
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. [BibTeX...]
Besnard P, Lang J., Marquis Pierre,
Variable Forgetting in Preference Relations over Propositional Domains,
in 17th European Conference on Artificial Intelligence (ECAI'06), pp. 763-764, 2006. (poster) [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Inference from controversial arguments,
in 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'05), Lecture Notes in Artificial Intelligence (LNAI 3835), Springer, pp. 606-620, december 2005. [Download] [BibTeX...]
Gauwin O., Konieczny Sébastien, Marquis Pierre,
Conciliation and Consensus in Iterated Belief Merging,
in 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] [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Reasoning under Inconsistency: The Forgotten Connective,
in 19th International Joint Conference on Artificial Intelligence (IJCAI'05), pp. 484-489, 2005. [Download] [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Quota and Gmin Merging Operators,
in 19th International Joint Conference on Artificial Intelligence (IJCAI'05), pp. 424-429, 2005. [Download] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Konieczny Sébastien, Lagasquie-schiex M-C, Marquis Pierre,
Merging Argumentation Systems,
in 20th National Conference on Artificial Intelligence (AAAI'05), pp. 614-619, 2005. [Download] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Symmetric Argumentation Frameworks,
in 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. [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Prudent Semantics for Argumentation Frameworks,
in 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05), pp. 368-372, 2005. [BibTeX...]
Coste-Marquis Sylvie, Le Berre Daniel, Letombe Florian, Marquis Pierre,
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae,
in 20th National Conference on Artificial Intelligence (AAAI'05), pp. 288-293, 2005. [Download] [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning,
in 16th European Conference on Artificial Intelligence (ECAI'04), pp. 803--807, august 2004. [Download] [BibTeX...]
Coste-Marquis Sylvie, Lang J., Liberatore P., Marquis Pierre,
Expressive power and succinctness of propositional languages for preference representation,
in 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04), pp. 203-212, june 2004. [Download] [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
On Merging Strategy-Proofness,
in 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04), pp. 357-367, 2004. [Download] [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Quantifying information and contradiction in propositional logic through test actions,
in 18th International Joint Conference on artificial Intelligence (IJCAI'03), pp. 106 - 111, 2003. [Download] [BibTeX...]
Herzig A., Lang J., Marquis Pierre,
Action representation and partially observable planning using epistemic logic,
in 18th International Joint Conference on Artificial Intelligence (IJCAI'03), pp. 1067-1072, 2003. [BibTeX...]
Lang J., Lin F., Marquis Pierre,
Causal theories of action: a computational core,
in 18th International Joint Conference on Artificial Intelligence (IJCAI'03), pp. 1073-1078, 2003. [BibTeX...]
Konieczny Sébastien, Marquis Pierre,
Three-valued logics for inconsistency handling,
in 8th European Conference on Logics in Artificial Intelligence (JELIA'02), LNAI 2424, Springer Verlag, pp. 332-344, september 2002. [Download] [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Distance-based merging: a general framework and some complexity results,
in 8th International Conference on Principles of Knowledge Representation and Reasoning (KR'02), pp. 97-108, 2002. [Download] [BibTeX...]
Lang J., Marquis Pierre,
Resolving inconsistencies by variable forgetting,
in 8th International Conference on Principles of Knowledge Representation and Reasoning (KR'02), Morgan Kaufmann Publishers, Inc., pp. 239-250, 2002. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
Complexity results for paraconsistent inference relations,
in 8th International Conference on Principles of Knowledge Representation and Reasoning (KR'02), Morgan Kaufmann Publishers, Inc., pp. 61-72, 2002. [BibTeX...]
Lang J., Marquis Pierre, Williams Mary-Anne,
Updating epistemic states,
in 14th Australian Joint Conference on Artificial Intelligence (AI'01), pp. 297-308, december 2001. [BibTeX...]
Herzig A., Lang J., Marquis Pierre, Polacsek T.,
Updates, actions and planning,
in 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Morgan Kaufmann Publishers, Inc., pp. 119-124, august 2001. [BibTeX...]
Marquis Pierre, Porquet Nadège,
Resource-bounded inference from inconsistent belief bases,
in 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Morgan Kaufmann Publishers, Inc., pp. 103-108, august 2001. [BibTeX...]
Darwiche A., Marquis Pierre,
A perspective on knowledge compilation,
in 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Morgan Kaufmann Publishers, Inc., pp. 175-182, august 2001. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
Compiling Stratified Belief Bases,
in 14th European Conference on Artificial Intelligence (ECAI'00), pp. 23-27, august 2000. [BibTeX...]
Lang J., Marquis Pierre,
In Search of the Right Extension,
in 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'00), Morgan Kaufmann, pp. 625-636, 2000. [BibTeX...]
Fargier H., Lang J., Marquis Pierre,
Propositional Logic and One-Stage Decision Making,
in 7th International Conference on Principles of Knowledge Representation and Reasoning (KR'00), Morgan Kaufmann, pp. 445-456, 2000. [BibTeX...]
Bailleux Olivier, Marquis Pierre,
Distance-SAT : Complexity and Algorithms,
in 16th National Conference on Artificial Intelligence (AAAI'99), AAAI Press, pp. 642-647, july 1999. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases,
in 16th International Joint Conference on Artificial Intelligence (IJCAI'99), pp. 24-29, 1999. [BibTeX...]
Fargier H., Marquis Pierre,
Knowledge Compilation Properties of Trees-of-BDDs, Revisited,
in 16th International Joint Conference on Artificial Intelligence (IJCAI'99), pp. 772-777, 1999. [BibTeX...]
Bessant Brigitte, Grégoire Éric, Marquis Pierre, Saïs Lakhdar,
Combining nonmonotonic reasoning and belief revision: a practical approach,
in 8th International Conference on Artificial Intelligence Methodology, Systems, Applications (AIMSA'98), LNCS 1480, Springer Verlag, pp. 115-128, september 1998. (Best Paper Award) [BibTeX...]
Lang J., Marquis Pierre,
Two forms of Dependence in Propositional Logic: Controllability and Definability,
in 15th National Conference on Artificial Intelligence (AAAI'98), pp. 268-273, 1998. [BibTeX...]
Lang J., Marquis Pierre,
Complexity Results for Independence and Definability in Propositional Logic,
in 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Morgan Kaufmann, pp. 356-367, 1998. [BibTeX...]
Lachiche N., Marquis Pierre,
Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterization,
in 10th European Conference on Machine Learning (ECML'98), LNCS 1398, Springer Verlag, pp. 268-279, 1998. [BibTeX...]
Boufkhad Yacine, Grégoire Éric, Marquis Pierre, Mazure Bertrand, Saïs Lakhdar,
Tractable cover compilations,
in 15th International Joint Conference on Artificial Intelligence (IJCAI'97), pp. 122-127, august 1997. [Download] [BibTeX...]
Lachiche N., Marquis Pierre,
A Model for Generalization based on Confirmatory Induction,
in 9th European Conference on Machine Learning (ECML'97), LNCS 1224, Springer-Verlag, pp. 154-161, 1997. [BibTeX...]
Marquis Pierre, Sadaoui S.,
A New Algorithm for Computing Prime Implicates Compilations,
in 13th National Conference on Artificial Intelligence (AAAI'96), pp. 504-509, 1996. [BibTeX...]
Marquis Pierre,
Knowledge Compilation Using Theory Prime Implicates,
in 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 837-843, 1995. [BibTeX...]
Marquis Pierre,
Possible Models Approach via Independency,
in 11th European Conference on Artificial Intelligence (ECAI'94), Wiley, pp. 336-340, august 1994. [BibTeX...]
Bouzid Maroua, Charpillet F., Marquis Pierre, Haton J.-P.,
Assumption-based Truth Maintenance in Presence of Temporal Assertions,
in 6th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'94), IEEE Computer Society Press, pp. 492-498, 1994. [BibTeX...]
International conference paper(s) without proceedings
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
Qualitative multiple outcomes games with consensus,
in Third World Congress of the Game Theory Society (GAME'08), 2008. [BibTeX...]
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
A Characterization of an Optimality Criterion for Decision Making under Complete Ignorance,
in Workshop on Decision, Games and Logic (DGL'08), 2008. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
A diff-Based Merging Operator,
in 12th International Workshop on Non-Monotonic Reasoning (NMR'08), pp. 19-25, 2008. [BibTeX...]
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
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. [BibTeX...]
Marquis Pierre, Öztürk Meltem,
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. [Download] [BibTeX...]
Loukil Zied, Marquis Pierre, Vidal Vincent,
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é) [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
On the Logic of Merging: Quota and Gmin Merging Operators,
in 7th International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense'05), 2005. [BibTeX...]
Gauwin Olivier, Konieczny Sébastien, Marquis Pierre,
Iterated Belief Merging as Conciliation Operators,
in 7th International Symposium on Logical Formalizations of Commonsense Reasoning (CommonSense'05), 2005. [BibTeX...]
Herzig A., Lang J., Marquis Pierre,
Revision and update in multiagent belief structures,
in 6th Conference on Logic and the Foundations of Game and Decision Theory (LOFT'04), 2004. [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Measures of contradiction and information in propositional bases,
in 3rd World Congress on Paraconsistency (WCP'03), 2003. [BibTeX...]
Darwiche A., Marquis Pierre,
Compilation of propositional weighted bases,
in 9th International Workshop on Nonmonotonic Reasoning (NMR'02), pp. 6-14, 2002. [BibTeX...]
Herzig A., Lang J., Marquis Pierre,
Planning as abduction,
in IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information , august 2001. [BibTeX...]
Amilhastre J., Fargier H., Marquis Pierre,
Consistency restorations and explanations in dynamic CSP - Application to configuration,
in ECAI-00 Workshop on Modelling and Solving Problems with Constraints , august 2000. [BibTeX...]
Marquis Pierre, Porquet Nadège,
Decomposing Propositional Knowledge Bases through Topics (extended abstract),
in Meeting on Partial Knowledge and Uncertainty : Independence, Conditioning, Inference , 2000. [BibTeX...]
Bessant Brigitte, Grégoire Éric, Marquis Pierre, Saïs Lakhdar,
Syntax-based belief revision through local search,
in Proceedings of the International Workshop on Belief Revision (Wks-BR'98), june 1998. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
Characterizing Consistency-Based Diagnoses,
in 5th International Symposium on Artificial Intelligence and Mathematics (AI&Maths'98), january 1998. (electronic proceedings) [BibTeX...]
Lachiche N., Marquis Pierre,
Rule-Based Classification without Rules thanks to Instance-Based Learning,
in 15th International Joint Conference on Artificial Intelligence (IJCAI'97), 1997. (Accepté comme poster (l'article ne figure pas dans les actes suite à une erreur d acheminement postal)) [BibTeX...]
Lachiche N., Marquis Pierre,
Abduction, Induction and Completion Policies (Research Note),
in ECAI-96 Workshop on Abductive and Inductive Reasoning , pp. 43-46, august 1996. [BibTeX...]
Mazure Bertrand, Marquis Pierre,
Theory Reasoning within Implicant Cover Compilations,
in Proceedings of the ECAI-96 Workshop on Advances in Propositional Deduction (Wks-APD-ECAI'96), pp. 65-69, august 1996. [Download] [BibTeX...]
Lieber J., Marquis Pierre,
Domain-Independent Similarity Relations for Case-Based Reasoning in a Logical Framework,
in International Symposium on Methodologies for Intelligent Systems - posters (ISMIS'96), pp. 230-241, 1996. (Accepté comme poster) [BibTeX...]
Grégoire Éric, Marquis Pierre,
Novelty in Deductive Databases,
in Workshop on Non-Standard Logics in Computer Science , september 1993. (exposé invité) [BibTeX...]
National conference paper(s)
Coste-Marquis Sylvie, Konieczny Sébastien, Mailly Jean-Guy, Marquis Pierre,
R?vision de syst?mes d'argumentation : changement minimal du statut des arguments,
in 7èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'13), pp. 10, june 2013. (? para?tre) [Abstract] [BibTeX...]
Le Berre Daniel, Lonca Emmanuel, Marquis Pierre, Parrain Anne,
Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles,
in 8èmes Journées Francophones de Programmation par Contraintes (JFPC'12), pp. 180 - 185, may 2012. [Download] [BibTeX...]
Le Berre Daniel, Lonca Emmanuel, Marquis Pierre, Parrain Anne,
Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de Tchebycheff,
in 18ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12), january 2012. [Download] [BibTeX...]
Konieczny Sébastien, Marquis Pierre, Schwind Nicolas,
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, june 2011. [Abstract] [Download] [BibTeX...]
Marquis Pierre, Schwind Nicolas,
Lost in translation: sur l'indépendance au langage en logique propositionnelle - application à la révision et la fusion de croyances,
in 6èmes journées francophones sur les Modèles Formels de l'Interaction (MFI'11), june 2011. [Abstract] [Download] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Une approche syntaxique pour le problème de la fusion de réseaux de contraintes qualitatives,
in 6èmes Journées Francophones de Programmation par Contraintes (JFPC'10), pp. 103-112, june 2010. [Abstract] [Download] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Fusion majoritaire : des espaces booléens aux espaces affines,
in Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'10), june 2010. [Abstract] [Download] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
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), october 2009. [Abstract] [Download] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Fusion de réseaux de contraintes qualitatives par morceaux,
in Journées Francophones de la Programmation par Contraintes (JFPC'09), pp. 135-144, june 2009. [Abstract] [Download] [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Un point de vue épistémique sur la fusion de croyances : l'identification du monde réel,
in 5èmes journées francophones sur les Modèles Formels de l'Interaction (MFI'09), pp. 135-145, 2009. [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
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), june 2008. [Abstract] [Download] [BibTeX...]
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
Jeux Qualitatifs à Résultats Multiples,
in Journées Francophones sur les Systèmes Multi-Agents (JFSMA'08), 2008. [BibTeX...]
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
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] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Sémantiques prudentes pour les systèmes d'argumentation,
in 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'06), january 2006. (Actes électroniques) [BibTeX...]
Coste-Marquis Sylvie, Le Berre Daniel, Letombe Florian, Marquis Pierre,
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), january 2006. (Actes électroniques) [Download] [BibTeX...]
Loukil Zied, Ben Hamadou Abdelmajid, Marquis Pierre, Vidal Vincent,
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. [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Systèmes d'argumentation symétriques,
in 3èmes journées francophones sur les Modèles Formels de l'Interaction (MFI'05), pp. 223-228, 2005. [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Raisonnement en présence d'incohérence : le connecteur oublié,
in 14ème congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA'04), pp. 1091-1099, january 2004. [Download] [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Opérateurs de fusion à quota,
in 3èmes journées nationales sur les modèles de raisonnement (JNMR'03), pp. 91-105, 2003. [Download] [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
De la manipulabilité des opérateurs de fusion de croyances,
in 3èmes journées nationales sur les modèles de raisonnement (JNMR'03), pp. 107-121, 2003. [Download] [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Fusion de bases de croyances à partir de distances : modèle général et complexité algorithmique,
in 13 ème congrès francophone AFRIF-AFIA de reconnaissance des Formes et Intelligence Artificielle (RFIA'02), pp. 695-704, 2002. [Download] [BibTeX...]
Coste-Marquis Sylvie, Fargier H., Lang J., Le Berre Daniel, Marquis Pierre,
Résolution de formules booléennes quantifiées : problèmes et algorithmes,
in 13 ème congrès francophone AFRIF-AFIA de reconnaissance des Formes et Intelligence Artificielle (RFIA'02), pp. 289-298, 2002. (Prix de la meilleure contribution) [Download] [BibTeX...]
Marquis Pierre, Porquet Nadège,
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, may 2001. [BibTeX...]
Amilhastre J., Fargier H., Marquis Pierre,
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, june 2000. [BibTeX...]
Lang J., Marquis Pierre,
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, february 2000. [BibTeX...]
Fargier H., Lang J., Marquis Pierre,
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, june 1999. [BibTeX...]
Bailleux Olivier, Marquis Pierre,
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, june 1999. [BibTeX...]
Lang J., Marquis Pierre,
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) [BibTeX...]
Bessant Brigitte, Grégoire Éric, Marquis Pierre,
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, may 1998. [BibTeX...]
Lachiche N., Marquis Pierre,
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), pp. 149-158, 1998. [BibTeX...]
Benferhat Salem, Besnard P, Cholvy L, Demolombe R, Dubois D., Gasquet O, Golmard J., Herzig A., Marquis Pierre, Moinard Y, Prade H., Schwind C,
(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, march 1997. [BibTeX...]
Marquis Pierre,
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. [BibTeX...]
Lachiche N., Smaili K., Marquis Pierre, Haton J.-P.,
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. [BibTeX...]
Marquis Pierre,
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. [BibTeX...]
Proceedings
Sèdes Florence, Ogier Jean-Marc, Marquis Pierre,
Information, Interaction, Intelligence ? le point sur le i(3),
in , may 2012. [BibTeX...]
Lang J., Marquis Pierre,
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),
in , february 2012. (volume 26, numéros 1 et 2) [BibTeX...]
Bloch Isabelle, Marquis Pierre,
numéro spécial suite à RFIA'08,
in , 2009. (volume 8, numéro 2) [BibTeX...]
Bloch I, Kassel G., Marquis Pierre, Mouaddib E.,
16ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'08), january 2008. [BibTeX...]
Kayser D., Marquis Pierre, Napoli A.,
Actes des 3èmes Journées Nationales sur les Modèles de Raisonnement (JNMR'03), 2003. [BibTeX...]
Marquis Pierre, Brassac Ch.,
Psychologie de l'interaction, Révision, cognition et interaction, L'Harmattan, 2001. (éditeurs) [BibTeX...]
Besnard P, Marquis Pierre,
Bulletin de l'AFIA, october 1998. ( Coordinateurs du dossier "Intelligence Artificielle et Logique") [BibTeX...]
Marquis Pierre, Zacklad M., Lang J.,
Actes des quatrièmes rencontres Nat. des jeunes chercheurs en intelligence artificielle (RJCIA-98), september 1998. (éditeurs) [BibTeX...]
Marquis Pierre, Manaris B.,
Intl. Journ. on Artificial Intelligence Tools, World Scientific, december 1997. (éditeurs invités) [BibTeX...]
Book chapter(s)
Bouzid Maroua, Cholvy L, Dubois D., Garcia L, Konieczny Sébastien, Le Ber Florence, Ligozat G., Marquis Pierre, Nicolas Pascal, Papini Odile, Prade Henri, Saïs Lakhdar,
Intelligence Artificielle Fondamentale : Ses contours généraux et un aperçu de quelques problématiques importantes,
Cépuades, 2012. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
On the complexity of paraconsistent inference relations,
in Inconsistency Tolerance, vol. 3300, pp. 151-190, Bertossi, Hunter, Schaub(Eds.), Springer-Verlag, 2004. [BibTeX...]
Bessant Brigitte, Grégoire Éric, Marquis Pierre, Saïs Lakhdar,
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. [BibTeX...]
Marquis Pierre,
Consequence Finding Algorithms,
in Handbook on Defeasible Reasoning and Uncertainty Management Systems, vol. 5 :, chapter 2, pp. 41-145, Moral S. et Kohlas J. (eds.), Gabbay D. et Smets Ph. (série eds.)(Eds.), Kluwer Academic Publisher, 2000. [BibTeX...]
Marquis Pierre,
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, France, 1999. [BibTeX...]
Bonneau A., Charpillet F., Coste-Marquis Sylvie, Haton J.-P., Laprie Y., Marquis Pierre,
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. [BibTeX...]
Kounalis E., Marquis Pierre,
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. [BibTeX...]
Haton J.-P., Bouzid Nadjet, Charpillet F., Haton Marie-Christine, Laasri Brigitte, Laasri Hassan, Marquis Pierre, Mondot Thierry, Napoli A.,
Le raisonnement en intelligence artificielle,
in Modèles, techniques et architectures, InterEditions, Paris, France, 1991. [BibTeX...]
Habilitation(s) à Diriger des Recherches
Marquis Pierre,
Contributions à l'étude des aspects logiques du raisonnement hypothético-déductif en intelligence artificielle,
Habilitation à Diriger des Recherches, CRIL, Lens, France, december 1997. [BibTeX...]
PhD thesis
Marquis Pierre,
Contribution à l'étude des méthodes de construction d'hypothèses en intelligence artificielle,
PhD Thesis, France, february 1991. [BibTeX...]
Technical report(s)
Coste-Marquis Sylvie, Marquis Pierre,
Recovering Consistency by Forgetting Inconsistency,
Technical report, CRIL, october 2008. [Download] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Handling controversial arguments,
Technical report, 2006. [BibTeX...]