Sciweavers

5 search results - page 1 / 1
» ki 1994
Sort
View
KI
1994
Springer
15 years 2 months ago
Representing Concurrent Actions and Solving Conflicts
Abstract. As an extension of the well
Sven-Erik Bornscheuer, Michael Thielscher
KI
1994
Springer
15 years 2 months ago
Combining Spatial and Terminological Reasoning
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...
Volker Haarslev, Ralf Möller, Carsten Schr&ou...
KI
1994
Springer
15 years 2 months ago
Cooperating to Be Noncooperative: The Dialog System PRACMA
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. ...
Anthony Jameson, B. Kipper, Alassane Ndiaye, Ralph...
KI
2002
Springer
14 years 10 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos