Kartha, G. Neelakantan

4 publications

IJCAI 2001 A Circumscriptive Formalization of the Qualification Problem G. Neelakantan Kartha

AAAI 1996 On the Range of Applicability of Baker's Approach to the Frame Problem G. Neelakantan Kartha

IJCAI 1995 A Simple Formalization of Actions Using Circumscription G. Neelakantan Kartha, Vladimir Lifschitz

IJCAI 1993 Soundness and Completeness Theorems for Three Formalizations of Action G. Neelakantan Kartha