On planning with programs that sense

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 492-502

  Baier, Jorge A ^a   McIlraith, Sheila A ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; KNOWLEDGE REPRESENTATION; PLANNING; SEMANTICS; WEB SERVICES; WEBSITES;

AUTOMATED WEB SERVICE COMPOSITION; COMPILATION METHODS; COMPUTATIONAL ADVANTAGES; EXECUTION SEMANTICS; INPUT AND OUTPUTS; PLANNING TECHNIQUES; PRIMITIVE ACTIONS; SITUATION CALCULUS;

MACROS;

EID: 72949124336     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Bacchus, F., and Petrick, R. 1998. Modeling an agent's incomplete knowledge during planning and execution. In Cohn, A. G.; Schubert, L.; and Shapiro, S. C., eds., Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 432-443. San Francisco, CA: Morgan Kaufmann Publishers.
2. Baier, J., and McIlraith, S. 2005. Planning with programs that sense. In Proceedings of the Sixth Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC-05), 7-14.
3. Bertoli, P.; Cimatti, A.; Roveri, M.; and Traverso, P. 2001. Planning in nondeterministic domains under partial observability via symbolic model checking. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01, 473-478.
4. Bonet, B., and Geffner, H. 2000. Planning with incomplete information as heuristic search in belief space. In Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems (AIPS), 52-61.
5. Davis, E. 1994. Knowledge preconditions for plans. Journal of Logic and Computation 4(5):721-766.
6. de Giacomo, G., and Levesque, H. 1999. An incremental interpreter for high-level programs with sensing. In Levesque, H., and Pirri, F., eds., Logical foundation for cognitive agents: contributions in honor of Ray Reiter. Berlin: Springer Verlag. 86-102.
7. de Giacomo, G.; Lesṕerance, Y.; and Levesque, H. 2000. Con- Golog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121(1-2):109-169.
8. Erol, K.; Hendler, J.; and Nau, D. 1994. HTN planning: Complexity and expressivity. In Proc. of the Twelfth National Conference on Artificial Intelligence (AAAI-94), volume 2, 1123-1128.
9. Fikes, R. E.; Hart, P. E.; and Nilsson, N. J. 1972. Learning and executing generalized robot plans. Artificial Intelligence 3:251- 288.
10. Hoffmann, J., and Brafman, R. 2005. Contingent planning via heuristic forward search with implicit belief states. In Proceedings of the 15th International Conference on Automated Planning and Scheduling (ICAPS-05), 71-80. Monterey, CA, USA: Morgan Kaufmann.
11. Korf, R. E. 1987. Planning as search: A quantitative approach. Artificial Intelligence 33(1):65-88.
12. Lespérance, Y.; Levesque, H.; Lin, F.; and Scherl, R. 2000. Ability and knowing how in the situation calculus. Studia Logica 66(1):165-186.
13. Levesque, H. 1996. What is planning in the presence of sensing? In The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96, 1139-1146. Portland, Oregon: American Association for Artificial Intelligence.
14. Lin, F., and Reiter, R. 1994. State constraints revisited. Journal of Logic and Computation 4(5):655-678.
15. McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh University Press. 463-502.
16. McDermott, D. V. 1998. PDDL-The Planning Domain Definition Language. Technical Report TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control.
17. McIlraith, S. A., and Fadel, R. 2002. Planning with complex actions. In 9th International Workshop on Non-Monotonic Reasoning (NMR), 356-364.
18. McIlraith, S., and Son, T. C. 2002. Adapting Golog for composition of semantic web services. In Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), 482-493.
19. Moore, R. C. 1985. A formal Theory of Knowledge and Action. In Hobbs, J. B., and Moore, R. C., eds., Formal Theories of the Commonsense World. Norwood, New Jersey: Ablex Publishing Corp. chapter 9, 319-358.
20. Pednault, E. 1988. Synthesizing plans that contain actions with context-dependent effects. Computational Intelligence 4(4):356- 372.
21. Pednault, E. P. D. 1989. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of the First International Conference of Knowledge Representation and Reasoning, 324-332.
22. Petrick, R. P. A., and Bacchus, F. 2002. A knowledge-based approach to planning with incomplete information and sensing. In Proceedings of the Sixth International Conference on Artificial Intelligence Planning Systems (AIPS), 212-222.
23. Reiter, R. 2001. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press.
24. Sacerdoti, E. 1974. Planning in a hierarchy of abstraction spaces. Artificial Intelligence 5:115-135.
25. Sardina, S.; de Giacomo, G.; Lesṕerance, Y.; and Levesque, H. 2004. On the semantics of deliberation in IndiGolog - from theory to implementation. Annals of Mathematics and Artificial Intelligence 41(2-4):259-299. Previous version appeared in Proc. of KR-2002.
26. Scherl, R., and Levesque, H. J. 2003. Knowledge, action, and the frame problem. Artificial Intelligence 144(1-2):1-39.
27. Son, T. C.; Tu, P. H.; and Baral, C. 2004. Planning with sensing actions and incomplete information using logic programming. In Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 2923 of Lecture Notes in Computer Science, 261-274. Fort Lauderdale, FL, USA: Springer.
28. Weld, D. S.; Anderson, C. R.; and Smith, D. E. 1998. Extending graphplan to handle uncertainty & sensing actions. In Proceedings of AAAI-98, 897-904.