 | 2009 |
|---|
| 85 |       | Daniel Le Berre,
Pierre Marquis,
Meltem Öztürk:
Aggregating Interval Orders by Propositional Optimization.
ADT 2009: 249-260 |
| 84 | | Jean-François Condotta,
Souhila Kaci,
Pierre Marquis,
Nicolas Schwind:
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms.
COSIT 2009: 106-123 |
| 83 | | Jean-François Condotta,
Souhila Kaci,
Pierre Marquis,
Nicolas Schwind:
Merging Qualitative Constraints Networks Using Propositional Logic.
ECSQARU 2009: 347-358 |
| 82 | | Hélène Fargier,
Pierre Marquis:
Knowledge Compilation Properties of Trees-of-BDDs, Revisited.
IJCAI 2009: 772-777 |
| 81 | | Pierre Marquis,
Meltem Öztürk:
Representing interval orders by weighted bases: Some complexity results.
Mathematical Social Sciences 57(3): 367-388 (2009) |
| 2008 |
|---|
| 80 |  | Hélène Fargier,
Pierre Marquis:
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond.
AAAI 2008: 442-447 |
| 79 | | Hans P. van Ditmarsch,
Andreas Herzig,
Jérôme Lang,
Pierre Marquis:
Introspective Forgetting.
Australasian Conference on Artificial Intelligence 2008: 18-29 |
| 78 | | Hélène Fargier,
Pierre Marquis:
Extending the Knowledge Compilation Map: Closure Principles.
ECAI 2008: 50-54 |
| 77 | | Patricia Everaere,
Sébastien Konieczny,
Pierre Marquis:
Propositional merging operators based on set-theoretic closeness.
ECAI 2008: 737-738 |
| 76 | | Ramzi Ben Larbi,
Sébastien Konieczny,
Pierre Marquis:
A Model for Multiple Outcomes Games.
ICTAI (1) 2008: 27-34 |
| 75 | | Sylvie Coste-Marquis,
Pierre Marquis:
Recovering Consistency by Forgetting Inconsistency.
JELIA 2008: 113-125 |
| 74 | | Patricia Everaere,
Sébastien Konieczny,
Pierre Marquis:
Conflict-Based Merging Operators.
KR 2008: 348-357 |
| 73 | | Jérôme Lang,
Pierre Marquis:
On propositional definability.
Artif. Intell. 172(8-9): 991-1017 (2008) |
| 72 | | Sébastien Konieczny,
Pierre Marquis,
Philippe Besnard:
Bipolarity in bilattice logics.
Int. J. Intell. Syst. 23(10): 1046-1061 (2008) |
| 2007 |
|---|
| 71 | | Ramzi Ben Larbi,
Sébastien Konieczny,
Pierre Marquis:
Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach.
ECSQARU 2007: 731-742 |
| 70 | | Hélène Fargier,
Pierre Marquis:
On Valued Negation Normal Form Formulas.
IJCAI 2007: 360-365 |
| 69 | | Sylvie Coste-Marquis,
Caroline Devred,
Sébastien Konieczny,
Marie-Christine Lagasquie-Schiex,
Pierre Marquis:
On the merging of Dung's argumentation systems.
Artif. Intell. 171(10-15): 730-753 (2007) |
| 68 | | Patricia Everaere,
Sébastien Konieczny,
Pierre Marquis:
The Strategy-Proofness Landscape of Merging.
J. Artif. Intell. Res. (JAIR) 28: 49-105 (2007) |
| 67 | | Olivier Gauwin,
Sébastien Konieczny,
Pierre Marquis:
Conciliation through Iterated Belief Merging.
J. Log. Comput. 17(5): 909-937 (2007) |
| 2006 |
|---|
| 66 | | Hélène Fargier,
Pierre Marquis:
On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae.
AAAI 2006 |
| 65 | | Philippe Besnard,
Jérôme Lang,
Pierre Marquis:
Variable Forgetting in Preference Relations over Propositional Domains.
ECAI 2006: 763-764 |
| 64 | | Zied Loukil,
Abdelmajid Ben Hamadou,
Pierre Marquis,
Vincent Vidal:
Les ressources et la planification temporelle.
INFORSID 2006: 515-529 |
| 63 | | Sylvie Coste-Marquis,
Caroline Devred,
Pierre Marquis:
Constrained Argumentation Frameworks.
KR 2006: 112-122 |
| 62 | | Sylvie Coste-Marquis,
Hélène Fargier,
Jérôme Lang,
Daniel Le Berre,
Pierre Marquis:
Representing Policies for Quantified Boolean Formulae.
KR 2006: 286-297 |
| 61 | | Olivier Bailleux,
Pierre Marquis:
Some Computational Aspects of distance-sat.
J. Autom. Reasoning 37(4): 231-260 (2006) |
| 60 | | Sylvie Coste-Marquis,
Daniel Le Berre,
Florian Letombe,
Pierre Marquis:
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages.
JSAT 1(1): 61-88 (2006) |
| 2005 |
|---|
| 59 | | Sylvie Coste-Marquis,
Daniel Le Berre,
Florian Letombe,
Pierre Marquis:
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.
AAAI 2005: 288-293 |
| 58 | | Sylvie Coste-Marquis,
Caroline Devred,
Sébastien Konieczny,
Marie-Christine Lagasquie-Schiex,
Pierre Marquis:
Merging Argumentation Systems.
AAAI 2005: 614-619 |
| 57 | | Sylvie Coste-Marquis,
Caroline Devred,
Pierre Marquis:
Symmetric Argumentation Frameworks.
ECSQARU 2005: 317-328 |
| 56 | | Olivier Gauwin,
Sébastien Konieczny,
Pierre Marquis:
Conciliation and Consensus in Iterated Belief Merging.
ECSQARU 2005: 514-526 |
| 55 | | Sylvie Coste-Marquis,
Caroline Devred,
Pierre Marquis:
Prudent Semantics for Argumentation Frameworks.
ICTAI 2005: 568-572 |
| 54 | | Patricia Everaere,
Sébastien Konieczny,
Pierre Marquis:
Quota and Gmin Merging Operators.
IJCAI 2005: 424-429 |
| 53 | | Sébastien Konieczny,
Jérôme Lang,
Pierre Marquis:
Reasoning under inconsistency: the forgotten connective.
IJCAI 2005: 484-489 |
| 52 | | Sylvie Coste-Marquis,
Pierre Marquis:
On the Complexity of Paraconsistent Inference Relations.
Inconsistency Tolerance 2005: 151-190 |
| 51 | | Sylvie Coste-Marquis,
Caroline Devred,
Pierre Marquis:
Inference from Controversial Arguments.
LPAR 2005: 606-620 |
| 2004 |
|---|
| 50 | | Sylvie Coste-Marquis,
Pierre Marquis:
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning.
ECAI 2004: 803-807 |
| 49 | | Sylvie Coste-Marquis,
Jérôme Lang,
Paolo Liberatore,
Pierre Marquis:
Expressive Power and Succinctness of Propositional Languages for Preference Representation.
KR 2004: 203-212 |
| 48 | | Patricia Everaere,
Sébastien Konieczny,
Pierre Marquis:
On Merging Strategy-Proofness.
KR 2004: 357-368 |
| 47 | | Sylvie Coste-Marquis,
Pierre Marquis:
On Stratified Belief Base Compilation.
Ann. Math. Artif. Intell. 42(4): 399-442 (2004) |
| 46 | | Sébastien Konieczny,
Jérôme Lang,
Pierre Marquis:
DA2 merging operators.
Artif. Intell. 157(1-2): 49-79 (2004) |
| 45 | | Adnan Darwiche,
Pierre Marquis:
Compiling propositional weighted bases.
Artif. Intell. 157(1-2): 81-113 (2004) |
| 2003 |
|---|
| 44 | | Sébastien Konieczny,
Jérôme Lang,
Pierre Marquis:
Quantifying information and contradiction in propositional logic through test actions.
IJCAI 2003: 106-111 |
| 43 | | Andreas Herzig,
Jérôme Lang,
Pierre Marquis:
Action representation and partially observable planning using epistemic logic.
IJCAI 2003: 1067-1072 |
| 42 | | Jérôme Lang,
Fangzhen Lin,
Pierre Marquis:
Causal Theories of Action: A Computational Core.
IJCAI 2003: 1073-1078 |
| 41 | | Pierre Marquis,
Nadège Porquet:
Resource-Bounded Paraconsistent Inference.
Ann. Math. Artif. Intell. 39(4): 349-384 (2003) |
| 40 | | Jérôme Lang,
Paolo Liberatore,
Pierre Marquis:
Propositional Independence: Formula-Variable Independence and Forgetting.
J. Artif. Intell. Res. (JAIR) 18: 391-443 (2003) |
| 2002 |
|---|
| 39 | | Sébastien Konieczny,
Pierre Marquis:
Three-Valued Logics for Inconsistency Handling.
JELIA 2002: 332-344 |
| 38 | | Jérôme Lang,
Pierre Marquis:
Resolving Inconsistencies by Variable Forgetting.
KR 2002: 239-250 |
| 37 | | Sylvie Coste-Marquis,
Pierre Marquis:
Complexity Results for Paraconsistent Inference Relations.
KR 2002: 61-72 |
| 36 | | Sébastien Konieczny,
Jérôme Lang,
Pierre Marquis:
Distance Based Merging: A General Framework and some Complexity Results.
KR 2002: 97-108 |
| 35 | | Adnan Darwiche,
Pierre Marquis:
Compilation of propositional weighted bases.
NMR 2002: 6-14 |
| 34 | | Jérôme Amilhastre,
Hélène Fargier,
Pierre Marquis:
Consistency restoration and explanations in dynamic CSPs Application to configuration.
Artif. Intell. 135(1-2): 199-234 (2002) |
| 33 | | Jérôme Lang,
Paolo Liberatore,
Pierre Marquis:
Conditional independence in propositional logic.
Artif. Intell. 141(1/2): 79-121 (2002) |
| 32 | | Adnan Darwiche,
Pierre Marquis:
Compilation of Propositional Weighted Bases
CoRR cs.AI/0207045: (2002) |
| 31 | | Adnan Darwiche,
Pierre Marquis:
A Knowledge Compilation Map.
J. Artif. Intell. Res. (JAIR) 17: 229-264 (2002) |
| 2001 |
|---|
| 30 | | Jérôme Lang,
Pierre Marquis,
Mary-Anne Williams:
Updating Epistemic States.
Australian Joint Conference on Artificial Intelligence 2001: 297-308 |
| 29 | | Pierre Marquis,
Nadège Porquet:
Resource-bounded inference from inconsistent belief bases.
IJCAI 2001: 103-108 |
| 28 | | Andreas Herzig,
Jérôme Lang,
Pierre Marquis,
Thomas Polacsek:
Updates, actions, and planning.
IJCAI 2001: 119-124 |
| 27 | | Adnan Darwiche,
Pierre Marquis:
A Perspective on Knowledge Compilation.
IJCAI 2001: 175-182 |
| 26 | | Sylvie Coste-Marquis,
Pierre Marquis:
Knowledge Compilation for Closed World Reasoning and Circumscription.
J. Log. Comput. 11(4): 579-607 (2001) |
| 25 | | Pierre Marquis,
Nadège Porquet:
Computational Aspects of Quasi-Classical Entailment.
Journal of Applied Non-Classical Logics 11(3-4): 295-312 (2001) |
| 24 | | Jérôme Lang,
Pierre Marquis:
Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions.
Studia Logica 67(2): 179-214 (2001) |
| 2000 |
|---|
| 23 | | Sylvie Coste-Marquis,
Pierre Marquis:
Compiling Stratified Belief Bases.
ECAI 2000: 23-27 |
| 22 | | Hélène Fargier,
Jérôme Lang,
Pierre Marquis:
Propositional Logic and One-Stage Decision Making.
KR 2000: 445-456 |
| 21 | | Jérôme Lang,
Pierre Marquis:
In search of the right extension.
KR 2000: 625-636 |
| 1999 |
|---|
| 20 | | Olivier Bailleux,
Pierre Marquis:
DISTANCE-SAT: Complexity and Algorithms.
AAAI/IAAI 1999: 642-647 |
| 19 | | Sylvie Coste-Marquis,
Pierre Marquis:
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases.
IJCAI 1999: 24-29 |
| 1998 |
|---|
| 18 | | Jérôme Lang,
Pierre Marquis:
Two Forms of Dependence in Propositional Logic: Controllability and Definability.
AAAI/IAAI 1998: 268-273 |
| 17 | | Brigitte Bessant,
Éric Grégoire,
Pierre Marquis,
Lakhdar Sais:
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.
AIMSA 1998: 115-128 |
| 16 | | Nicolas Lachiche,
Pierre Marquis:
Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterisation.
ECML 1998: 268-279 |
| 15 | | Jérôme Lang,
Pierre Marquis:
Complexity Results for Independence and Definability in Propositional Logic.
KR 1998: 356-367 |
| 1997 |
|---|
| 14 | | Nicolas Lachiche,
Pierre Marquis:
A Model for Generalization Based on Confirmatory Induction.
ECML 1997: 154-161 |
| 13 | | Yacine Boufkhad,
Éric Grégoire,
Pierre Marquis,
Bertrand Mazure,
Lakhdar Sais:
Tractable Cover Compilations.
IJCAI (1) 1997: 122-127 |
| 1996 |
|---|
| 12 | | Pierre Marquis,
Samira Sadaoui:
A New Algorithm for Computing Theory Prime Implicates Compilations.
AAAI/IAAI, Vol. 1 1996: 504-509 |
| 11 | | Éric Grégoire,
Pierre Marquis:
Novelty in Deductive Databases.
J. Log. Comput. 6(5): 683-708 (1996) |
| 1995 |
|---|
| 10 | | Pierre Marquis:
Knowledge Compilation Using Theory Prime Implicates.
IJCAI (1) 1995: 837-845 |
| 1994 |
|---|
| 9 | | Pierre Marquis:
Possible Models Approach via Independency.
ECAI 1994: 336-340 |
| 8 | | Maroua Bouzid,
François Charpillet,
Pierre Marquis,
Jean Paul Haton:
Assumption-Based Truth Maintenance in Precense of Temproal Assertions.
ICTAI 1994: 492-498 |
| 1993 |
|---|
| 7 | | Pierre Marquis:
On Metatheoretic Properties of Logic-Based Abductive Inference.
ICTAI 1993: 444-445 |
| 1992 |
|---|
| 6 | | Pierre Marquis:
Building up Inductive Generalizations from Facts.
ECAI 1992: 446-450 |
| 5 | | Anne Bonneau,
François Charpillet,
S. Coste,
Jean Paul Haton,
Yves Laprie,
Pierre Marquis:
A Model for Hypothetical Reasoning Applied to Speech Recognition.
ECAI 1992: 553-557 |
| 1991 |
|---|
| 4 | | Pierre Marquis:
Extending abduction from propositional to first-order logic.
FAIR 1991: 141-155 |
| 3 | | Pierre Marquis:
Novelty Revisited.
ISMIS 1991: 550-559 |
| 1990 |
|---|
| 2 | | Béchir el Ayeb,
Pierre Marquis,
Michaël Rusinowitch:
Deductive/Abductvie Diagnosis: The DA-Principles.
ECAI 1990: 47-52 |
| 1 | | Béchir el Ayeb,
Pierre Marquis,
Michaël Rusinowitch:
A New Diagnosis Approach by Deduction and Abduction.
Expert Systems in Engineering 1990: 32-46 |
