Marco Cadoli

Dipartimento di Informatica e Sistemistica Università di Roma "La Sapienza" Via Salaria 113 , I-00198 Roma , Italy

2 papers in the IJCAI proceedings

IJCAI 2001

Complexity of Nested Circumscription and Abnormality Theories

with Thomas Eiter, Georg Gottlob

Details PDF

IJCAI 1993

Semantical and Computational Aspects of Horn Approximations

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings