Compilation of LTL goal formulas into PDDL

Frontiers in Artificial Intelligence and Applications

Volumn 110, Issue , 2004, Pages 985-986

  Cresswell, Stephen ^a   Coddington, Alexandra ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS;

COMPILATION PROCESS; CONDITION; FINITE STATES MACHINE; LINEAR TEMPORAL LOGIC; PLANNING DOMAIN DEFINITION LANGUAGE; PLANNING DOMAINS; PLANNING PROBLEM; PROBLEM DEFINITION;

TEMPORAL LOGIC;

EID: 85017405449     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (14)

1. F. Bacchus and M. Ady, 'Precondition control'. Unpublished manuscript, 1999.
2. F. Bacchus and F. Kabanza, 'Planning for temporally extended goals', Annals of Mathematics and Artificial Intelligence, (1996).
3. F. Bacchus and F. Kabanza, 'Using temporal logics to express search control knowledge for planning', Artificial Intelligence, 116, (2000).
4. A. Blum and M. Furst, 'Fast planning through planning graph analysis', in Proc. of IJCAI-95, pp. 1636-1642. Morgan Kaufmann, (1995).
5. S. Cresswell and A. Coddington. Planning with LTL goal formulas via compilation into PDDL, 2004. Available from http://planning.cis.strath.ac.uk/.
6. P. Doherty and J. Kvarnstrom, 'TALplanner: An empirical investigation of a temporal logic-based forward chaining planner', in Proc. 6th Int'l Workshop on the Temporal Representation and Reasoning, TIME '99, (1999).
7. E. Allen Emerson, 'Temporal and modal logic', in Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, ed., J. van Leeuwen, 995-1072, North-Holland, (1990).
8. R. Gerth, D. Peled, M. Y. Vardi, and P.Wolper, 'Simple on-The-fly automatic verification of linear temporal logic', in Proc. 15th IFIP WG6.1 Int'l Symp. on Protocol Specification, Testing and Verification, (1996).
9. G. De Giacomo and M. Y. Vardi, 'Automata-Theoretic approach to planning for temporally extended goals', in ECP '99, (1999).
10. D. Giannakopoulou and K. Havelund, 'Automata-based verification of temporal properties on running programs', in 16th IEEE International Conference on Software Engineering, (2001).
11. D. Long and M. Fox, 'The 3rd international planning competition: Results and analysis', JAIR, 20, (2003).
12. D. Long and M. Fox, 'Exploiting a graphplan framework in temporal planning', in Int'l Conf. on Automated Planning and Scheduling, ICAPS 2003, Trento, Italy, (2003).
13. M. Cialdea Mayer, A. Orlandini, G. Balestreri, and C. Limongelli, 'A planner fully based on linear time logic', in 5th Int'l Conf. on AI Planning and Scheduling (AIPS-2000), pp. 347-354, (2000).
14. D. McDermott et al., 'PDDL -The planning domain definition language', Technical Report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control, (1998).