ECAI
1992
Springer
13 years 12 months ago
1992
Springer
Abstract. The paper refutes the general phenomenological argument that knowledge cannot be completely represented by symbols and, hence, symbolic AI does not work. Moreover, the vi...
KI
1994
Springer
13 years 12 months ago
1994
Springer
The modeling of noncooperative dialogs, as opposed to dialogs in which the goals of the participants coincide, presents novel challenges to a pragmatically oriented dialog system. ...
KI
1994
Springer
13 years 12 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...
ECAI
1992
Springer
13 years 12 months ago
1992
Springer
KI
1994
Springer
13 years 12 months ago
1994
Springer
Abstract. As an extension of the well
ECAI
1992
Springer
13 years 12 months ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
ECAI
1992
Springer
13 years 12 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
ECAI
1992
Springer
13 years 12 months ago
1992
Springer
Just as the order defined by generality over concepts allows concept induction to be performed without generalisation/specialisation operators, so too the order defined by set inc...
ECAI
1992
Springer
13 years 12 months ago
1992
Springer
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...
JELIA
1994
Springer
13 years 12 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...