CADOLI, Marco
CADOLI, Marco
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
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
2003 Cadoli, Marco; Mancini, Toni
Automated reformulation of specifications by safe delay of constraints
2006 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
2001 Cadoli, Marco; Andrea, Schaerf
Compiling problem specifications into SAT
2005 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