Planning for Temporally Extended Goals

Planning for Temporally Extended Goals (1997)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Fahiem Bacchus , Froduald Kabanza

Citations:

117 - 9 self

BibTeX

@MISC{Bacchus97planningfor,
    author = {Fahiem Bacchus and Froduald Kabanza},
    title = {Planning for Temporally Extended Goals},
    year = {1997}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

this paper appears in Proceedings of AAAI '96, pp. 1215-1222. F. Bacchus and F. Kabanza / Temporally Extended Goals 2 Yet this flexibility also poses a problem: how do we communicate to such an agent the task we want accomplished in a sufficiently precise manner so that it does what we really

Citations

1555	STRIPS: A new approach to the application of theorem proving to problem solving - Fikes, Nilsson - 1971
1412	The Temporal Logic of Reactive and Concurrent Systems - Manna, Pnueli - 1992
1009	Temporal and modal logic - Emerson - 1990
381	UCPOP: A sound, complete, partial order planner for ADL - Penberthy, Weld - 1992
306	Universal plans for reactive robots in unpredictable environments - Schoppers - 1987
294	O-plan: the open planning architecture - Currie, Tate - 1991
265	ADL: Exploring the middle ground between STRIPS and the situation calculus - Pednault - 1998
206	Application of theorem proving to problem solving - Green - 1969
174	T.: The benefits of relaxing punctuality - Alur, Feder, et al. - 1996
125	Planning with deadlines in stochastic domains - Dean, Kaelbling, et al. - 1993
121	Planning in time: Windows and durations for activities and goals - Vere - 1983
105	Model Checking vs. Theorem Proving: A Manifesto", Systems - Halpern, Vardi - 1991
96	Temporal planning with continuous change - PENBERTHY, WELD - 1994
89	Situated Control Rules - Drummond - 1989
88	Utility models for goal-directed decisiontheoretic planners - Haddawy, Hanks - 1998
77	Using temporal logic to control search in a forward chaining planner - Bacchus, Kabanza - 1996
73	editors. Reasoning about Plans - Allen, Kautz, et al. - 1991
68	Practical Planning - Wilkins - 1988
65	Using abstractions for decision-theoretic planning with time constraints - Boutilier, Dearden - 1994
53	The first law of Robotics: A call to arms - Weld, Etzioni - 1994
37	Tractable Closed World Reasoning with Updates - Etzioni, Golden, et al. - 1994
34	An Efficient Reactive Planner for Synthesizing Reactive Plans - Godefroid, Kabanza - 1991
34	Control strategies for a stochastic planner - Tash, Russell - 1994
20	The bene ts of relaxing punctuality - Alur, Feder, et al. - 1991
16	Synthesis of reactive plans for multi-path environments - Kabanza - 1990
13	Synthesizing plant controllers using real-time goals - Barbeau, Kabanza, et al. - 1995
4	Using temporal logic to control search inaforward chaining planner - Bacchus, Kabanza - 1996
3	Integrated plan generation and recognition—a logic-based approach - Bauer, Biundo, et al. - 1991
2	Tlplan (version 2.0) user's manual. Available via the URL ftp://logos.uwaterloo.ca:/pub/bacchus/tlplanmanual. ps.Z - Bacchus - 1995
2	Localized planning with diversi ed plan construction methods - Lansky - 1993
2	Plan synthesis: A logical perspective - Rosenschien - 1981
2	Localized planning with diversified plan construction methods - Lansky - 1993
1	Planning with deadlines in F. Bacchus and F. Kabanza / Temporally Extended Goals 22 stochastic domains - Dean, Kaelbling, et al. - 1993
1	Tlplan (version 2.0) user’s manual - Bacchus
1	Fahiem Bacchus and Froduald Kabanza. Using temporal logic to control search in a forward chaining planner - Z - 1995