Sciweavers

4894 search results - page 32 / 979
» Dynamic Abstraction Planning
Sort
View
AAAI
1994
14 years 11 months ago
Cost-Effective Sensing during Plan Execution
Between sensing the world after every action (as in a reactive plan) and not sensing at all (as in an openloop plan), lies a continuum of strategies for sensing during plan execut...
Eric A. Hansen
AIPS
2006
14 years 11 months ago
Safe LTL Assumption-Based Planning
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
Alexandre Albore, Piergiorgio Bertoli
CAV
2008
Springer
110views Hardware» more  CAV 2008»
14 years 11 months ago
Monotonic Abstraction for Programs with Dynamic Memory Heaps
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Ced...
COLING
1996
14 years 11 months ago
The Power of Words in Message Planning
Abstract: Before engaging in a conversation, a message must be planned. While there are many ways to perform this task, I believe that people do this in the following way, in parti...
Michael Zock
AIPS
2011
14 years 1 months ago
Directed Search for Generalized Plans Using Classical Planners
We consider the problem of finding generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...