Paolo Liberatore's Publications
Belief Revision
Semantics of Belief Revisions
Contrazione e clausole complete
Paolo Liberatore
In Giornata di lavoro su ragionamento non monotono, 1994.
Arbitraggio
Paolo Liberatore
AI*IA notizie, 7(1):9-12, 1995.
Arbitration: A commutative operator for belief revision
Paolo Liberatore and Marco Schaerf
In Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence (WOCFAI'95), pages 217-228. Angkor Press, 1995.
FTP download
HTTP download
Arbitration (or how to merge knowledge bases)
Paolo Liberatore and Marco Schaerf
IEEE Transactions on Knowledge and Data Engineering, 10(1):76-90, 1998.
HTTP download
BReLS: A system for the integration of knowledge bases
Paolo Liberatore and Marco Schaerf
In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), pages 145-152, 2000.
FTP download
HTTP download
A framework for belief update
Paolo Liberatore
In Proceedings of the Seventh European Workshop on Logics in Artificial Intelligence (JELIA 2000), pages 361-375, 2000.
HTTP download
HTTP download
Merging locally correct knowledge bases: A preliminary report
Paolo Liberatore
Technical Report cs.AI/0212053, Computing Research Repository (CoRR), 2002.
HTTP download
Revision by history
Paolo Liberatore
Journal of Artificial Intelligence Research, 52:287-329, 2015.
Complexity of Belief Revision
The complexity of model checking for belief revision and update
Paolo Liberatore and Marco Schaerf
In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96), pages 556-561. AAAI Press/The MIT Press, 1996.
FTP download
HTTP download
The complexity of iterated belief revision
Paolo Liberatore
In Proceedings of the Sixth International Conference on Database Theory (ICDT'97), pages 276-290, 1997.
FTP download
HTTP download
The complexity of belief update
Paolo Liberatore
In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI'97), pages 68-73, 1997.
FTP download
HTTP download
Belief revision and update: Complexity of model checking
Paolo Liberatore and Marco Schaerf
Journal of Computer and System Sciences, 62(1):43-72, 2001.
HTTP download
The complexity of belief update
Paolo Liberatore
Artificial Intelligence, 119(1-2):141-190, 2000.
Compact Representations and Belief Revision
The size of a revised knowledge base
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and Marco Schaerf
In Proceedings of the Fourteenth ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'95), pages 151-162. ACM Press and Addison Wesley, 1995.
FTP download
HTTP download
Compact representations of revision of Horn clauses
Paolo Liberatore
In Proceedings of the Eighth Australian Joint Artificial Intelligence Conference (AI'95), pages 347-354, 1995.
FTP download
HTTP download
The size of a revised knowledge base
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and Marco Schaerf
Artificial Intelligence, 115(1):25-64, 1999.
HTTP download
Compilability and compact representations of revision of Horn knowledge bases
Paolo Liberatore
ACM Transactions on Computational Logic, 1(1):131-161, 2000.
HTTP download
The compactness of belief revision and update operators
Paolo Liberatore and Marco Schaerf
Fundamenta Informaticae, 62(3-4):377-393, 2004.
Non-Monotonic Reasoning
Relating belief revision and circumscription
Paolo Liberatore and Marco Schaerf
In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95), pages 1557-1563. Morgan Kaufmann, Los Altos, 1995.
FTP download
HTTP download
Reducing belief revision to circumscription (and vice versa)
Paolo Liberatore and Marco Schaerf
Artificial Intelligence, 93(1-2):261-296, 1997.
HTTP download
The complexity of model checking for propositional default logics
Paolo Liberatore and Marco Schaerf
In Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI'98), pages 18-22. John Wiley Press, 1998.
FTP download
HTTP download
Uncontroversial default logic
Paolo Liberatore
In Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI 2002), pages 526-530, 2002.
HTTP download
Uncontroversial default logic
Paolo Liberatore
Journal of Logic and Computation, 14(5):747-765, 2004.
Seminormalizing a default theory
Paolo Liberatore
Journal of Applied Non-Classical Logics, 15(3):321-340, 2005.
Representability in default logic
Paolo Liberatore
Journal of the Interest Group in Pure and Applied Logic, 13(3):335-351, 2005.
HTTP download
The complexity of model checking for propositional default logics
Paolo Liberatore and Marco Schaerf
Data and Knowledge Engineering, 55(2):189-202, 2005.
Complexity of the unique extension problem in default logic
Xishun Zhao and Paolo Liberatore
Fundamenta Informaticae, 53(1):79-104, 2002.
HTTP download
On the complexity of extension checking in default logic
Paolo Liberatore
Information Processing Letters, 98(2):61-65, 2006.
Consistency defaults
Paolo Liberatore
Studia Logica, 86(1):89-110, 2007.
Bijective faithful translations among default logics
Paolo Liberatore
Journal of Logic and Computation, 24(4):763-807, 2014.
Abduction and Diagnosis
Complexity and compilability of diagnosis in system graphs
Paolo Liberatore
In DX-96 Workshop on Theory of Diagnosis, 1996.
Compilability of abduction
Paolo Liberatore and Marco Schaerf
In Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI 2000), 2000.
FTP download
HTTP download
Verification programs for abduction
Francesco M. Donini and Paolo Liberatore
In Proceedings of the Fourteenth European Conference on Artificial Intelligence (ECAI 2000), pages 166-170, 2000.
FTP download
HTTP download
Compilability of propositional abduction
Paolo Liberatore and Marco Schaerf
ACM Transactions on Computational Logic, 8(1):2, 2007.
HTTP download
On the complexity of second-best abductive explanations
Paolo Liberatore and Marco Schaerf
International Journal of Approximate Reasoning, 63:22-31, 2015.
Reasoning about Actions and Planning
The complexity of the language A
Paolo Liberatore
Electronic Transactions on Artificial Intelligence, 1(1-3):13-38, 1997. Available at http://www.ep.liu.se/ej/etai/1997/002/.
HTTP download
On non-conservative plan modification
Paolo Liberatore
In Proceedings of the Thirteenth European Conference on Artificial Intelligence (ECAI'98), pages 518-519, 1998.
FTP download
HTTP download
The size of MDP factored policies
Paolo Liberatore
In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI 2002), pages 267-272, 2002.
On polynomial sized MDP succinct policies
Paolo Liberatore
Journal of Artificial Intelligence Research, 21:551-577, 2004.
HTTP download
On the complexity of case-based planning
Paolo Liberatore
Journal of Experimental and Theoretical Computer Science, 17(3):283-295, 2005.
Satisfiability
Algorithms and experiments on finding minimal models
Paolo Liberatore
Technical Report 09-99, Dipartimento di Informatica e Sistemistica, Università di Roma ''La Sapienza'', 1999.
FTP download
HTTP download
On the complexity of finding satisfiable subinstances in constraint satisfaction
Peter Jonsson and Paolo Liberatore
Technical Report TR99-038, Electronic Colloquium on Computational Complexity, 1999.
FTP download
On the complexity of choosing the branching literal in DPLL
Paolo Liberatore
Artificial Intelligence, 116(1-2):315-326, 2000.
HTTP download
Solving QBF with SMV
Francesco M. Donini, Paolo Liberatore, Fabio Massacci, and Marco Schaerf
In Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pages 578-589, 2002.
HTTP download
Complexity results on DPLL and resolution
Paolo Liberatore
ACM Transactions on Computational Logic, 7(1):84-107, 2006.
HTTP download
Propositional Logic
The complexity of checking redundancy of CNF propositional formulae
Paolo Liberatore
In Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI 2002), pages 262-266, 2002.
HTTP download
Conditional independence in propositional logic
Jérôme Lang, Paolo Liberatore, and Pierre Marquis
Artificial Intelligence, 141(1-2):79-121, 2002.
HTTP download
k-approximating circuits
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and Marco Schaerf
Technical Report TR02-067, Electronic Colloquium on Computational Complexity, 2002.
FTP download
Propositional independence - formula-variable independence and forgetting
Jérôme Lang, Paolo Liberatore, and Pierre Marquis
Journal of Artificial Intelligence Research, 18:391-443, 2003.
HTTP download
Redundancy in logic I: CNF propositional formulae
Paolo Liberatore
Artificial Intelligence, 163(2):203-232, 2005.
Redundancy in logic II: 2CNF and Horn propositional formulae
Paolo Liberatore
Artificial Intelligence, 172(2-3):265-299, 2008.
Redundancy in logic III: Non-mononotonic reasoning
Paolo Liberatore
Artificial Intelligence, 172(11):1317-1359, 2008.
Preprocessing and Compact Representations
Feasibility and unfeasibility of off-line processing
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and Marco Schaerf
In Proceedings of the Fourth Israeli Symposium on Theory of Computing and Systems (ISTCS'96), pages 100-109. IEEE Computer Society, 1996.
FTP download
HTTP download
Comparing space efficiency of propositional knowledge representation formalisms
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and Marco Schaerf
In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR'96), pages 364-373. Morgan Kaufmann, Los Altos, 1996.
FTP download
HTTP download
On the compilability of diagnosis, planning, reasoning about actions, belief revision, etc.
Paolo Liberatore
In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), pages 144-155, 1998.
FTP download
HTTP download
Compilation of intractable problems and its application to artificial intelligence
Paolo Liberatore
PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma ''La Sapienza'', 1998.
FTP download
HTTP download
Space efficiency of propositional knowledge representation formalisms
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and Marco Schaerf
Journal of Artificial Intelligence Research, 13:1-31, 2000.
HTTP download
Preprocessing of intractable problems
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and Marco Schaerf
Information and Computation, 176(2):89-120, 2002.
FTP download
HTTP download
Monotonic reductions, representative equivalence, and compilation of intractable problems
Paolo Liberatore
Journal of the ACM, 48(6):1091-1125, 2001.
HTTP download
Redundancy in logic I: CNF propositional formulae
Paolo Liberatore
Artificial Intelligence, 163(2):203-232, 2005.
The size of BDDs and other data structures in temporal logics modelchecking
Andrea Ferrara, Paolo Liberatore, and Marco Schaerf
IEEE Transactions on Computers, 65:3148-3156, 2016.
Teaching
Complementi ed esercizi di programmazione in PASCAL
Diego Calvanese, Paolo Liberatore, Fabio Massacci, and Riccardo Rosati
Progetto Leonardo. Esculapio Editore, Bologna, 1 edition, 1998. In Italian. Programs available on the web at http://www.dis.uniroma1.it/%7epascal.
Last update: Tuesday, 06-Jun-2023 15:02:16 CEST