1614 search results - page 58 / 323 » Planning as Temporal Reasoning |
119
click to vote
FLAIRS
1998
15 years 7 months ago
1998
Automatedplanning within the scope of middle level echelondecision makingprocessesis beginningto receive increasedresearchattentionin an attemptto reducethe size of the supportsta...
159
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative...
153
click to vote
AAAI
1996
15 years 7 months ago
1996
Computer-based presentation systems enable the realization of effective and dynamic presentation styles that incorporate multiple media. Obvious examples are animated user interfa...
149
click to vote
AIPS
2006
15 years 7 months ago
2006
We investigate the problem of temporal planning with concurrent actions having stochastic durations, especially in the context of extended-state-space based planners. The problem ...
170
click to vote
ICRA
2007
IEEE
16 years 15 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...