• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Execution Monitoring of High-Level Robot Programs. (1998)

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [www.cs.toronto.edu]
  • [www.dis.uniroma1.it]
  • [www.dis.uniroma1.it]
  • [www.ida.liu.se]
  • [www.dis.uniroma1.it]
  • [www.cs.toronto.edu]
  • [www.cs.toronto.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Giuseppe De Giacomo , Ray Reiter
Citations:75 - 8 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Giacomo98executionmonitoring,
    author = {Giuseppe De Giacomo and Ray Reiter},
    title = {Execution Monitoring of High-Level Robot Programs.},
    year = {1998}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Imagine a robot that is executing a program on-line, and, insofar as it is reasonable to do so, it wishes to continue with this on-line program execution, no matter what exogenous events occur in the world. Execution monitoring is the robot's process of observing the world for discrepancies between the actual world and its internal representation of it, and recovering from such discrepancies.

Citations

1359 Some philosophical problems from the standpoint of artificial intelligence - McCarthy, Hayes - 1969
519 The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression - Reiter - 1991
496 The Control of Discrete Event Systems - Ramadge, Wonham - 1989
452 GOLOG: a logic programming language for dynamic domains - Levesque, Pirri, et al. - 1997
390 W.: Supervisory control of a class of discrete event processes - Ramadge, Wonham - 1987
385 Learning and executing generalized robot plans - Fikes, Hart, et al. - 1972
306 Universal plans for reactive robots in unpredictable environments - Schoppers - 1987
216 State constraints revisited - Lin, Reiter - 1994
162 What is planning in the presence of sensing - Levesque - 1996
152 KNOWLEDGE IN ACTION: Logical Foundations for Describing and Implementing Dynamical Systems - Reiter
142 Integrating planning, execution and monitoring - Ambros-Ingerson, Steel - 1988
105 Proving properties of states in the situation calculus - Reiter - 1993
86 The frame problem and knowledge producing actions - Scherl, Levesque - 1993
62 Reasoning about concurrent executions, prioritized interrupts, and exogenous action in the situation calculus - Giacomo, Levesque, et al. - 1997
55 Interleaving planning and robot execution for asynchronous user requests - Haigh, Veloso - 1998
50 Modular feedback logic for discrete event systems - Ramadge, Wonham - 1987
36 Limited look ahead policies in supervisory control of discrete event systems - Chung, Lafortune, et al. - 1992
34 Improving robot plans during their execution - Beetz, McDermott - 1994
34 Discrete event systems for autonomous mobile agents - Kosecká, Bajcsy - 1994
33 Relating theories of actions and reactive control, Linkoping - Baral, Tran - 1998
19 Sequential, temporal Golog - Reiter - 1998
18 Beyond the single planning paradigm: introspective planning - Traverso, Cimatti, et al. - 1992
15 Expressing transformations of structured reactive plans - Beetz, McDermott - 1997
15 Temporal GOLOG - Sequential - 1998
14 A Dynamic Logic for Acting, Sensing and Planning - Spalazzi, Traversi - 1999
13 Planning with failure - Giunchiglia, Spalazzi, et al. - 1994
12 High-level Robotic Control: Beyond Planning. A Position Paper - Levesque, Reiter - 1998
9 Logic-based modelling of goal-directed behavior - Sandewall - 1998
9 defense of reaction plans as caches - In - 1989
5 Non-terminating processes in the situation calculus - Giacomo, Ternovskaia, et al. - 1997
3 Building monitors to exploit open-loop and closed-loop dynamics - Schoppers - 1992
1 Monitoring the Execution in Dynamic Environments - SPEEDY - 1996
1 Congolog incremental interpreter - Giacomo, Levesque - 1998
1 Execution monitoring of highlevel robot programs - Soutchanski
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University