Using Temporal Logics to Express Search Control Knowledge for Planning (1999)
| Venue: | ARTIFICIAL INTELLIGENCE |
| Citations: | 239 - 11 self |
BibTeX
@ARTICLE{Bacchus99usingtemporal,
author = {Fahiem Bacchus and Froduald Kabanza},
title = {Using Temporal Logics to Express Search Control Knowledge for Planning},
journal = {ARTIFICIAL INTELLIGENCE},
year = {1999},
volume = {116},
pages = {2000}
}
Years of Citing Articles
OpenURL
Abstract
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from combinatorial complexity even in simple domains. Theoretical results demonstrate that planning is in the worst case intractable. Nevertheless, planning in particular domains can often be made tractable by utilizing additional domain structure. In fact, it has long been acknowledged that domain independent planners need domain dependent information to help them plan effectively. In this







