REITER R., "The frame problem in the Situation Calculus: a Simple Solution (sometimes) and a Completeness Result for Goal Regression", Artificial Intelligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy, p. 359--380, Academic Press, 1991. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Logical Approach to Portable High-level Robot Programming - Jenkin Lesperance Levesque (1997) Self-citation (Reiter) (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359--380. Academic Press, San Diego, CA, 1991.
Decision-Theoretic, High-level Agent Programming in the.. - Boutilier, Reiter, Thrun (2000) (6 citations) Self-citation (Reiter) (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, ed, Artificial Intelligence and Mathematical Theory of Computation (Papers in Honor of John McCarthy) , pp.359--380. Academic Press, 1991.
Regression in Modal Logic - Demolombe, Herzig, Varzinczak (2003) (Correct)
No context found.
REITER R., "The frame problem in the Situation Calculus: a Simple Solution (sometimes) and a Completeness Result for Goal Regression", Artificial Intelligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy, p. 359--380, Academic Press, 1991.
A temporal approach to the specification and.. - Giordano.. (2005) (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, V. Lifschitz, ed.,pages 359--380, Academic Press, 1991.
Elaborating Domain Descriptions - Andreas (2006) (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In 21 V. Lifschitz, editor, Arti cial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, San Diego, 1991.
What is a Good Action Theory? - Irit (Correct)
No context found.
Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In AI and Mathematical Theory of Computation: Papers in Honor of John McCarthy. San Diego: Academic Press. 359--380.
Regression in Modal Logic - Andreas (2003) (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy, pages 359--380. Academic Press, 1991.
Knowledge, Belief, and Noisy Sensing in the Situation Calculus - Simari (2004) (Correct)
No context found.
Reiter, Raymond. The Frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Vladimir Lifschitz, editor. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359-380. Academic Press, San Diego, CA, 1991.
Elaborating Domain Descriptions - Laurent (2006) (Correct)
No context found.
Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press. 359--380.
Foundations for Knowledge-Based Programs Using ES - Claßen, Lakemeyer (2006) (Correct)
No context found.
Reiter, R. 1991. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy 359--380.
Mitsubishi Electric Research Laboratories - Http Www Merl (2002) (Correct)
No context found.
Reiter, R. 1991. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In Lifschitz, V., ed., Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press. 359--380.
A Description Logic Based Approach to Reasoning about - Web Services Franz (2005) (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation, pages 359--380. Academic Press, 1991.
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (82 citations) (Correct)
No context found.
Reiter, R. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Arti cial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, 1991.
Ability in a Multi-Agent Context: A Model in the Situation.. - Cholvy, Garion, Saurel (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359--380. Academic Press, New York, 1991.
Semantics for a Useful Fragment of the Situation Calculus - Lakemeyer, Levesque (2005) (Correct)
No context found.
Ray Reiter, The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation, 359--380. Academic Press, 1991.
Representing Action: Indeterminacy and Ramifications - Giunchiglia, Kartha, Lifschitz (1997) (39 citations) (Correct)
No context found.
Raymond Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359--380. Academic Press, 1991.
I N F S Y S - Institut Ur Informationssysteme (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359--380. Academic Press, 1991.
Metrics for Evaluation of Behavior-Based Robotic Systems - Mali, Mukerjee (1998) (Correct)
No context found.
Reiter, R., 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Lifschitz V., editor, Arti cial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pg. 359-380, Academic press, NY
On the Evaluation of Agent Behaviors - Amol Dattatraya Mali (Correct)
No context found.
Reiter, R., The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Lifschitz V., editor, Arti cial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Academic press, NY, 1991, pp. 359-380.
Relativized Action Complement for Dynamic Logics - Broersen (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Arti cial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Press, 1991.
AFormal Model for Business Process Modeling - And Design Manolis (2000) (Correct)
No context found.
R. Reiter. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359--380. Academic Press, 1991.
Reasoning about Actions in Dynamic Linear Time Temporal Logic - Giordano (2001) (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of Jhon McCarthy, V. Lifschitz, ed.,pages 359--380, Academic Press, 1991.
On sensing and off-line interpreting in GOLOG Gerhard.. - Department Of Computer (1999) (Correct)
No context found.
Reiter, R., The Frame Problem in the Situation Calculus: A simple Solution (sometimes) and a Completeness Result for Goal Regression. In V. Lifschitz (ed.), Artificial Intelligence and Mathematical Theory of Computation, Academic Press, 1991, pp. 359--380.
Only Knowing in the Situation Calculus - Gerhard Lakemeyer Institute (1996) (4 citations) (Correct)
No context found.
Reiter, R., The Frame Problem in the Situation Calculus: A simple Solution (sometimes) and a Completeness Result for Goal Regression. In V. Lifshitz (ed.), Artificial Intelligence and Mathematical Theory of Computation, Academic Press, 1991, pp. 359--380.
A Proposal for Describing Services with DLs - Lutz, Sattler (2002) (2 citations) (Correct)
No context found.
R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation, pages 359--380. Academic Press, 1991.
First 50 documents Next 50
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