LIBERATORE, Paolo
LIBERATORE, Paolo
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
A framework for belief update
2000 Liberatore, Paolo
Arbitration (or how to merge knowledge bases)
1998 Liberatore, Paolo; Schaerf, Marco
Belief Integration and Source Reliability Assessment
2018 Liberatore, Paolo
Belief merging by examples
2015 Liberatore, Paolo
Belief merging in absence of reliability information
2022 Liberatore, P
Belief revision and update: Complexity of model checking
2001 Liberatore, Paolo; Schaerf, Marco
Bijective faithful translations among default logics
2014 Liberatore, Paolo
BReLS: A system for the integration of knowledge bases
2000 Liberatore, Paolo; Schaerf, Marco
Compilability and compact representations of revision of Horn knowledge bases
2000 Liberatore, Paolo
Compilability of abduction
2000 Liberatore, Paolo; Schaerf, Marco
Compilability of Propositional Abduction
2007 Liberatore, Paolo; Schaerf, Marco
Complexity and compilability of diagnosis and recovery of graph-based systems
2005 Liberatore, Paolo
Complexity of the unique extension problem in default logic
2002 Liberatore, Paolo; X. S., Zhao
Complexity results on DPLL and resolution
2006 Liberatore, Paolo
Conditional independence in propositional logic
2002 Jerome, Lang; Liberatore, Paolo; Pierre, Marquis
Consistency defaults
2007 Liberatore, Paolo
Expressive power and succinctness of propositional languages for preference representation
2004 SYLVIE COSTE, Marquis; Jerome, Lang; Liberatore, Paolo; Pierre, Marquis
Feasibility and unfeasibility of off-line processing
1996 Cadoli, Marco; Donini, F.; Liberatore, Paolo; Schaerf, Marco
k-approximating circuits
2006 Cadoli, Marco; Francesco, Donini; Liberatore, Paolo; Schaerf, Marco
Mixed Iterated Revisions: Rationale, Algorithms, and Complexity
2023 Liberatore, Paolo