LIBERATORE, Paolo

LIBERATORE, Paolo  

DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-  

Mostra prodotti
Risultati 1 - 20 di 58 (tempo di esecuzione: 0.046 secondi).
Titolo Data di pubblicazione Autore(i) File
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