1616 search results - page 18 / 324 » A Framework for Hybrid Planning |
AIPS
1998
13 years 10 months ago
1998
We present the application of the Planning by Rewriting PbR framework to query planning in distributed and heterogeneous environments. PbR is a new paradigm for e cient high-quali...
ECAIW
2000
Springer
14 years 29 days ago
2000
Springer
The aim of this paper is to present a framework for developing intelligent agents that act in dynamic and unpredictable environments in a robust and efficient way. To achieve this ...
MASA
2001
Springer
14 years 1 months ago
2001
Springer
An important aspect of agents is how they construct a plan to reach their goals. Since most agents live in a dynamic environment, they also will often be confronted with situations...
AIPS
2011
13 years 7 days ago
2011
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...
ENTCS
2007
13 years 8 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...