Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl  Home/Search
Context Related
| i5.informatik.rwthaa...GOLOGlang.ps.gz 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) Homepages: H.Levesque |
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):
14.2%: Scheduling in the Situation Calculus: A Case Study - Reiter, Yuhua (1997) (Correct)
8.7%: Rules as Actions: A Situation Calculus Semantics for Logic.. - Fangzhen Lin (1997) (Correct)
5.1%: Reasoning about Noisy Sensors and Effectors in the.. - Bacchus, Halpern.. (1998) (Correct)
Active bibliography (related documents): More All
1.5: GOLOG: A Logic Programming Language for Dynamic Domains - Levesque, Reiter.. (1994) (Correct)
0.7: Foundations of a Logical Approach to Agent Programming - Lespérance.. (1995) (Correct)
0.4: An Experiment in Using Golog to Build a Personal Banking.. - Lespérance, al. (1997) (Correct)
Similar documents based on text: More All
0.5: Agent Research in the Cognitive Robotics Group - Lesperance, Levesque, Lin.. (Correct)
0.5: How to Execute a Conditional? - Scherl, Lespérance (Correct)
0.5: The Situation Calculus with Sensing and Indexical Knowledge - Scherl, Levesque (1995) (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/article/levesque97golog.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/article/levesque97golog.html" }
Citations (may not include all citations):891 STRIPS: a new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
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
151 The frame problem and knowledge-producing actions - Scherl, Levesque - 1993
127 State constraints revisited - Lin, Reiter - 1994
99 The synthesis of digital machines with provable epistemic pr.. (context) - Rosenschein, Kaelbling - 1986
98 Proving properties of states in the situation calculus - Reiter - 1993
85 Achieving several goals simultaneously (context) - Waldinger - 1977
83 Agent-oriented programming (context) - Shoham - 1993
74 Theorem proving by resolution as a basis for question-answer.. (context) - Green - 1969
61 How to progress a database - Lin, Reiter - 1994
61 Transaction logic programming - Bonner, Kifer - 1992
60 The case for domain-specific frame axioms (context) - Haas - 1987
58 concurrency and continuous time in the situation calculus (context) - Reiter - 1995
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
23 How to clear a block: A theory of plans (context) - Manna, Waldinger - 1987
22 Monotonic solution to the frame problem in the situation cal.. (context) - Schubert - 1990
22 Temporal Reasoning in the Situation Calculus - Pinto - 1994
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
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 Concurrency in the situation calculus (context) - Levesque - 1995
5 Defining complex actions in the situation calculus (context) - Levesque, Lin et al. - 1995
4 Reasoning about physical systems with the situation calculus - Kelley - 1995
1 Robot programs with sensing actions: Specification and imple.. (context) - Levesque - 1995
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/WS97/PLAN/): More
Fast Planning Through Planning Graph Analysis - Blum, Furst (1995) (Correct)
An Introduction to Least Commitment Planning - Weld (1994) (Correct)
An Algorithm for Probabilistic Planning - Kushmerick, Hanks, Weld (1995) (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