Strong cyclic planning under partial observability

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 580-584

  Bertoli, Piergiorgio ^a   Cimatti, Alessandro ^a   Pistore, Marco ^b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

OBSERVABILITY;

DEGREE OF SOLUTION; FORMAL DEFINITION; PARTIAL OBSERVABILITY; PERFORMANCE; PLANNING ALGORITHMS; REPRESENTATION TECHNIQUES; SYMBOLIC REPRESENTATION; TRIAL AND ERROR;

ITERATIVE METHODS;

EID: 84886077004     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (11)

1. P. Bertoli, A. Cimatti, M. Pistore, and P. Traverso, 'A Framework for Planning with Extended Goals and Partial Observability', in Proc. of ICAPS03, (June 2003).
2. P. Bertoli, A. Cimatti, M. Roveri, and P. Traverso, 'Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking', in Proc. IJCAI'01, (2001).
3. P. Bertoli and M. Pistore, 'Planning with Extended Goals and Partial Observability', in Proc. of ICAPS04, (June 2004).
4. B. Bonet and H. Geffner, 'Planning with Incomplete Information as Heuristic Search in Belief Space', in Proc. of AIPS'00, pp. 52-61. AAAI Press, (April 2000).
5. A. Cimatti, M. Pistore, M. Roveri, and P. Traverso, 'Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking', Artificial Intelligence, 147(1-2), 35-84, (July 2003).
6. E. Hansen and S. Zilberstein, 'LAO: a Heuristic Search Algorithm that finds Solutions with Loops', Artificial Intelligence, 129(1), 35-62, (2001).
7. L. Iocchi, D. Nardi, and M. Rosati, 'Strong Cyclic Planning with Incomplete Information and Sensing', in Proc. of 4th International Workshop on Planning and Scheduling for Space, (2004).
8. R. M. Jensen, M. M. Veloso, and M. H. Bowling, 'OBDD-Based Optimistic and Strong Cyclic Adversarial Planning', in Proc. of ECP'01, (2001).
9. F. Kabanza, M. Barbeau, and R. St-Denis, 'Planning Control Rules for Reactive Agents', Artificial Intelligence, 95(1), 67-113, (1997).
10. Ugur Kuter, Dand Nau, Marco Pistore, and Paolo Traverso, 'A Hierarchical Task Network Planner based Symbolic Model Checking', in Proc. of ICAPS-2005, pp. 300-309, (2005).
11. J. Rintanen, 'Constructing Conditional Plans by a Theorem-Prover', Journal of Artificial Intellegence Research, 10, 323-352, (1999).