MI
13 years 7 months ago
1994 JELIA
13 years 10 months ago
1994 Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
AIPS
13 years 7 months ago
1994
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
KI
13 years 10 months ago
1994 Springer
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...
KI
13 years 10 months ago
1994 Springer
Abstract. As an extension of the well
|