565 search results - page 63 / 113 » Heuristics for Planning with SAT |
DEXA
1995
Springer
13 years 11 months ago
1995
Springer
- In this paper we present CICERO, a system for the assisted planning of personalized itineraries to visit the Ducal Palace in Urbino, Italy. The graphic interface gives users a st...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
JMLR
2008
13 years 8 months ago
2008
A number of today's state-of-the-art planners are based on forward state-space search. The impressive performance can be attributed to progress in computing domain independen...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...
JAIR
2006
13 years 8 months ago
2006
Real-time search methods are suited for tasks in which the agent is interacting with an initially unknown environment in real time. In such simultaneous planning and learning prob...