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...
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...
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...