|
Search the dblp DataBase
Pierre Marquis:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Olivier Bailleux, Pierre Marquis
DISTANCE-SAT: Complexity and Algorithms. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1999, pp:642-647 [Conf]
- Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP] AAAI, 2005, pp:288-293 [Conf]
- Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
Merging Argumentation Systems. [Citation Graph (0, 0)][DBLP] AAAI, 2005, pp:614-619 [Conf]
- Hélène Fargier, Pierre Marquis
On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP] AAAI, 2006, pp:- [Conf]
- Jérôme Lang, Pierre Marquis
Two Forms of Dependence in Propositional Logic: Controllability and Definability. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1998, pp:268-273 [Conf]
- Pierre Marquis, Samira Sadaoui
A New Algorithm for Computing Theory Prime Implicates Compilations. [Citation Graph (0, 0)][DBLP] AAAI/IAAI, Vol. 1, 1996, pp:504-509 [Conf]
- Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. [Citation Graph (0, 0)][DBLP] AIMSA, 1998, pp:115-128 [Conf]
- Jérôme Lang, Pierre Marquis, Mary-Anne Williams
Updating Epistemic States. [Citation Graph (0, 0)][DBLP] Australian Joint Conference on Artificial Intelligence, 2001, pp:297-308 [Conf]
- Sylvie Coste-Marquis, Pierre Marquis
On the Complexity of Paraconsistent Inference Relations. [Citation Graph (0, 0)][DBLP] Inconsistency Tolerance, 2005, pp:151-190 [Conf]
- Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch
Deductive/Abductvie Diagnosis: The DA-Principles. [Citation Graph (0, 0)][DBLP] ECAI, 1990, pp:47-52 [Conf]
- Philippe Besnard, Jérôme Lang, Pierre Marquis
Variable Forgetting in Preference Relations over Propositional Domains. [Citation Graph (0, 0)][DBLP] ECAI, 2006, pp:763-764 [Conf]
- A. Bonneau, François Charpillet, S. Coste, Jean Paul Haton, Yves Laprie, Pierre Marquis
A Model for Hypothetical Reasoning Applied to Speech Recognition. [Citation Graph (0, 0)][DBLP] ECAI, 1992, pp:553-557 [Conf]
- Sylvie Coste-Marquis, Pierre Marquis
Compiling Stratified Belief Bases. [Citation Graph (0, 0)][DBLP] ECAI, 2000, pp:23-27 [Conf]
- Sylvie Coste-Marquis, Pierre Marquis
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. [Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:803-807 [Conf]
- Pierre Marquis
Building up Inductive Generalizations from Facts. [Citation Graph (0, 0)][DBLP] ECAI, 1992, pp:446-450 [Conf]
- Pierre Marquis
Possible Models Approach via Independency. [Citation Graph (0, 0)][DBLP] ECAI, 1994, pp:336-340 [Conf]
- Nicolas Lachiche, Pierre Marquis
A Model for Generalization Based on Confirmatory Induction. [Citation Graph (0, 0)][DBLP] ECML, 1997, pp:154-161 [Conf]
- Nicolas Lachiche, Pierre Marquis
Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterisation. [Citation Graph (0, 0)][DBLP] ECML, 1998, pp:268-279 [Conf]
- Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Symmetric Argumentation Frameworks. [Citation Graph (0, 0)][DBLP] ECSQARU, 2005, pp:317-328 [Conf]
- Olivier Gauwin, Sébastien Konieczny, Pierre Marquis
Conciliation and Consensus in Iterated Belief Merging. [Citation Graph (0, 0)][DBLP] ECSQARU, 2005, pp:514-526 [Conf]
- Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch
A New Diagnosis Approach by Deduction and Abduction. [Citation Graph (0, 0)][DBLP] Expert Systems in Engineering, 1990, pp:32-46 [Conf]
- Pierre Marquis
Extending abduction from propositional to first-order logic. [Citation Graph (0, 0)][DBLP] FAIR, 1991, pp:141-155 [Conf]
- Maroua Bouzid, François Charpillet, Pierre Marquis, Jean Paul Haton
Assumption-Based Truth Maintenance in Precense of Temproal Assertions. [Citation Graph (0, 0)][DBLP] ICTAI, 1994, pp:492-498 [Conf]
- Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Prudent Semantics for Argumentation Frameworks. [Citation Graph (0, 0)][DBLP] ICTAI, 2005, pp:568-572 [Conf]
- Pierre Marquis
On Metatheoretic Properties of Logic-Based Abductive Inference. [Citation Graph (0, 0)][DBLP] ICTAI, 1993, pp:444-445 [Conf]
- Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais
Tractable Cover Compilations. [Citation Graph (0, 0)][DBLP] IJCAI (1), 1997, pp:122-127 [Conf]
- Sylvie Coste-Marquis, Pierre Marquis
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. [Citation Graph (0, 0)][DBLP] IJCAI, 1999, pp:24-29 [Conf]
- Adnan Darwiche, Pierre Marquis
A Perspective on Knowledge Compilation. [Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:175-182 [Conf]
- Patricia Everaere, Sébastien Konieczny, Pierre Marquis
Quota and Gmin Merging Operators. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:424-429 [Conf]
- Andreas Herzig, Jérôme Lang, Pierre Marquis
Action representation and partially observable planning using epistemic logic. [Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:1067-1072 [Conf]
- Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
Updates, actions, and planning. [Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:119-124 [Conf]
- Sébastien Konieczny, Jérôme Lang, Pierre Marquis
Quantifying information and contradiction in propositional logic through test actions. [Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:106-111 [Conf]
- Sébastien Konieczny, Jérôme Lang, Pierre Marquis
Reasoning under inconsistency: the forgotten connective. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:484-489 [Conf]
- Jérôme Lang, Fangzhen Lin, Pierre Marquis
Causal Theories of Action: A Computational Core. [Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:1073-1078 [Conf]
- Pierre Marquis
Knowledge Compilation Using Theory Prime Implicates. [Citation Graph (0, 0)][DBLP] IJCAI (1), 1995, pp:837-845 [Conf]
- Pierre Marquis, Nadège Porquet
Resource-bounded inference from inconsistent belief bases. [Citation Graph (0, 0)][DBLP] IJCAI, 2001, pp:103-108 [Conf]
- Hélène Fargier, Pierre Marquis
On Valued Negation Normal Form Formulas. [Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:360-365 [Conf]
- Zied Loukil, Abdelmajid Ben Hamadou, Pierre Marquis, Vincent Vidal
Les ressources et la planification temporelle. [Citation Graph (0, 0)][DBLP] INFORSID, 2006, pp:515-529 [Conf]
- Pierre Marquis
Novelty Revisited. [Citation Graph (0, 0)][DBLP] ISMIS, 1991, pp:550-559 [Conf]
- Sébastien Konieczny, Pierre Marquis
Three-Valued Logics for Inconsistency Handling. [Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:332-344 [Conf]
- Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Constrained Argumentation Frameworks. [Citation Graph (0, 0)][DBLP] KR, 2006, pp:112-122 [Conf]
- Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis
Representing Policies for Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP] KR, 2006, pp:286-297 [Conf]
- Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis
Expressive Power and Succinctness of Propositional Languages for Preference Representation. [Citation Graph (0, 0)][DBLP] KR, 2004, pp:203-212 [Conf]
- Sylvie Coste-Marquis, Pierre Marquis
Complexity Results for Paraconsistent Inference Relations. [Citation Graph (0, 0)][DBLP] KR, 2002, pp:61-72 [Conf]
- Patricia Everaere, Sébastien Konieczny, Pierre Marquis
On Merging Strategy-Proofness. [Citation Graph (0, 0)][DBLP] KR, 2004, pp:357-368 [Conf]
- Hélène Fargier, Jérôme Lang, Pierre Marquis
Propositional Logic and One-Stage Decision Making. [Citation Graph (0, 0)][DBLP] KR, 2000, pp:445-456 [Conf]
- Sébastien Konieczny, Jérôme Lang, Pierre Marquis
Distance Based Merging: A General Framework and some Complexity Results. [Citation Graph (0, 0)][DBLP] KR, 2002, pp:97-108 [Conf]
- Jérôme Lang, Pierre Marquis
In search of the right extension. [Citation Graph (0, 0)][DBLP] KR, 2000, pp:625-636 [Conf]
- Jérôme Lang, Pierre Marquis
Resolving Inconsistencies by Variable Forgetting. [Citation Graph (0, 0)][DBLP] KR, 2002, pp:239-250 [Conf]
- Jérôme Lang, Pierre Marquis
Complexity Results for Independence and Definability in Propositional Logic. [Citation Graph (0, 0)][DBLP] KR, 1998, pp:356-367 [Conf]
- Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Inference from Controversial Arguments. [Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:606-620 [Conf]
- Adnan Darwiche, Pierre Marquis
Compilation of propositional weighted bases. [Citation Graph (0, 0)][DBLP] NMR, 2002, pp:6-14 [Conf]
- Jérôme Amilhastre, Hélène Fargier, Pierre Marquis
Consistency restoration and explanations in dynamic CSPs Application to configuration. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:135, n:1-2, pp:199-234 [Journal]
- Adnan Darwiche, Pierre Marquis
Compiling propositional weighted bases. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2004, v:157, n:1-2, pp:81-113 [Journal]
- Sébastien Konieczny, Jérôme Lang, Pierre Marquis
DA2 merging operators. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2004, v:157, n:1-2, pp:49-79 [Journal]
- Jérôme Lang, Paolo Liberatore, Pierre Marquis
Conditional independence in propositional logic. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2002, v:141, n:1/2, pp:79-121 [Journal]
- Sylvie Coste-Marquis, Pierre Marquis
On Stratified Belief Base Compilation. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2004, v:42, n:4, pp:399-442 [Journal]
- Pierre Marquis, Nadège Porquet
Resource-Bounded Paraconsistent Inference. [Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 2003, v:39, n:4, pp:349-384 [Journal]
- Adnan Darwiche, Pierre Marquis
Compilation of Propositional Weighted Bases [Citation Graph (0, 0)][DBLP] CoRR, 2002, v:0, n:, pp:- [Journal]
- Adnan Darwiche, Pierre Marquis
A Knowledge Compilation Map. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2002, v:17, n:, pp:229-264 [Journal]
- Jérôme Lang, Paolo Liberatore, Pierre Marquis
Propositional Independence: Formula-Variable Independence and Forgetting. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2003, v:18, n:, pp:391-443 [Journal]
- Pierre Marquis, Nadège Porquet
Computational Aspects of Quasi-Classical Entailment. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2001, v:11, n:3-4, pp:295-312 [Journal]
- Sylvie Coste-Marquis, Pierre Marquis
Knowledge Compilation for Closed World Reasoning and Circumscription. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2001, v:11, n:4, pp:579-607 [Journal]
- Éric Grégoire, Pierre Marquis
Novelty in Deductive Databases. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1996, v:6, n:5, pp:683-708 [Journal]
- Jérôme Lang, Pierre Marquis
Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions. [Citation Graph (0, 0)][DBLP] Studia Logica, 2001, v:67, n:2, pp:179-214 [Journal]
- Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis
Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach. [Citation Graph (0, 0)][DBLP] ECSQARU, 2007, pp:731-742 [Conf]
- Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
On the merging of Dung's argumentation systems. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2007, v:171, n:10-15, pp:730-753 [Journal]
- Patricia Everaere, Sébastien Konieczny, Pierre Marquis
The Strategy-Proofness Landscape of Merging. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2007, v:28, n:, pp:49-105 [Journal]
- Olivier Bailleux, Pierre Marquis
Some Computational Aspects of distance-sat. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:37, n:4, pp:231-260 [Journal]
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. [Citation Graph (, )][DBLP]
Knowledge Compilation in the Modal Logic S5. [Citation Graph (, )][DBLP]
Introspective Forgetting. [Citation Graph (, )][DBLP]
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. [Citation Graph (, )][DBLP]
Propositional merging operators based on set-theoretic closeness. [Citation Graph (, )][DBLP]
Extending the Knowledge Compilation Map: Closure Principles. [Citation Graph (, )][DBLP]
Majority Merging: from Boolean Spaces to Affine Spaces. [Citation Graph (, )][DBLP]
The Epistemic View of Belief Merging: Can We Track the Truth?. [Citation Graph (, )][DBLP]
Merging Qualitative Constraints Networks Using Propositional Logic. [Citation Graph (, )][DBLP]
A Model for Multiple Outcomes Games. [Citation Graph (, )][DBLP]
Merging Qualitative Constraint Networks in a Piecewise Fashion. [Citation Graph (, )][DBLP]
Knowledge Compilation Properties of Trees-of-BDDs, Revisited. [Citation Graph (, )][DBLP]
Recovering Consistency by Forgetting Inconsistency. [Citation Graph (, )][DBLP]
Conflict-Based Merging Operators. [Citation Graph (, )][DBLP]
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance. [Citation Graph (, )][DBLP]
Aggregating Interval Orders by Propositional Optimization. [Citation Graph (, )][DBLP]
On propositional definability. [Citation Graph (, )][DBLP]
Reasoning under inconsistency: A forgetting-based approach. [Citation Graph (, )][DBLP]
Disjunctive merging: Quota and Gmin merging operators. [Citation Graph (, )][DBLP]
Search in 0.026secs, Finished in 0.029secs
|