2858 search results - page 15 / 572 » Logics with Aggregate Operators |
ECSQARU
2005
Springer
14 years 1 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
Efficient processing of aggregation queries is essential for decision support applications. This paper describes a class of query transformations, called eager aggregation and lat...
ENTCS
2008
13 years 7 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
EDBT
2009
ACM
13 years 10 months ago
2009
ACM
Temporal aggregation is a crucial operator in temporal databases and has been studied in various flavors. In instant temporal aggregation (ITA) the aggregate value at time instan...