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
Common equivalence and size of forgetting from Horn formulae
2024 Liberatore, Paolo
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