6957 search results - page 44 / 1392 » Planning before plans |
CHI
2007
ACM
14 years 8 months ago
2007
ACM
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
WILF
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...
AISC
2004
Springer
14 years 1 months ago
2004
Springer
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fa...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
There are many practical planning situations in which planners may need information from external sources during the planning process. We describe the following: T.C. Au, D. Nau, a...