G. Neelakantan Kartha (kartha)

Beiträge zu Philosophie.ch

Bibliography

Giunchiglia, Enrico, Kartha, G. Neelakantan and Lifschitz, Vladimir. 1997. “Representing Action: Indeterminacy and Ramifications.” Artificial Intelligence 95(2): 409–438.
Kartha, G. Neelakantan. 1994. “Two Counterexamples Related to Baker’s Approach to the Frame Problem.” Artificial Intelligence 69(1–2): 379–391.
Kartha, G. Neelakantan. 1996. “On the Range of Applicability of Baker’s Approach to the Frame Problem.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld. Menlo Park, California: The AAAI Press.
Kartha, G. Neelakantan and Lifschitz, Vladimir. 1994. “Actions with Indirect Effects (Preliminary Report).” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 341–350. San Francisco, California: Morgan Kaufmann Publishers.
Kartha, G. Neelakantan and Lifschitz, Vladimir. 1995a. “A Simple Formalization of Actions Using Circumscription.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1970–1975. San Francisco, California: Morgan Kaufmann Publishers.
Kartha, G. Neelakantan and Lifschitz, Vladimir. 1995b. “Soundness and Completeness Theorems for Three Formalizations of Action.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 724–729. San Francisco, California: Morgan Kaufmann Publishers.