G. Neelakantan Kartha

According to our database, G. Neelakantan Kartha authored at least 7 papers between 1993 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

A Circumscriptive Formalization of the Qualification Problem.

G. Neelakantan Kartha

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

1997

Representing Action: Indeterminacy and Ramifications.

Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz

Artif. Intell., 1997

1996

On the Range of Applicability of Baker's Approach to the Frame Problem.

G. Neelakantan Kartha

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

A Simple Formalization of Actions Using Circumscription.

G. Neelakantan Kartha, Vladimir Lifschitz

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Two Counterexamples Related to Baker's Approach to the Frame Problem.

G. Neelakantan Kartha

Artif. Intell., 1994

Actions with Indirect Effects (Preliminary Report).

G. Neelakantan Kartha, Vladimir Lifschitz

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993

Soundness and Completeness Theorems for Three Formalizations of Action.

G. Neelakantan Kartha

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993