Search control in planning for temporally extended goals

ICAPS 2005 - Proceedings of the 15th International Conference on Automated Planning and Scheduling

Volumn , Issue , 2005, Pages 130-139

  Kabanza, Froduald ^a   Thiébaux, Sylvie ^b  

^a UNIVERSITÉ DE SHERBROOKE   (Canada)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AI PLANNING; REACHABILITY; SEARCH CONTROL; STATE TRAJECTORY;

AUTOMATA THEORY;

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

References (19)

1. Bacchus, F. and Kabanza, F. 1998. Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence 22:5-27.
2. Bacchus, F. and Kabanza, F. 2000. Using temporal logic to express search control knowledge for planning. Artificial Intelligence 116(1-2).
3. Baral, C. and Zhao, J. 2004. Goal specification in presence of nondeterministic actions. In Prac. ECAl.
4. Cesta, A.; Bahadori, S.; G, C.; Grisetti, G.; Giuliani, M.; Loochi, L.; Leone, G.; Nardi, D.; Oddi, A.; Pecora, F.; Rasconi, R.; Sag- gase, A.; and Scopelliti, M. 2003. The robocare project, cognitive systems for the care of the elderly. In Proc. International Conference on Aging, Disability and Independence (ICADI).
5. Cresswell, S., and Coddington, A. 2004. Compilation of LTL goal formulas into PDDL. In Proc. ECAI.
6. Dal Lago, U.; Pistore, M. and Traverso, P. 2002. Planning with a language for extended goals. In Proc. AAAl.
7. De Giacomo, G. and M. Y. Vardi. 1999. Automata-theoretic approach to planning for temporally extended goals. In Proc. ECP.
8. Fern, A.; Yoon, S. and Givan, R. 2004. Learning domain-specific knowledge from random walks. In Proc. ICAPS.
9. Fritz, C. 2003. Constructing Biichi automata from linear temporal logic using simulation relations for alternating Biichi automata. In Proc. International Conference on Implementation and Application of Automata.
10. Kabanza, F.; Barbeau, M. and St-Dennis, R. 1997. Planning control rules for reactive agents. Artificial Intelligence 95:67- 113.
11. Kaelbling, L. 1988. Goals as parallel program specifications. In Proc. AAAI.
12. Kvarnstrom, J., and Magnusson, M. 2003. TALplanner in IPC- 2002: Extensions and Control Rules. Journal of Artificial Intelligence Research 20:343-377.
13. Nau, D., Au, T.; Ilghami, O.; Kuter, U.; Murdoch, J.; Wu, D. and Yaman, F. 2003. SJOP2, an HTN Planning System. Journal of Artificial Intelligence Research 20:379-404.
14. Pasula, H.; Zuttlemoyer, L.; and Pack Kaelbling, L. 2004. Learning probabilistic relational planning rules. In Proc. ICAPS.
15. Pistore, M. and Traverso, P. 2001. Planning as model-checking for extended goals in non-deterministic domains. In Proc. IJCAI.
16. Rintanen, J. 2000. Incorporation of temporal logic control into plan operators. In Proc. ECAI.
17. Safra, S. 1988. On the complexity of w- Automata. In Proc. FOCS.
18. Slaney, J. 2004. Semi-positive LTL with an uninterpreted past operator. Logic Journal of the IGPL. To appear.
19. Wolper, P. 1987. On the relation of programs and computations to models of temporal logic. In Proc. Temporal Logic in Specification. LNCS 398, 75-123.