895 search results - page 75 / 179 » A Spectrum of Applications of Automated Reasoning |
ICLP
2001
Springer
15 years 2 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
TIME
2000
IEEE
15 years 2 months ago
2000
IEEE
In spatiotemporal applications, meaningful changes vary according to object type, level of detail, and nature of application. In this paper, we introduce a dynamic classification ...
EWCBR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose that traditional case-based recommender systems can be improved by informing them with context data describing the user's environment. We outline existing...
GIS
2002
ACM
14 years 9 months ago
2002
ACM
The focus of this paper is on interoperability issues to achieve data integration in distributed databases for geographic applications. Our concrete application is in the context ...
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...