79 search results - page 3 / 16 » Interleaving Temporal Planning and Execution in Robotics Dom... |
AIEDAM
1999
13 years 5 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
JOLLI
2007
13 years 5 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
AAAI
2006
13 years 7 months ago
2006
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
In many domains successful execution of plans requires careful monitoring and repair. Diagnosis of plan execution supports this process by identifying causes of plan failure. Most ...
ICSOC
2003
Springer
13 years 10 months ago
2003
Springer
Abstract Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex...