Extending ConGolog to allow partial ordering

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1757, Issue , 2000, Pages 188-204

  Baral, Chitta ^a   Son, Tran Cao ^b  

^a Arizona State University   (United States)

^b University of Texas at El Paso   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT AGENTS;

CONGOLOG; EXECUTION LANGUAGES; NON DETERMINISM; PARTIAL ORDER; PROLOG IMPLEMENTATIONS; TEMPORAL CONSTRAINTS; UNIVERSITY OF TORONTO;

HIGH LEVEL LANGUAGES;

EID: 84942942763     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10719619_14     Document Type: Conference Paper

References (16)

1. K. Erol, J. Hendler, and D. Nau. HTN-planning: Complexity and Expressivity. In AAAI 94, pages 1123–1228, 1994.
2. J.R. Graham and K.S. Decker. Towards a Distributed, Environment-Centered Agent Framework. Pre-Proceedings ATAL’99, 162–175, 1999.
3. G. De Giacomo, Y. Lespérance, and H. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In IJCAI 97, pages 1221–1226, 1997.
4. G. De Giacomo, Y. Lespérance, and H. Levesque. ConGolog, a concurrent programming language based on the situation calculus: the foundation. To appear in AIJ
5. G. De Giacomo, Y. Lespérance, and H. Levesque. ConGolog, a concurrent programming language based on the situation calculus: language and implementation. To appear in AIJ
6. K.V. Hindriks, F.S. de Boer, W. van der Hoek, J.J. Ch. Meyer. Formal Semantics for an Abstract Agent Programming Language. Intelligent Agents IV, LNAI 1365, 215–229, 1998.
7. Y. Lespérance, K. Tam, and M. Jenkin. Reactivity in a Logic-Based Robot Programming Framework. In Pre-Proceedings ATAL’99, 32–46.
8. H. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1- 3):59–84, April-June 1997.
9. G. Lakemeyer. On Sensing and Off-line Interpreting in GOLOG. AAAI Fall Symposium, Cognitive Robotics, 91–97, 1998.
10. J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 4, pages 463–502. Edinburgh University Press, Edinburgh, 1969.
11. M. Paolucci, D. Kalp, A. Pannu, O. Shehory, and K. Sycara. A Planning Component for RETSINA Agents. In Pre-Proceedings ATAL’99, 235–250.
12. A.S. Rao. Agent Speak(L): BDI Agents Speak Out in a Logical Computable Language. In W. van der Velde and J.W. Perram, editors, Agents Breaking Away, 42–55, 1996.
13. R. Reiter. The frame problem in the situation calculus:A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation, pages 359–380. Academic Press, 1991.
14. E.D. Sacerdoti. Planning in a Hierarchy of Abstraction Spaces. Artificial Intelligence, 5 (1974), 115–135.
15. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60 (1993), 51–92.
16. R. Reiter. Sequential, Temporal GOLOG. In KR, 1998.