2858 search results - page 51 / 572 » Logics with Aggregate Operators |
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
JFLP
2002
13 years 8 months ago
2002
We consider prescriptive type systems for logic programs (as in G
EDBT
2004
ACM
14 years 8 months ago
2004
ACM
Earlier work has demonstrated the effectiveness of in-network data aggregation in order to minimize the amount of messages exchanged during continuous queries in large sensor netwo...
UAI
2001
13 years 10 months ago
2001
We consider the task of aggregating beliefs of several experts. We assume that these beliefs are represented as probability distributions. We argue that the evaluation of any aggr...
TARK
2009
Springer
14 years 3 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...