Diese Seite auf DeutschCette page en françaisQuesta pagina in italiano
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/liberatore

Paolo Liberatore (liberatore)

Contributions to Philosophie.ch

No contributions yet

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.