Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Persone
paolo.liberatore@uniroma1.it
Paolo Liberatore
Professore Associato
Struttura:
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
E-mail:
paolo.liberatore@uniroma1.it
Pagina istituzionale corsi di laurea
Curriculum Sapienza
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
Progetti di Ricerca
Concetti probabilistici nella integrazione logica
Riduzione di formule logiche
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma