An Incremental Interpreter for High-Level Programs with Sensing

AAAI Fall Symposium - Technical Report

Volumn FS-98-02, Issue , 1998, Pages 28-34

  De Giacomo, Giuseppe ^a   Levesque, Hector ^b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; PROGRAM INTERPRETERS;

CLASSICAL PLANNING; HIGH-LEVEL PROGRAM; LANGUAGE CONSTRUCTS; LARGE PROGRAMS; LARGER AGENTS; REASONERS; SITUATION CALCULUS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 84877956879     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. J. A. Ambros-Ingersonand S. Steel. Integrating Planning, Execution and Monitoring. In Proc. AAAI-88, Saint Paul, Minnesota, 1988.
2. F. Bacchus and F. Kabanza. Planning for temporally extended goals. In Proc. AAAI-96, Portland, Oregon, 1996.
3. R. J. Firby. Aninvestigation in reactive planning in complex domains. In AAAI-87, Seattle, Washington, 1987.
4. G. De Giacomo, Y. Lespfirance, and H.Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proc. IJCAI-97, Nagoya, Japan, 1997.
5. K. Golden and D. Weld. Representing sensing actions: the middle ground revisited. In Proc. KR-96, Cambridge, Massachusetts, 1996.
6. M. Hennessy. The Semantics of Programming Languages. John Wiley &Sons, 1990.
7. F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEEEzpert, 7, 6, 1992
8. P. Jonsson and C. Backstrom. Incremental planning. In Proc. 3rd European Workshopon Planning, 1995.
9. H. Levesque. What is planning in the presence of sensing? In Proc. AAAI-95, Portland, Oregon, 1996.
10. H. Levesque, R. Reiter, Y. Lesp~rance, F. Lin, and R. Scherl. GOLOG:A logic programming language for dynamic domains. Journal of Logic Programming, Special issue on actions, 31, 1-3, pp. 59-83, 1997.
11. F. Lin and R. Reiter. Howto progress a database. In Artificial Intelligence, 92, pp. 131-167, 1997.
12. J. McCarthyand P. Hayes. Somephilosophical problemsfromthe standpoint of artificial intelligence. In MachineIntelligence, vol. 4, Edinburgh University Press, 1969.
13. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Dept. Aarhus Univ. Denmark, 1981.
14. R. Reiter. Theframe problem in the situation calculus: Asimple solution (sometimes) and a completehess result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, 1991.
15. R. Scherl'and H. Levesque. The frame problem and knowledge producing actions. In Proc. of AAAI-93, pp. 689-695, Washington, DC, July 1993. AAAI Press/The MITPress.