Towards an integration of Golog and planning

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2007, Pages 1846-1851

  Claßen, Jens ^a   Eyerich, Patrick ^b   Lakemeyer, Gerhard ^a   Nebel, Bernhard ^b  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION LANGUAGE; GOLOG PROGRAMS; PLANNING PROBLEM; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE; SEMANTICS;

INTEGRATION;

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

References (17)

1. B. Bonet and H. Geffner. Heuristic Search Planner 2.0. AI Magazine, 22(3):77-80, 2001. (Pubitemid 32935362)
2. W. Burgard, A.B. Cremers, D. Fox, D. Hähnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. Experiences with an interactive museum tour-guide robot. Artif. Intell., 114(1-2):3-55, 1999. (Pubitemid 129588320)
3. P. Eyerich, B. Nebel, G. Lakemeyer, and J. Claßen. Golog and PDDL: What is the relative expressiveness? submitted for publication, 2006.
4. M. Fox and D. Long. PDDL2.1: An extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res., 20:61-124, 2003. (Pubitemid 41530519)
5. M. Gelfond and V. Lifschitz. Action languages. Electronic Transactions on AI, 3, 1998.
6. J. Hoffmann and B. Nebel. The FF planning system: Fast plan generation through heuristic search. J. Artif. Intell. Res., 14:253-302, 2001.
7. G. Lakemeyer and H. Levesque. Situations, si! situation terms, no! In Proc. KR-04. AAAI Press, 2004.
8. G. Lakemeyer and H. Levesque. Semantics for a useful fragment of the situation calculus. In Proc. IJCAI-05, 2005.
9. H. Levesque and G. Lakemeyer. The Logic of Knowledge Bases. MIT Press, 2001.
10. H. Levesque, R. Reiter, Y. Lespérance, F. Lin, and R. Scherl. GOLOG: A logic programming language for dynamic domains. J. Log. Prog., 31:59-84, 1997.
11. V. Lifschitz. On the semantics of STRIPS. In Reasoning about Actions and Plans: Proc. of the 1986 Workshop, pages 1-9. Morgan Kaufmann, 1986.
12. F. Lin and R. Reiter. How to progress a database. Artif. Intell., 92(1-2):131-167, 1997. (Pubitemid 127414142)
13. E. Pednault. ADL: Exploring the middle ground between STRIPS and the Situation Calculus. In Proc. KR-89, pages 324-332, 1989.
14. E. Pednault. ADL and the state-transition model of action. J. Log. Comput., 4(5):467-512, 1994.
15. R. Reiter. Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge, Mass., 2001.
16. S. Sardina, G. De Giacomo, Y. Lespérance, and H. Levesque. On the semantics of deliberation in IndiGolog: From theory to implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4):259-299, 2004. (Pubitemid 39063962)
17. M. Thielscher. Programming of reasoning and planning agents with FLUX. In Proc. KR-02. AAAI Press, 2002.