Jens Claßen, Gerhard Lakemeyer  Home/Search
Context
Related
| kbsg.informatik.rw...r06Foundations.pdf 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: kbsg.informatik...ublications.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reiter proposed a semantics for knowledge-based Golog programs with sensing where program execution can be conditioned on tests involving explicit references to what the agent knows and does not know. (Update)
Active bibliography (related documents): More All
0.9: Semantics for a Useful Fragment of the Situation Calculus - Lakemeyer, Levesque (2005) (Correct)
0.4: The Fluent Calculus - A Specification Language for Robots with.. - Thielscher (2000) (Correct)
0.3: Representing the Knowledge of a Robot - Thielscher (2000) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ en-foundations,
author = "Jens Claßen and Gerhard Lakemeyer",
title = "Foundations for Knowledge-Based Programs Using ES",
url = "citeseer.ist.psu.edu/745093.html" }
Citations (may not include all citations):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
343 Modal logic: an introduction (context) - Chellas - 1980
269 GOLOG: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
75 Reasoning about knowledge and action (context) - Moore - 1977
45 Knowledge in action : logical foundations for specifying and.. (context) - Reiter - 2001
33 Adding knowledge to the action description language - Lobo, Mendez et al. - 1997
20 AOL: a logic of acting (context) - Lakemeyer, Levesque - 1998
12 On knowledge-based programming with sensing in the situation.. - Reiter - 2001
11 A knowledgebased approach to planning with incomplete inform.. - Petrick, Bacchus - 2002
4 Query evaluation and progression in AOL knowledge bases - Lakemeyer, Levesque - 1999
3 and the frame problem (context) - Scherl, Levesque - 2003
2 situation terms (context) - Lakemeyer, Levesque - 2004
1 Projection using regression and sensors (context) - Giacomo, Levesque - 2004
1 Semantics for a useful fragment of the situation calculus - Lakemeyer, Levesque - 2001
Documents on the same site (http://www-kbsg.informatik.rwth-aachen.de/research/publications.php): More
Deliberation in a Metadata-Based Modeling and.. - Gans, Jarke.. (2004) (Correct)
Levesque's Axiomatization of Only Knowing is Incomplete - Halpern, Lakemeyer (1995) (Correct)
Limited Reasoning in First-Order Knowledge Bases - Lakemeyer (1994) (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