CADOLI, Marco

CADOLI, Marco  

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

Mostra prodotti
Risultati 1 - 20 di 64 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
A SURVEY OF COMPLEXITY RESULTS FOR NONMONOTONIC LOGICS 1993 Cadoli, Marco; Schaerf, Marco
A survey on knowledge compilation 1997 Cadoli, Marco; FRANCESCO M., Donini
Algorithm to evaluate Quantified Boolean Formulae 1998 Cadoli, Marco; Giovanardi, Andrea; Schaerf, Marco
An algorithm to evaluate quantified Boolean formulae and its experimental evaluation 2002 Cadoli, Marco; Schaerf, Marco; Andrea, Giovanardi; Massimo, Giovanardi
Approximate entailment 1991 Cadoli, M.; Schaerf, M.
Approximate Inference in Default Logic and Circumscription 1994 Cadoli, Marco; Schaerf, Marco
Automated reformulation of specifications by safe delay of constraints 2004 Cadoli, Marco; Mancini, Toni
Automated reformulation of specifications by safe delay of constraints 2006 Cadoli, Marco; Mancini, Toni
Automated reformulation of specifications by safe delay of constraints 2003 Cadoli, Marco; Mancini, Toni
Circumscribing datalog: expressive power and complexity 1998 Cadoli, Marco; Luigi, Palopoli
Combining Relational Algebra, SQL, and Constraint Programming 2002 Cadoli, Marco; Mancini, Toni
Compiling problem specifications into SAT 2005 Cadoli, Marco; Andrea, Schaerf
Compiling problem specifications into SAT 2001 Cadoli, Marco; Andrea, Schaerf
Complexity of nested circumscription and abnormality theories. 2001 Cadoli, Marco; Thomas, Eiter; Georg, Gottlob
Complexity of Propositional Nested Circumscription and Abnormality Theories 2005 Cadoli, Marco; Eiter, T.; Gottlob, G.
CSP properties for Quantified Constraints: Definitions and complexity 2005 Bordeaux, L.; Cadoli, Marco; Mancini, Toni
Default logic as a query language 1997 Cadoli, Marco; Thomas, Eiter; Georg, Gottlob
Detecting and breaking symmetries by reasoning on problem specifications 2005 Mancini, Toni; Cadoli, Marco
Detecting and breaking symmetries on specifications 2003 Cadoli, Marco; Mancini, Toni
Esercizi di progettazione di programmi in C++ 1998 Cadoli, Marco; Lenzerini, Maurizio; Panizzi, Emanuele; Andrea, Schaerf