G. Neelakantan Kartha

3 papers in the IJCAI proceedings

IJCAI 2001

A Circumscriptive Formalization of the Qualification Problem

Details PDF

IJCAI 1995

A Simple Formalization of Actions Using Circumscription

with Vladimir Lifschitz

Details PDF

IJCAI 1993

Soundness and Completeness Theorems for Three Formalizations of Action

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings