8 search results - page 2 / 2 » Engineering a Conformant Probabilistic Planner |
AIPS
2000
14 years 7 days ago
2000
The formulation of planning as heuristic search with heuristics derived from problem representations has turned out to be a fruitful approach for classical planning. In this paper...
CF
2005
ACM
14 years 25 days ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...