Pierre Marquis (marquis-p)

Contributions à Philosophie.ch

Bibliography

Amilhastre, Jérome, Fargier, Hélène and Marquis, Pierre. 2002. “Consistency Restoration and Explanations in Dynamic CSPs–Application to Configuration.” Artificial Intelligence 135(1–2): 199–234.
Coste-Marquis, Sylvie and Marquis, Pierre. 2002. “Complexity Results for Paraconsistent Inference Relations.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 61–72. San Francisco, California: Morgan Kaufmann Publishers.
Darwiche, Adnan and Marquis, Pierre. 2004. “Compiling Propositional Weighted Bases.” Artificial Intelligence 157(1–2): 81–113.
Fargier, Hélène, Lang, Jérôme and Marquis, Pierre. 2000. “Propositional Logic and One-Stage Decision Making.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 445–456. San Francisco, California: Morgan Kaufmann Publishers.
Konieczny, Sébastian, Lang, Jérôme and Marquis, Pierre. 2002. “Distance-Based Merging: A General Framework and Some Complexity Results.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 97–108. San Francisco, California: Morgan Kaufmann Publishers.
Konieczny, Sébastian, Lang, Jérôme and Marquis, Pierre. 2004. “DA\(^2\) Merging Operators.” Artificial Intelligence 157(1–2): 49–79.
Lang, Jérôme, Liberatore, Paolo and Marquis, Pierre. 2002. “Conditional Independence in Propositional Logic.” Artificial Intelligence 141(1–2): 79.
Lang, Jérôme and Marquis, Pierre. 1998. “Complexity Results for Independence and Definability in Propositional Logic.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 356–367. San Francisco, California: Morgan Kaufmann Publishers.
Lang, Jérôme and Marquis, Pierre. 2000. “In Search of the Right Extension.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 625–636. San Francisco, California: Morgan Kaufmann Publishers.
Lang, Jérôme and Marquis, Pierre. 2001. “Removing Inconsistencies in Assumption-Based Theories through Knowledge-Gathering Actions.” Studia Logica: An International Journal for Symbolic Logic 67(2): 179–214.
Lang, Jérôme and Marquis, Pierre. 2002. “Resolving Inconsistencies by Variable Forgetting.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 239–250. San Francisco, California: Morgan Kaufmann Publishers.
Marquis, Pierre. 2000. “Consequence Finding Algorithms.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems V: Algorithms for Uncertainty and Defeasible Reasoning, edited by Jürg Kohlas and Serafı́n Moral, pp. 41–146. Dordrecht: Kluwer Academic Publishers.