624 search results - page 1 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
COORDINATION
2006
Springer
13 years 8 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
AAAI
2000
13 years 5 months ago
2000
Graphplan and heuristic state space planners such as HSP-R and UNPOP are currently two of the most effective approaches for solving classical planning problems. These approaches h...
SARA
2005
Springer
13 years 10 months ago
2005
Springer
Intelligent agents acting in real world environments need to synthesize their course of action based on multiple sources of knowledge. They also need to generate plans that smoothl...
EDBT
2008
ACM
14 years 4 months ago
2008
ACM
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...