Paolo Liberatore

Pubblicazioni

Titolo Pubblicato in Anno
The ghosts of forgotten things: A study on size after forgetting ANNALS OF PURE AND APPLIED LOGIC 2024
Representing states in iterated belief revision ARTIFICIAL INTELLIGENCE 2024
Common equivalence and size of forgetting from Horn formulae ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2024
Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2023
Reconstructing a single-head formula to facilitate logical forgetting JOURNAL OF LOGIC AND COMPUTATION 2023
Belief merging in absence of reliability information SYNTHESE 2022
Belief Integration and Source Reliability Assessment THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2018
The size of BDDs and other data structures in temporal logics model checking IEEE TRANSACTIONS ON COMPUTERS 2016
Revision by History THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH 2015
On the complexity of second-best abductive explanations INTERNATIONAL JOURNAL OF APPROXIMATE REASONING 2015
Belief merging by examples ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 2015

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma