A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Incremental Heuristic Search for Planning with Temporally Extended Goals and Uncontrollable Events
International Joint Conference on Artificial Intelligence
Planning with temporally extended goals and uncontrollable events has recently been introduced as a formal model for system reconfiguration problems. An important application is to automatically reconfigure a real-life system in such a way that its subsequent internal evolution is consistent with a temporal goal formula. In this paper we introduce an incremental search algorithm and a search-guidance heuristic, two generic planning enhancements. An initial problem is decomposed into a series ofdblp:conf/ijcai/BoteaC09 fatcat:xehmaraiofby3jyuk3elouozem