5216 search results - page 457 / 1044 » Planning as Model Checking |
193
click to vote
IJCAI
2003
15 years 8 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
203
click to vote
AIPS
2010
15 years 8 months ago
2010
Efficient management and propagation of temporal constraints is important for temporal planning as well as for scheduling. During plan development, new events and temporal constra...
208
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
There is growing interest in multi-robot frequency-based patrolling, in which a team of robots optimizes its frequency of point visits, for every point in a target work area. In p...
180
click to vote
AAAI
2010
15 years 8 months ago
2010
The selection of the action to do next is one of the central problems faced by autonomous agents. In AI, three approaches have been used to address this problem: the programming-b...
176
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Autonomous robots need to track objects. Object tracking relies on predefined robot motion and sensory models. Tracking is particularly challenging if the robots can actuate on th...