Planning with extended goals and partial observability

Proceedings of the 14th International Conference on Automated Planning and Scheduling, ICAPS 2004

Volumn , Issue , 2004, Pages 270-278

  Bertoli, Piergiorgio ^a   Pistore, Marco ^b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; HEURISTIC METHODS; PROBABILITY; SEMANTICS; THEOREM PROVING;

AUTOMATIC SYNTHESIS; PARTIAL OBSERVABILITY; PLAN GENERATION ALGORITHM;

PLANNING;

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

References (17)

1. Bacchus, F., and Kabanza, F. 2000. Using Temporal Logic to Express Search Control Knowledge for Planning. Artificial Intelligence 116(1-2): 123-191.
2. Bertoli, P.; Cimatti, A.; Roveri, M.; and Traverso, P. 2001. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In Proc. IJCAI'01.
3. Bertoli, P.; Cimatti, A.; Pistore, M.; and Traverso, P. 2003. A Framework for Planning with Extended Goals under Partial Observability. In Proc. ICAPS'03, 215-224.
4. Bertoli, P.; Cimatti, A.; and Roveri, M. 2001. Heuristic Search + Symbolic Model Checking = Effi cient Conformant Planning. In Proc. IJCAI'01.
5. Bonet, B., and Geffner, H. 2000. Planning with Incomplete Information as Heuristic Search in Belief Space. In Proc. AIPS 2000.
6. Dal Lago, U.; Pistore, M.; and Traverso, P. 2002. Planning with a Language for Extended Goals. In Proc. AAAI'02.
7. de Giacomo, G., and Vardi, M. 1999. Automata-Theoretic Approach to Planning with Temporally Extended Goals. In Proc. ECP'99.
8. Emerson, E. A. 1990. Temporal and Modal Logic. In van Leeuwen, J., ed., Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier.
9. Gretton, C.; Price, D.; and Thiébaux, S. 2003. NM-RDPP: A System for Decision-Theoretic Planning with Non-Markovian Rewards. In Proc. of ICAPS'03 Workshop on Planning under Uncertainty and Incomplete Information.
10. Kabanza, F.; Barbeau, M.; and St-Denis, R. 1997. Planning Control Rules for Reactive Agents. Artificial Intelligence 95(1):67-113.
11. Karlsson, L. 2001. Conditional Progressive Planning under Uncertainty. In Proc. IJCAI'01.
12. Kupferman, O.; Vardi, M.; and Wolper, P. 1997. Synthesis with incomplete information. In Proc. ICTL'97.
13. Petrick, R., and Bacchus, F. 2002. A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. In Proc. AIPS'02.
14. Pistore, M., and Traverse, P. 2001. Planning as Model Checking for Extended Goals in Non-deterministic Domains. In Proc. IJCAI'01.
15. Pistore, M.; Bettin, R.; and Traverso, P. 2001. Symbolic Techniques for Planning with Extended Goals in Nondeterministic Domains. In Proc. ECP'01.
16. Rintanen, J. 1999. Constructing Conditional Plans by a Theorem-Prover. Journal of Artificial Intellegence Research 10:323-352.
17. Weld, D.; Anderson, C.; and Smith, D. 1998. Extending Graphplan to Handle Uncertainty and Sensing Actions. In Proc. AAAI'98.