Marco Cadoli

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