895 search results - page 52 / 179 » A Spectrum of Applications of Automated Reasoning |
150
Voted
GIS
2002
ACM
15 years 4 months ago
2002
ACM
This paper contributes a general approach to characterizing patterns of change in a spatio-temporal database. While there is a particular interest in modelling and querying how sp...
117
click to vote
GIS
2010
ACM
15 years 3 months ago
2010
ACM
The growing popularity of online Earth visualization tools and geo-realistic games and the availability of high resolution terrain data have motivated a new class of queries to th...
134
click to vote
KR
1998
Springer
15 years 8 months ago
1998
Springer
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
149
click to vote
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper describes a web-based CBR application competing at the first Computer Cooking Contest at the ECCBR 2008. It describes the technical realisation of our system, ...
149
click to vote
DLOG
2004
15 years 6 months ago
2004
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...