Soundness and Completeness Theorems for Three Formalizations of Action. - G. Neelakantan Kartha (IJCAI, 1993)

Actions with Indirect Effects (Preliminary Report). - G. Neelakantan Kartha; Vladimir Lifschitz (KR, 1994)

Two Counterexamples Related to Baker's Approach to the Frame Problem. - G. Neelakantan Kartha (Artif. Intell., 1994)

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

On the Range of Applicability of Baker's Approach to the Frame Problem. - G. Neelakantan Kartha (AAAI/IAAI, Vol. 1, 1996)

Representing Action: Indeterminacy and Ramifications. - Enrico Giunchiglia; G. Neelakantan Kartha; Vladimir Lifschitz (Artif. Intell., 1997)

A Circumscriptive Formalization of the Qualification Problem. - G. Neelakantan Kartha (IJCAI, 2001)