1912 search results - page 94 / 383 » GOAL as a Planning Formalism |
102
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes two approaches that enable the AI Planner LPGP to reason about domains with exogenous events and goals with duration: the first investigates how such domains...
145
click to vote
ICAISC
2004
Springer
15 years 11 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
122
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a general framework for planning the quasi-static motion of a three-limbed climbing robot in vertical natural terrain. The problem is to generate a sequence of...
142
click to vote
INTERACT
2007
15 years 7 months ago
2007
Many studies have shown how knowledge workers face challenges while multi-tasking among several projects and initiatives at the workplace. Researchers and consultants of personal p...
133
click to vote
AIPS
2000
15 years 7 months ago
2000
Classical propositional STRIPSplanning is nothing but the searchfor a path in the state-transition graph induced by the operators in the planning problem. Whatmakes the problem ha...