1912 search results - page 66 / 383 » GOAL as a Planning Formalism |
172
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Solving relaxed problems is a commonly used technique in heuristic search to derive heuristic estimates. In heuristic planning, this is usually done by expanding a planning (reach...
178
click to vote
LANMR
2007
15 years 7 months ago
2007
This paper presents a system that controls the behavior of a mobile robot. The system is based on situation calculus, the initial state is described and a goal is given, Prolog pro...
161
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
152
click to vote
CSFW
2009
IEEE
16 years 28 days ago
2009
IEEE
When collaborating agents share sensitive information to achieve a common goal it would be helpful to them to decide whether doing so will lead to an unwanted release of confiden...
172
click to vote
ICSOC
2005
Springer
15 years 11 months ago
2005
Springer
Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweigh...