Partenaires
Accueil du site > Annuaire > Annuaire
Annuaire
Pierre Marquis
Professeur des Universités
- Tel. : 03.21.79.17.86
- Fax : 03 21 79 17 70
- Courriel : marquis@cril.univ-artois.fr
- Page perso : http://www.cril.univ-artois.fr/~marquis
Axe(s) de recherche
Article(s) de revue(s) internationale(s)
Lang J., Marquis Pierre,
Reasoning under Inconsistency: A Forgetting-Based Approach,
dans 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,
dans 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,
dans 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,
dans 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,
dans 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,
dans International Journal of Intelligent Systems (IJIS), vol. 23, n° 10, pp. 1046-1061, octobre 2008. [BibTeX...]
Lang J., Marquis Pierre,
On Propositional Definability,
dans Artificial Intelligence Journal (AIJ), vol. 172, pp. 991-1017, 2008. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
The Strategy-Proofness Landscape of Merging,
dans Journal of Artificial Intelligence Research (JAIR), vol. 28, pp. 49-105, 2007. [Télécharger] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Konieczny Sébastien, Lagasquie-schiex M-C, Marquis Pierre,
On the Merging of Dung's Argumentation Systems,
dans Artificial Intelligence Journal (AIJ), vol. 171, pp. 730-753, 2007. [Télécharger] [BibTeX...]
Gauwin Olivier, Konieczny Sébastien, Marquis Pierre,
Conciliation through Iterated Belief Merging ,
dans 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,
dans Journal on Satisfiability, Boolean Modeling and Computation (JSAT), vol. 1, pp. 61-88, mars 2006. [Télécharger] [BibTeX...]
Bailleux Olivier, Marquis Pierre,
Some Computational Aspects of DISTANCE-SAT,
dans Journal of Automated Reasoning (JAR), vol. 37, n° 4, pp. 231-260, 2006. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
On Stratified Belief Base Compilation,
dans Annals of Mathematics and Artificial Intelligence (AMAI), vol. 42, n° 4, Kluwer Academic Publishers, pp. 399-442, décembre 2004. [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
DA2 Merging Operators,
dans Artificial Intelligence Journal (AIJ), vol. 157, n° 1-2, pp. 49-79, 2004. [Télécharger] [BibTeX...]
Darwiche A., Marquis Pierre,
Compiling Propositional Weighted Bases,
dans 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,
dans Journal of Artificial Intelligence Research (JAIR), vol. 18, pp. 391--443, 2003. [BibTeX...]
Marquis Pierre, Porquet Nadège,
Resource-Bounded Paraconsistent Inference,
dans 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,
dans 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,
dans Artificial Intelligence Journal (AIJ), vol. 141, n° 1-2, pp. 75-121, 2002. [BibTeX...]
Darwiche A., Marquis Pierre,
A Knowledge Compilation Map,
dans 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,
dans 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,
dans Studia Logica (Studia Logica), vol. 67, n° 2, pp. 179-214, 2001. [BibTeX...]
Marquis Pierre, Porquet Nadège,
Computational Aspects of Quasi-Classical Entailment,
dans 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,
dans Journal of Logic and Computation (JLC), vol. 6, n° 5, Oxford Univ. Press, pp. 683-708, 1996. [BibTeX...]
Marquis Pierre,
Skeptical Abduction,
dans 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,
dans IEEE Transactions on Systems, Man and Cybernetics (IEEE SMC), vol. 23, n° 3, pp. 729-808, 1993. [BibTeX...]
Article(s) de revue(s) nationale(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,
dans Journal Electronique d'Intelligence Artificielle (JEDAI) (JEDAI), vol. 4, 2004. [BibTeX...]
Marquis Pierre,
La révision en intelligence artificielle : deux paradigmes,
dans Psychologie de l'interaction, Révision, cognition et interaction , vol. 11-1, L'Harmattan, pp. 11-37, 2001. [BibTeX...]
Communication(s) dans des conférences d'audience internationale avec publication des actes
Le Berre Daniel, Marquis Pierre, Roussel Stéphanie,
Planning Personalised Museum Visits,
dans 23rd International Conference on Automated Planning and Scheduling (ICAPS'13), juin 2013. [BibTeX...]
Dunne Paul E., Marquis Pierre, Wooldridge Michael,
Argument Aggregation: Basic Axioms and Complexity Results,
dans 4th International Conference on Computational Models of Argument (COMMA'12), pp. 129-140, septembre 2012. [BibTeX...]
Coste-Marquis Sylvie, Konieczny Sébastien, Marquis Pierre, Ouali Mohand A.,
Selecting Extensions in Weighted Argumentation Frameworks,
dans 4th International Conference on Computational Models of Argument (COMMA'12), pp. 342-349, septembre 2012. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Compositional belief merging,
dans 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,
dans 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,
dans 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,
dans 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), pp. 951-956, juillet 2011. [Résumé] [Télécharger] [BibTeX...]
Marquis Pierre, Schwind Nicolas,
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging,
dans 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), pp. 1002-1007, juillet 2011. [Résumé] [Télécharger] [BibTeX...]
Marquis Pierre,
Existential Closures for Knowledge Compilation,
dans 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), pp. 996-1001, juillet 2011. [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
A Syntactical Approach to Qualitative Constraint Networks Merging,
dans 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'10), pp. 233-247, octobre 2010. [Résumé] [Télécharger] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Majority Merging: From Boolean Spaces to Affine Spaces,
dans 19th European Conference on Artificial Intelligence (ECAI'10), pp. 627-632, août 2010. [Résumé] [Télécharger] [BibTeX...]
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance,
dans 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,
dans 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?,
dans 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,
dans 21st International Conference on Tools with Artificial Intelligence (ICTAI'09), pp. 605-608, novembre 2009. (short paper) [Résumé] [Télécharger] [BibTeX...]
Le Berre Daniel, Marquis Pierre, Öztürk Meltem,
Aggregating Interval Orders by Propositional Optimization,
dans 1st International Conference on Algorithmic Decision theory (ADT'09), Springer Verlag LNAI 5783, pp. 249-260, octobre 2009. [Télécharger] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Merging Qualitative Constraints Networks Defined on Different Qualitative Formalisms,
dans Conference on Spatial Information Theory (COSIT'09), pp. 106-123, septembre 2009. [Résumé] [Télécharger] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Merging Qualitative Constraints Networks Using Propositional Logic,
dans 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09), pp. 347-358, juillet 2009. [Résumé] [Télécharger] [BibTeX...]
Fargier H., Marquis Pierre,
Knowledge Compilation Properties of Trees-of-BDDs, Revisited,
dans 21st International Joint Conference on Artificial Intelligence (IJCAI'09), pp. 772-777, 2009. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
Recovering Consistency by Forgetting Inconsistency,
dans 11th European Conference on Logics in Artificial Intelligence (JELIA'08), Lecture Notes in Artificial Intelligence 5293, Springer-Verlag, pp. 113-125, septembre 2008. [Télécharger] [BibTeX...]
Fargier H., Marquis Pierre,
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond,
dans 23th AAAI Conference on Artificial Intelligence (AAAI'08), pp. 442-447, 2008. [BibTeX...]
Fargier H., Marquis Pierre,
Extending the Knowledge Compilation Map: Closure Principles,
dans 18th European Conference on Artificial Intelligence (ECAI'08), pp. 50-54, 2008. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Conflict-Based Merging Operators,
dans 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,
dans 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,
dans 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,
dans 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,
dans 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,
dans 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,
dans 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), AAAI Press, pp. 286-296, juin 2006. [Télécharger] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Constrained Argumentation Frameworks,
dans 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06), AAAI Press, pp. 112-122, juin 2006. [Télécharger] [BibTeX...]
Fargier H., Marquis Pierre,
On the Use of Partially Ordered Decision Graphs for Knowledge Compilation and Quantified Boolean Formulae,
dans 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,
dans 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,
dans 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'05), Lecture Notes in Artificial Intelligence (LNAI 3835), Springer, pp. 606-620, décembre 2005. [Télécharger] [BibTeX...]
Gauwin O., Konieczny Sébastien, Marquis Pierre,
Conciliation and Consensus in Iterated Belief Merging,
dans 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. [Télécharger] [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Reasoning under Inconsistency: The Forgotten Connective,
dans 19th International Joint Conference on Artificial Intelligence (IJCAI'05), pp. 484-489, 2005. [Télécharger] [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Quota and Gmin Merging Operators,
dans 19th International Joint Conference on Artificial Intelligence (IJCAI'05), pp. 424-429, 2005. [Télécharger] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Konieczny Sébastien, Lagasquie-schiex M-C, Marquis Pierre,
Merging Argumentation Systems,
dans 20th National Conference on Artificial Intelligence (AAAI'05), pp. 614-619, 2005. [Télécharger] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Symmetric Argumentation Frameworks,
dans 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,
dans 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,
dans 20th National Conference on Artificial Intelligence (AAAI'05), pp. 288-293, 2005. [Télécharger] [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning,
dans 16th European Conference on Artificial Intelligence (ECAI'04), pp. 803--807, août 2004. [Télécharger] [BibTeX...]
Coste-Marquis Sylvie, Lang J., Liberatore P., Marquis Pierre,
Expressive power and succinctness of propositional languages for preference representation,
dans 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04), pp. 203-212, juin 2004. [Télécharger] [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
On Merging Strategy-Proofness,
dans 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04), pp. 357-367, 2004. [Télécharger] [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Quantifying information and contradiction in propositional logic through test actions,
dans 18th International Joint Conference on artificial Intelligence (IJCAI'03), pp. 106 - 111, 2003. [Télécharger] [BibTeX...]
Herzig A., Lang J., Marquis Pierre,
Action representation and partially observable planning using epistemic logic,
dans 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,
dans 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,
dans 8th European Conference on Logics in Artificial Intelligence (JELIA'02), LNAI 2424, Springer Verlag, pp. 332-344, septembre 2002. [Télécharger] [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Distance-based merging: a general framework and some complexity results,
dans 8th International Conference on Principles of Knowledge Representation and Reasoning (KR'02), pp. 97-108, 2002. [Télécharger] [BibTeX...]
Lang J., Marquis Pierre,
Resolving inconsistencies by variable forgetting,
dans 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,
dans 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,
dans 14th Australian Joint Conference on Artificial Intelligence (AI'01), pp. 297-308, décembre 2001. [BibTeX...]
Herzig A., Lang J., Marquis Pierre, Polacsek T.,
Updates, actions and planning,
dans 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Morgan Kaufmann Publishers, Inc., pp. 119-124, août 2001. [BibTeX...]
Marquis Pierre, Porquet Nadège,
Resource-bounded inference from inconsistent belief bases,
dans 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Morgan Kaufmann Publishers, Inc., pp. 103-108, août 2001. [BibTeX...]
Darwiche A., Marquis Pierre,
A perspective on knowledge compilation,
dans 17th International Joint Conference on Artificial Intelligence (IJCAI'01), Morgan Kaufmann Publishers, Inc., pp. 175-182, août 2001. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
Compiling Stratified Belief Bases,
dans 14th European Conference on Artificial Intelligence (ECAI'00), pp. 23-27, août 2000. [BibTeX...]
Lang J., Marquis Pierre,
In Search of the Right Extension,
dans 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,
dans 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,
dans 16th National Conference on Artificial Intelligence (AAAI'99), AAAI Press, pp. 642-647, juillet 1999. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases,
dans 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,
dans 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,
dans 8th International Conference on Artificial Intelligence Methodology, Systems, Applications (AIMSA'98), LNCS 1480, Springer Verlag, pp. 115-128, septembre 1998. (Best Paper Award) [BibTeX...]
Lang J., Marquis Pierre,
Two forms of Dependence in Propositional Logic: Controllability and Definability,
dans 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,
dans 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,
dans 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,
dans 15th International Joint Conference on Artificial Intelligence (IJCAI'97), pp. 122-127, août 1997. [Télécharger] [BibTeX...]
Lachiche N., Marquis Pierre,
A Model for Generalization based on Confirmatory Induction,
dans 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,
dans 13th National Conference on Artificial Intelligence (AAAI'96), pp. 504-509, 1996. [BibTeX...]
Marquis Pierre,
Knowledge Compilation Using Theory Prime Implicates,
dans 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 837-843, 1995. [BibTeX...]
Marquis Pierre,
Possible Models Approach via Independency,
dans 11th European Conference on Artificial Intelligence (ECAI'94), Wiley, pp. 336-340, août 1994. [BibTeX...]
Bouzid Maroua, Charpillet F., Marquis Pierre, Haton J.-P.,
Assumption-based Truth Maintenance in Presence of Temporal Assertions,
dans 6th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'94), IEEE Computer Society Press, pp. 492-498, 1994. [BibTeX...]
Communication(s) dans des conférences d'audience internationale sans publication des actes
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
Qualitative multiple outcomes games with consensus,
dans 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,
dans Workshop on Decision, Games and Logic (DGL'08), 2008. [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
A diff-Based Merging Operator,
dans 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,
dans 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,
dans 3rd Multidisciplinary Workshop on Advances in Preference Handling - workshop at VLDB'07 (M-PREF'07), 2007. [Télécharger] [BibTeX...]
Loukil Zied, Marquis Pierre, Vidal Vincent,
Improvement of an optimal temporal planner by giving it the ability to manage resources ,
dans 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,
dans 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,
dans 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,
dans 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,
dans 3rd World Congress on Paraconsistency (WCP'03), 2003. [BibTeX...]
Darwiche A., Marquis Pierre,
Compilation of propositional weighted bases,
dans 9th International Workshop on Nonmonotonic Reasoning (NMR'02), pp. 6-14, 2002. [BibTeX...]
Herzig A., Lang J., Marquis Pierre,
Planning as abduction,
dans IJCAI-01 Workshop on Planning under Uncertainty and Incomplete Information , août 2001. [BibTeX...]
Amilhastre J., Fargier H., Marquis Pierre,
Consistency restorations and explanations in dynamic CSP - Application to configuration,
dans ECAI-00 Workshop on Modelling and Solving Problems with Constraints , août 2000. [BibTeX...]
Marquis Pierre, Porquet Nadège,
Decomposing Propositional Knowledge Bases through Topics (extended abstract),
dans 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,
dans Proceedings of the International Workshop on Belief Revision (Wks-BR'98), juin 1998. [BibTeX...]
Coste-Marquis Sylvie, Marquis Pierre,
Characterizing Consistency-Based Diagnoses,
dans 5th International Symposium on Artificial Intelligence and Mathematics (AI&Maths'98), janvier 1998. (electronic proceedings) [BibTeX...]
Lachiche N., Marquis Pierre,
Rule-Based Classification without Rules thanks to Instance-Based Learning,
dans 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),
dans ECAI-96 Workshop on Abductive and Inductive Reasoning , pp. 43-46, août 1996. [BibTeX...]
Mazure Bertrand, Marquis Pierre,
Theory Reasoning within Implicant Cover Compilations,
dans Proceedings of the ECAI-96 Workshop on Advances in Propositional Deduction (Wks-APD-ECAI'96), pp. 65-69, août 1996. [Télécharger] [BibTeX...]
Lieber J., Marquis Pierre,
Domain-Independent Similarity Relations for Case-Based Reasoning in a Logical Framework,
dans 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,
dans Workshop on Non-Standard Logics in Computer Science , septembre 1993. (exposé invité) [BibTeX...]
Communication(s) dans des conférences d'audience nationale
Coste-Marquis Sylvie, Konieczny Sébastien, Mailly Jean-Guy, Marquis Pierre,
R?vision de syst?mes d'argumentation : changement minimal du statut des arguments,
dans 7èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'13), pp. 10, juin 2013. (? para?tre) [Résumé] [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,
dans 8èmes Journées Francophones de Programmation par Contraintes (JFPC'12), pp. 180 - 185, mai 2012. [Télécharger] [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,
dans 18ème congrès francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12), janvier 2012. [Télécharger] [BibTeX...]
Konieczny Sébastien, Marquis Pierre, Schwind Nicolas,
Rationalisation de bases de croyances pour la fusion en logique propositionnelle,
dans Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'11), pp. 140-154, juin 2011. [Résumé] [Télécharger] [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,
dans 6èmes journées francophones sur les Modèles Formels de l'Interaction (MFI'11), juin 2011. [Résumé] [Télécharger] [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,
dans 6èmes Journées Francophones de Programmation par Contraintes (JFPC'10), pp. 103-112, juin 2010. [Résumé] [Télécharger] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Fusion majoritaire : des espaces booléens aux espaces affines,
dans Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'10), juin 2010. [Résumé] [Télécharger] [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,
dans Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), octobre 2009. [Résumé] [Télécharger] [BibTeX...]
Condotta Jean-François, Kaci Souhila, Marquis Pierre, Schwind Nicolas,
Fusion de réseaux de contraintes qualitatives par morceaux,
dans Journées Francophones de la Programmation par Contraintes (JFPC'09), pp. 135-144, juin 2009. [Résumé] [Télécharger] [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,
dans 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,
dans Représentation et Raisonnement sur le Temps et l'Espace (RTE'08), juin 2008. [Résumé] [Télécharger] [BibTeX...]
Ben Larbi Ramzi, Konieczny Sébastien, Marquis Pierre,
Jeux Qualitatifs à Résultats Multiples,
dans 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,
dans 4èmes journées francophones sur les Modèles Formels de l'Interaction (MFI'07), pp. 25-36, 2007. [Télécharger] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Sémantiques prudentes pour les systèmes d'argumentation,
dans 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'06), janvier 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,
dans 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA'06), janvier 2006. (Actes électroniques) [Télécharger] [BibTeX...]
Loukil Zied, Ben Hamadou Abdelmajid, Marquis Pierre, Vidal Vincent,
Les ressources et la planification temporelle,
dans 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,
dans 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é,
dans 14ème congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA'04), pp. 1091-1099, janvier 2004. [Télécharger] [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
Opérateurs de fusion à quota,
dans 3èmes journées nationales sur les modèles de raisonnement (JNMR'03), pp. 91-105, 2003. [Télécharger] [BibTeX...]
Everaere Patricia, Konieczny Sébastien, Marquis Pierre,
De la manipulabilité des opérateurs de fusion de croyances,
dans 3èmes journées nationales sur les modèles de raisonnement (JNMR'03), pp. 107-121, 2003. [Télécharger] [BibTeX...]
Konieczny Sébastien, Lang J., Marquis Pierre,
Fusion de bases de croyances à partir de distances : modèle général et complexité algorithmique,
dans 13 ème congrès francophone AFRIF-AFIA de reconnaissance des Formes et Intelligence Artificielle (RFIA'02), pp. 695-704, 2002. [Télécharger] [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,
dans 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) [Télécharger] [BibTeX...]
Marquis Pierre, Porquet Nadège,
Inférence paraconsistante sous ressources limitées,
dans Actes des 2e Journées Nationales sur les Modèles de Raisonnement (JNMR-01), pp. 35-50, mai 2001. [BibTeX...]
Amilhastre J., Fargier H., Marquis Pierre,
Explications et aide à la restauration de la cohérence dans les CSP interactifs : application à la configuration,
dans Actes des Sixièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-Complets (JNPC-00), pp. 43-56, juin 2000. [BibTeX...]
Lang J., Marquis Pierre,
Boutons les incohérences hors de nos bases de connaissances,
dans 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. [BibTeX...]
Fargier H., Lang J., Marquis Pierre,
Décision en environnement partiellement observable et résolution de formules booléennes quantifiées,
dans Actes des Cinquièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-Complets (JNPC-99), pp. 129-138, juin 1999. [BibTeX...]
Bailleux Olivier, Marquis Pierre,
Distance-SAT : Complexité et Algorithmes,
dans Actes des Cinquièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-Complets (JNPC-99), pp. 199-206, juin 1999. [BibTeX...]
Lang J., Marquis Pierre,
Une approche logique de la définissabilité,
dans 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,
dans Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98), pp. 81-89, mai 1998. [BibTeX...]
Lachiche N., Marquis Pierre,
Classification par portée à partir de règles et d'exemples,
dans 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,
dans 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. [BibTeX...]
Marquis Pierre,
Compte-rendu des activités du groupe "Lois, Structures et Dépendances" du PRC-GDR présenté par Herzig A.,
dans 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,
dans 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),
dans Proc. of KI-Workshop on Computational Propositional Logic (CPL-95), pp. 85-86, 1995. [BibTeX...]
Actes de conférence(s)
Sèdes Florence, Ogier Jean-Marc, Marquis Pierre,
Information, Interaction, Intelligence ? le point sur le i(3),
dans , mai 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),
dans , février 2012. (volume 26, numéros 1 et 2) [BibTeX...]
Bloch Isabelle, Marquis Pierre,
numéro spécial suite à RFIA'08,
dans , 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), janvier 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, octobre 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), septembre 1998. (éditeurs) [BibTeX...]
Marquis Pierre, Manaris B.,
Intl. Journ. on Artificial Intelligence Tools, World Scientific, décembre 1997. (éditeurs invités) [BibTeX...]
Chapitre(s) d'ouvrage(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,
dans 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,
dans 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,
dans 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. [BibTeX...]
Marquis Pierre,
Sur les preuves non déductives en intelligence artificielle,
dans 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,
dans 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,
dans 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,
dans 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, décembre 1997. [BibTeX...]
Thèse de doctorat
Marquis Pierre,
Contribution à l'étude des méthodes de construction d'hypothèses en intelligence artificielle,
thèse de doctorat, France, février 1991. [BibTeX...]
Rapport(s) technique(s)
Coste-Marquis Sylvie, Marquis Pierre,
Recovering Consistency by Forgetting Inconsistency,
rapport technique, CRIL, octobre 2008. [Télécharger] [BibTeX...]
Coste-Marquis Sylvie, Devred Caroline, Marquis Pierre,
Handling controversial arguments,
rapport technique, 2006. [BibTeX...]