G.N. Kartha and V. Lifschitz. Actions with Indirect E#ects (Preliminary Report). In Proc. KR'94 , pages 341--350, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Logic of Universal Causation - Turner (1999) (28 citations) (Correct)
....act as a quali cation constraint (again in the sense of Lin and Reiter [35] simply eliminating the causally explained interpretations that fail to satisfy the constraint . In [51] a high level action language AC was de ned, in the manner of the action language AR 0 of Kartha and Lifschitz [25], and an embedding into default logic was established. The language AC uses a slight extension of the de nition of possible next states from [38] allowing for explicitly de ned uents and nondeterministic direct e ects of actions. Like its predecessors AR 0 and A [15] AC is based on the ....
G. Neelakantan Kartha and Vladimir Lifschitz. Actions with indirect e ects (preliminary report). In Proc. of the Fourth Int'l Conf. on Principles of Knowledge Representation and Reasoning, pages 341-350, 1994.
Reasoning about Actions in Dynamic Linear Time Temporal Logic - Giordano (2001) (Correct)
No context found.
G.N. Kartha and V. Lifschitz. Actions with Indirect E#ects (Preliminary Report). In Proc. KR'94 , pages 341--350, 1994.
Reasoning about Actions in - Dynamic Linear Time (Correct)
No context found.
G.N. Kartha and V. Lifschitz. Actions with Indirect E ects (Preliminary Report). In Proc. KR'94 , pages 341-350, 1994.
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (3 citations) (Correct)
No context found.
Kartha G.N., and V. Lifschitz, Actions with Indirect E ects (preliminary report), Proc. of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR), Morgan Kaufmann, 341-350, 1994.
Computing Ramifications by Postprocessing - Thielscher (1995) (16 citations) (Correct)
No context found.
G. N. Kartha and V. Lifschitz. Actions with Indirect E#ects. In J. Doyle, E. Sandewall, and P. Torasso, ed.'s, Proc. of KR, p. 341--350, Bonn, Germany, May 1994. Morgan Kaufmann.
An Analysis Of Systematic Approaches To Reasoning About Actions .. - Thielscher (1993) (12 citations) (Correct)
No context found.
G. N. Kartha and V. Lifschitz. Actions with Indirect E#ects. In Int. Conf. on Principles of Knowledge Representation and Reasoning. Bonn, Germany, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC