2858 search results - page 95 / 572 » Logics with Aggregate Operators |
ADC
2004
Springer
14 years 2 months ago
2004
Springer
Aggregating spatial objects is a necessary step in generating spatial data cubes to support roll-up/drill-down operations. Current approaches face performance bottleneck issues wh...
NMR
2004
Springer
14 years 2 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In ...
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...