11436 search results - page 237 / 2288 » Modeling Real Reasoning |
143
click to vote
UMUAI
2010
15 years 1 months ago
2010
Abstract. Pervasive computing creates possibilities for presenting highly personalised information about the people, places and things in a building. One of the challenges for such...
143
click to vote
ISIPTA
1999
IEEE
15 years 7 months ago
1999
IEEE
The purpose of this note is to describe the underlying insights and results obtained by the authors, and others, in a series of papers aimed at modelling the distribution of `natu...
141
Voted
KI
2002
Springer
15 years 3 months ago
2002
Springer
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...
153
Voted
DLOG
2010
15 years 1 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
134
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Ontology matching has become an important field of research over the last years. Although many different approaches have been proposed, only few of them are committed t...