LIBERATORE, Paolo

LIBERATORE, Paolo  

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

Mostra prodotti
Risultati 1 - 20 di 53 (tempo di esecuzione: 0.108 secondi).
Titolo Data di pubblicazione Autore(i) File
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
The complexity of action redundancy 2005 Andrea, Ferrara; Liberatore, Paolo; Schaerf, Marco
The complexity of belief update 1997 Liberatore, P.
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
A framework for belief update 2000 Liberatore, Paolo