2001 |
7 | | G. Neelakantan Kartha:
A Circumscriptive Formalization of the Qualification Problem.
IJCAI 2001: 139-144 |
1997 |
6 | EE | Enrico Giunchiglia,
G. Neelakantan Kartha,
Vladimir Lifschitz:
Representing Action: Indeterminacy and Ramifications.
Artif. Intell. 95(2): 409-438 (1997) |
1996 |
5 | | G. Neelakantan Kartha:
On the Range of Applicability of Baker's Approach to the Frame Problem.
AAAI/IAAI, Vol. 1 1996: 664-669 |
1995 |
4 | | G. Neelakantan Kartha,
Vladimir Lifschitz:
A Simple Formalization of Actions Using Circumscription.
IJCAI 1995: 1970-1977 |
1994 |
3 | | G. Neelakantan Kartha,
Vladimir Lifschitz:
Actions with Indirect Effects (Preliminary Report).
KR 1994: 341-350 |
2 | | G. Neelakantan Kartha:
Two Counterexamples Related to Baker's Approach to the Frame Problem.
Artif. Intell. 69(1-2): 379-391 (1994) |
1993 |
1 | | G. Neelakantan Kartha:
Soundness and Completeness Theorems for Three Formalizations of Action.
IJCAI 1993: 724-731 |