Planning with loops

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 509-515

  Levesque, Hector J ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONDITIONAL PLANNING; OFFLINE; SITUATION CALCULUS;

ARTIFICIAL INTELLIGENCE;

THEOREM PROVING;

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

References (17)

1. F. Bacchus and F. Kabanza. Using temporal logics to express search control knowledge for planning. Artificial Intelligence, 116, 2000.
2. S. Biundo. Present-day deductive planning. In C. Bäckström and E. Sandewell, editors, Procs. of the 2nd European Workshop on Planning (EWSP-93), pages 1-5, Vadstena, Sweeden, 1994. IOS Press (Amsterdam).
3. B. Bonet and H. Geffner. Gpt: a tool for planning with uncertainty and partial information. In Proc. IJCAI-01 Workshop on Planning with Uncertainty and Partial Information, pages 82-87, 2001.
4. 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, 2003.
5. G. de Giacomo and H. Levesque. An incremental interpreter for high-level programs with sensing. In H. Levesque and F. Pirri, editors, Logical Foundation for Cognitive Agents: Contributions in Honor of Ray Reiter, pages 86-102. Springer, Berlin, 1999.
6. R. Demolombe and M. Pozos Parra. A simple and tractable extension of situation calculus to epistemic logic. Lecture Notes in Computer Science, 1932, 2000.
7. Y. Lespérance, H. Levesque, and R. Reiter. A situation calculus approach to modeling and programming agents. In A. Rao and M. Wooldridge, editors, Foundations and Theories of Rational Agency. Kluwer, 1999.
8. H. Levesque. What is planning in the presence of sensing? In Procs. of the 13th National Conference, AAAI-96, pages 1139-1146, Portland, Oregon, 1996.
9. F. Lin and H. Levesque. What robots can do: Robot programs and effective achievability. Artificial Intelligence, 101:201-226, 1998. (Pubitemid 128387393)
10. Z. Manna and R. Waldinger. A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems, 2(1):90-121, 1980.
11. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Webber and N. Nilsson, editors, Readings in Artificial Intelligence, pages 431-450. Kaufmann, Los Altos, 1981.
12. L. Ngo and P. Haddawy. Representing iterative loops for decision theoretic planning. In Extending Theories of Action: Papers from the 1995 AAAI Spring Symposium, pages 151-156. AAAI Press, Menlo Park, 1995.
13. R. Petrick and F. Bacchus. Extending the knowledge-based approach to planning with incomplete information and sensing. In Shlomo Zilberstein, Jana Koehler, and Sven Koenig, editors, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS-04), pages 2-11, Menlo Park, CA, June 2004. AAAI Press.
14. R. Reiter. Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
15. S. Sardina, G. de Giacomo, Y. Lespérance, and H. Levesque. On the semantics of deliberation in IndiGolog - from theory to implementation. Annals of Mathematics and Artificial Intelligence, 41(2-4):259-299, Aug 2004. (Pubitemid 39063962)
16. W. Stephan and S. Biundo. Deduction based refinement planning. In B. Drabble, editor, Procs. of AIPS-96, pages 213-220. AAAI Press, 1996.
17. S. Vassos. A feasible approach to disjunctive knowledge in situation calculus. Master's thesis, Department of Computer Science, University of Toronto, 2004.