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