Paolo Liberatore
Orcid: 0000-0001-5355-3766Affiliations:
- Sapienza University of Rome, Italy
According to our database1,
Paolo Liberatore
authored at least 81 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
Ann. Pure Appl. Log., 2024
2023
J. Log. Comput., October, 2023
ACM Trans. Comput. Log., 2023
CoRR, 2023
2022
Electron. Colloquium Comput. Complex., 2022
2021
2020
One head is better than two: a polynomial restriction for propositional definite Horn forgetting.
CoRR, 2020
2018
2016
IEEE Trans. Computers, 2016
2015
Int. J. Approx. Reason., 2015
2014
2013
2012
2010
2008
2007
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
2006
2005
Int. J. Intell. Syst., 2005
Data Knowl. Eng., 2005
CoRR, 2005
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005
2004
Expressive Power and Succinctness of Propositional Languages for Preference Representation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
2003
J. Artif. Intell. Res., 2003
2002
Fundam. Informaticae, 2002
Solving QBF by SMV.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
The Complexity of Checking Redundancy of CNF Propositional Formulae.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
J. Comput. Syst. Sci., 2001
Monotonic reductions, representative equivalence, and compilation of intractable problems.
J. ACM, 2001
2000
ACM Trans. Comput. Log., 2000
J. Artif. Intell. Res., 2000
BReLS: A System for the Integration of Knowledge Bases.
Proceedings of the KR 2000, 2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
Verification Programs for Abduction.
Proceedings of the ECAI 2000, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
Electron. Colloquium Comput. Complex., 1999
1998
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
On Non-Conservative Plan Modification.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998
1997
Electron. Trans. Artif. Intell., 1997
1996
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Feasibility and Unfeasibility of Off-Line Processing.
Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1995
Arbitration: A Commutative Operator for Belief Revision.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995