2009 | ||
---|---|---|
81 | EE | 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 | EE | Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29 |
78 | EE | Hélène Fargier, Pierre Marquis: Extending the Knowledge Compilation Map: Closure Principles. ECAI 2008: 50-54 |
77 | EE | Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Propositional merging operators based on set-theoretic closeness. ECAI 2008: 737-738 |
76 | EE | Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis: A Model for Multiple Outcomes Games. ICTAI (1) 2008: 27-34 |
75 | EE | 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 | EE | Jérôme Lang, Pierre Marquis: On propositional definability. Artif. Intell. 172(8-9): 991-1017 (2008) |
72 | EE | Sébastien Konieczny, Pierre Marquis, Philippe Besnard: Bipolarity in bilattice logics. Int. J. Intell. Syst. 23(10): 1046-1061 (2008) |
2007 | ||
71 | EE | 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 | EE | Hélène Fargier, Pierre Marquis: On Valued Negation Normal Form Formulas. IJCAI 2007: 360-365 |
69 | EE | 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 | EE | Patricia Everaere, Sébastien Konieczny, Pierre Marquis: The Strategy-Proofness Landscape of Merging. J. Artif. Intell. Res. (JAIR) 28: 49-105 (2007) |
67 | EE | 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 | EE | Olivier Bailleux, Pierre Marquis: Some Computational Aspects of distance-sat. J. Autom. Reasoning 37(4): 231-260 (2006) |
60 | EE | 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 | EE | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Symmetric Argumentation Frameworks. ECSQARU 2005: 317-328 |
56 | EE | Olivier Gauwin, Sébastien Konieczny, Pierre Marquis: Conciliation and Consensus in Iterated Belief Merging. ECSQARU 2005: 514-526 |
55 | EE | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Prudent Semantics for Argumentation Frameworks. ICTAI 2005: 568-572 |
54 | EE | Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Quota and Gmin Merging Operators. IJCAI 2005: 424-429 |
53 | EE | Sébastien Konieczny, Jérôme Lang, Pierre Marquis: Reasoning under inconsistency: the forgotten connective. IJCAI 2005: 484-489 |
52 | EE | Sylvie Coste-Marquis, Pierre Marquis: On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance 2005: 151-190 |
51 | EE | 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 | EE | Sylvie Coste-Marquis, Pierre Marquis: On Stratified Belief Base Compilation. Ann. Math. Artif. Intell. 42(4): 399-442 (2004) |
46 | EE | Sébastien Konieczny, Jérôme Lang, Pierre Marquis: DA2 merging operators. Artif. Intell. 157(1-2): 49-79 (2004) |
45 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Jérôme Lang, Paolo Liberatore, Pierre Marquis: Conditional independence in propositional logic. Artif. Intell. 141(1/2): 79-121 (2002) |
32 | EE | Adnan Darwiche, Pierre Marquis: Compilation of Propositional Weighted Bases CoRR cs.AI/0207045: (2002) |
31 | EE | Adnan Darwiche, Pierre Marquis: A Knowledge Compilation Map. J. Artif. Intell. Res. (JAIR) 17: 229-264 (2002) |
2001 | ||
30 | EE | 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 | EE | 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 | EE | 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 |