Cadoli, Marco

8 publications

JAIR 2008 A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability Lucas Bordeaux, Marco Cadoli, Toni Mancini

AAAI 2005 CSP Properties for Quantified Constraints: Definitions and Complexity Lucas Bordeaux, Marco Cadoli, Toni Mancini

IJCAI 2001 Complexity of Nested Circumscription and Abnormality Theories Marco Cadoli, Thomas Eiter, Georg Gottlob

JAIR 2000 Space Efficiency of Propositional Knowledge Representation Formalisms Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

AAAI 1998 An Algorithm to Evaluate Quantified Boolean Formulae Marco Cadoli, Andrea Giovanardi, Marco Schaerf

AAAI 1994 Is Intractability of Non-Monotonic Reasoning a Real Drawback? Marco Cadoli, Francesco M. Donini, Marco Schaerf

IJCAI 1993 Semantical and Computational Aspects of Horn Approximations Marco Cadoli

AAAI 1990 The Complexity of Closed World Reasoning and Circumscription Marco Cadoli, Maurizio Lenzerini