dblp.uni-trier.dewww.uni-trier.de

G. Neelakantan Kartha Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
7 G. Neelakantan Kartha: A Circumscriptive Formalization of the Qualification Problem. IJCAI 2001: 139-144
1997
6EEEnrico 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

Coauthor Index

1Enrico Giunchiglia [6]
2Vladimir Lifschitz [3] [4] [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)