Paolo Liberatore

Pubblicazioni

Titolo Pubblicato in Anno
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