Paolo Liberatore

Pubblicazioni

Titolo	Pubblicato in	Anno
Mixed Iterated Revisions: Rationale, Algorithms, and Complexity	ACM TRANSACTIONS ON COMPUTATIONAL LOGIC	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