Paolo Liberatore (liberatore)

Contributions à Philosophie.ch

Bibliography

Cadoli, Marco, Donini, Francesco M., Liberatore, Paolo and Schaerf, Marco. 1996. “Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 364–374. San Francisco, California: Morgan Kaufmann Publishers.
Cadoli, Marco, Donini, Francesco M., Liberatore, Paolo and Schaerf, Marco. 1999. “The Size of a revised Knowledge Base.” Artificial Intelligence 115(1): 25–64.
Donini, Francesco M., Liberatore, Paolo, Massacci, Fabio and Schaerf, Marco. 2002. “Solving QBF with SMV.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 578–589. San Francisco, California: Morgan Kaufmann Publishers.
Lang, Jérôme, Liberatore, Paolo and Marquis, Pierre. 2002. “Conditional Independence in Propositional Logic.” Artificial Intelligence 141(1–2): 79.
Liberatore, Paolo. 1998. “On the Compatibility of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 144–155. San Francisco, California: Morgan Kaufmann Publishers.
Liberatore, Paolo. 1999. “BReLS: A System for Revising, Updating, and Merging Knowledge Bases.” in IJCAI-99. Workshop on Nonmonotonic Reasoning, Action and Change, edited by Michael Thielscher, pp. 41–48. Murray Hill, New Jersey: International Joint Conference on Artificial Intelligence.
Liberatore, Paolo. 2000a. “On the Complexity of Choosing the Branching Literal in DPLL.” Artificial Intelligence 116(1–2): 315–326.
Liberatore, Paolo. 2000b. “The Complexity of Belief Update.” Artificial Intelligence 119(1–2): 141–190.
Liberatore, Paolo and Schaerf, Marco. 1995. “Relating Belief Revision to Circumscription.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1557–1563. San Francisco, California: Morgan Kaufmann Publishers.
Liberatore, Paolo and Schaerf, Marco. 1997. “Reducing Belief Revision to Circumscription (and Vice Versa).” Artificial Intelligence 93(1–2): 261–296.
Liberatore, Paolo and Schaerf, Marco. 1998. “The Complexity of Model Checking for Propositional Default Logicss.” in ECAI-98. Proceedings of the Thirteenth European Conference on Artificial Intelligence, edited by Henri Prade, pp. 18–22. Hoboken, New Jersey: John Wiley; Sons, Inc.
Liberatore, Paolo and Schaerf, Marco. 2000. “Brels: A System for the Integration of Knowledge Bases.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 145–152. San Francisco, California: Morgan Kaufmann Publishers.
Liberatore, Paolo and Schaerf, Marco. n.d. “The Complexity of Model Checking for Belief Revision and Update.” Unpublished manuscript.