4 search results - page 1 / 1 » Reasoning with large numbers of individuals moves on: extend... |
CADE
2004
Springer
14 years 5 months ago
2004
Springer
DLOG
2004
13 years 6 months ago
2004
We present an application
PVLDB
2008
13 years 4 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
WISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...