Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl  Home/Search
Context Related
Links: DBLP | cs.utoronto.ca/~cogrob...GOLOGlang.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: i5.informatik.rwthaachen.de/L... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allows programs to reason about the state of the world and consider the effects of various possible courses of action before committing to a particular behavior. The net effect is that programs may be... (Update)
Cited by: More
Cognitive Vision for - Autonomous Satellite Rendezvous (2005) (Correct)
Personalization, Verification and Conformance for.. - Baldoni.. (2005) (Correct)
Foundations for Knowledge-Based Programs Using ES - Claßen, Lakemeyer (2006) (Correct)
Similar documents (at the sentence level):
11.7%: Scheduling in the Situation Calculus: A Case Study - Reiter, Yuhua (1997) (Correct)
11.2%: Rules as Actions: A Situation Calculus Semantics for Logic.. - Fangzhen Lin (1997) (Correct)
Active bibliography (related documents): More All
1.5: GOLOG: A Logic Programming Language for Dynamic Domains - Levesque, Reiter.. (1997) (Correct)
0.7: Foundations of a Logical Approach to Agent Programming - Lespérance.. (1995) (Correct)
0.5: Natural Actions, Concurrency and Continuous Time in the Situation .. - Reiter (1996) (Correct)
Similar documents based on text: More All
0.4: The Situation Calculus with Sensing and Indexical Knowledge - Scherl, Levesque (1995) (Correct)
0.4: Agent Research in the Cognitive Robotics Group - Lesperance, Levesque, Lin.. (Correct)
0.4: How to Execute a Conditional? - Scherl, Lespérance (Correct)
Related documents from co-citation: More All
59: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
46: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
25: What is planning in the presence of sensing (context) - Levesque - 1996
BibTeX entry: (Update)
Levesque, H.; Reiter, R.; Lesperance, Y.; Lin, F.; and Scherl, R. 1997. Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31:59-- 84. http://citeseer.ist.psu.edu/levesque94golog.html More
@article{ levesque97golog,
author = "Hector J. Levesque and Raymond Reiter and Yves Lesperance and Fangzhen Lin and Richard B. Scherl",
title = "{GOLOG}: A Logic Programming Language for Dynamic Domains",
journal = "Journal of Logic Programming",
volume = "31",
number = "1-3",
pages = "59-83",
year = "1997",
url = "citeseer.ist.psu.edu/levesque94golog.html" }
Citations (may not include all citations):891 STRIPS: a new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971 DBLP
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969 ACM
388 The frame problem in the situation calculus: A simple soluti.. (context) - Reiter - 1991
355 Knowledge Engineering Review (context) - Wooldridge, Jennings et al. - 1995
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989 DBLP
151 The frame problem and knowledgeproducing actions - Scherl, Levesque - 1993
127 State constraints revisited - Lin, Reiter - 1994
115 What is planning in the presence of sensing (context) - Levesque - 1996
99 The synthesis of digital machines with provable epistemic pr.. (context) - Rosenschein, Kaelbling - 1986 ACM DBLP
98 Proving properties of states in the situation calculus - Reiter - 1993 ACM DBLP
85 Achieving several goals simultaneously (context) - Waldinger - 1977
83 Agent-oriented programming (context) - Shoham - 1993 ACM DBLP
74 Theorem proving by resolution as a basis for question-answer.. (context) - Green - 1969
73 Theoretical Computer Science (context) - Bonner, Kifer et al. - 1994 ACM
61 How to progress a database - Lin, Reiter - 1994 ACM DBLP
60 The case for domain-specific frame axioms (context) - Haas - 1987
58 concurrency and continuous time in the situation calculus (context) - Reiter - 1996
52 Center for the Study of Language and Information (context) - Goldblatt, Time et al. - 1987
30 A logical approach to high-level robot programming -- a prog.. (context) - Lesp'erance, Levesque et al. - 1994
29 Denotational Semantics (context) - Stoy - 1977 ACM DBLP
23 How to clear a block: A theory of plans (context) - Manna, Waldinger - 1987 ACM DBLP
22 Temporal Reasoning in the Situation Calculus - Pinto - 1994 ACM
22 Monotonic solution to the frame problem in the situation cal.. (context) - Schubert - 1990
14 Ability and knowing how in the situation calculus - Lesp'erance, Levesque et al. - 1995
14 Foundations of a logical approach to agent programming (context) - Lesp'erance, Levesque et al. - 1995
9 Goals and rational action in the situation calculus --- a pr.. - Shapiro, Lesp'erance et al. - 1995
8 Interval situation calculus (context) - Ternovskaia - 1994 ACM DBLP
5 Also appeared as Xerox PARC Technical Report SSL (context) - Dixon, the et al. - 1991
5 Golog as an agent-programming language: Experiments in devel.. (context) - Ruman - 1995
5 Defining complex actions in the situation calculus (context) - Levesque, Lin et al. - 1996
5 Concurrency in the situation calculus (context) - Levesque - 1996
4 Modeling complex systems in the situation calculus: A case s.. - Kelley
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-i5.informatik.rwth-aachen.de/LuFG/Lehre/SS99/ROBO/): More
A Reactive Plan Language - McDermott (1993) (Correct)
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real.. - Hähnel, Burgard, Lakemeyer (1998) (Correct)
Transformational Planning Of Reactive Behavior - Drew McDermott (1992) (Correct)
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