Planning for temporally extended goals

Annals of Mathematics and Artificial Intelligence

Volumn 22, Issue 1-2, 1998, Pages 5-27

  Bacchus, Fahiem ^a   Kabanza, Froduald ^b  

^a UNIVERSITY OF WATERLOO   (Canada)

^b UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032375187     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018985923441     Document Type: Article

References (29)

1. R. Alur, T. Feder and T. Henzinger, The benefits of relaxing punctuality, in: Tenth Annual ACM Symposium on Principles of Distributed Computing (PODC '91) (1991) pp. 139-152.
2. J. Allen, H. Kautz, R. Pelavin and J. Tenenberg, Reasoning about Plans (Morgan Kaufmann, San Mateo, CA, 1991).
3. F. Bacchus, Tlplan (version 2.0) User's Manual, available via the URL ftp://logos.uwaterloo.ca: /pub/bacchus/tlplan-manual.ps.Z (1995).
4. M. Bauer, S. Biunod, D. Dengler, M. Hecking, J. Koehler and G. Merziger, Integrated plan generation and recognition - a logic-based approach, Technical Report RR-91-26, DFKI (1991).
5. C. Boutilier and R. Dearden, Using abstractions for decision-theoretic planning with time constraints, in: Proc. National Conference on Artificial Intelligence (AAAI '94) (Seattle, 1994) pp. 1016-1022.
6. F. Bacchus and F. Kabanza, Using temporal logic to control search in a forward chaining planner, in: Proc. 3rd European Workshop on Planning (1995), available via the URL ftp://logos.uwaterloo.ca: /pub/tlplan/tlplan.ps.Z.
7. M. Barbeau, F. Kabanza and R. St-Denis, Synthesizing plant controllers using real-time goals, in: Proc. Thirteenth International Joint Conference on Artificial Intelligence (IJCAI '95) (1995) pp. 791-798.
8. K. Currie and A. Tate, O-plan: the open planning architecture, Artificial Intelligence 52 (1991) 49-86.
9. T. Dean, L.P. Kaelbling, J. Kerman and A. Nicholson, Planning with deadlines in stochastic domains, in: Proc. National Conference on Artificial Intelligence (AAAI '93) (1993) pp. 574-579.
10. M. Drummond, Situated control rules, in: Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89) (Morgan Kaufmann, 1989) pp. 103-113.
11. O. Etzioni, K. Golden and D. Weld, Tractable closed world reasoning with updates, in: Principles of Knowledge Representation and Reasoning: Proc. Forth International Conference (KR '94) (1994) pp. 178-189.
12. E.A. Emerson, Temporal and modal logic, in: Handbook of Theoretical Computer Science, ed. J. van Leeuwen, Volume B, Chapter 16 (MIT, 1990) pp. 997-1072.
13. R. Fikes and N. Nilsson, Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence 2 (1971) 189-208.
14. P. Godefroid and F. Kabanza, An efficient reactive planner for synthesizing reactive plans, in: Proc. National Conference on Artificial Intelligence (AAAI '91) (1991) pp. 640-645.
15. C. Green, Application of theorem proving to problem solving, in: Proc. International Joint Conference on Artificial Intelligence (IJCAI) (1969) pp. 219-239.
16. P. Haddawy and S. Hanks, Utility models for goal-directed decision-theoretic planners, Technical Report 93-06-04, University of Washington (1993).
17. J.Y. Halpern and M.Y. Vardi, Model checking vs. theorem proving: a manifesto, in: Principles of Knowledge Representation and Reasoning: Proc. Second International Conference (KR '91), eds. J.A. Allen, R. Fikes and E. Sandewall (Morgan Kaufmann, San Mateo, CA, 1991) pp. 325-334.
18. F. Kabanza, Synthesis of reactive plans for multi-path environments, in: Proc. National Conference on Artificial Intelligence (AAAI '90) (1990) pp. 164-169.
19. A. Lansky, Localized planning with diversified plan construction methods, Technical Report T.R. FIA-93-17, NASA Ames Research Center (1993).
20. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer, New York, 1992).
21. E. Pednault, ADL: Exploring the middle ground between STRIPS and the situation calculus, in: Proc. First International Conference on Principles of Knowledge Representation and Reasoning (KR '89) (1989) pp. 324-332.
22. J.S. Penberthy and D. Weld, UCPOP: A sound, complete, partial order planner for ADL, in: Principles of Knowledge Representation and Reasoning: Proc. Third International Conference (KR '92) (Morgan Kaufmann, 1992) pp. 103-114.
23. J.S. Penberthy and D. Weld, Temporal planning with continuous change, in: Proc. National Conference on Artificial Intelligence (AAAI '94) (Morgan Kaufmann, 1994) pp. 1010-1015.
24. S.J. Rosenschien, Plan synthesis: A logical perspective, in: Proc. International Joint Conference on Artificial Intelligence (IJCAI) (1981) pp. 115-119.
25. M.J. Schoppers, Universal plans for reactive robots in unpredictable environments, in: Proc. Tenth International Joint Conference on Artificial Intelligence (IJCAI '87) (1987) pp. 1039-1046.
26. J. Tash and S. Russell, Control strategies for a stochastic planner, in: Proc. National Conference on Artificial Intelligence (AAAI '94) (Seattle, 1994) pp. 1079-1085.
27. S. Vere, Planning in time: Windows and durations for activities and goals, IEEE Trans. on Pattern Analysis and Machine Intelligence 5 (1983).
28. D. Weld and O. Etzioni, The first law of robotics (a call to arms), in: Proc. National Conference on Artificial Intelligence (AAAI '94) (1994) pp. 1042-1047.
29. D. Wilkins, Practical Planning (Morgan Kaufmann, San Mateo, CA, 1988).