Sciweavers

2858 search results - page 17 / 572
» Logics with Aggregate Operators
Sort
View
CLEF
2007
Springer
14 years 1 months ago
Combining Logic and Aggregation for Answer Selection
MAVE (Multinet-based Answer Verification) is a system for answer validation which combines logic-based techniques and aggregation for identifying the correct answers in given sets...
Ingo Glöckner
IS
2002
13 years 7 months ago
Pushing extrema aggregates to optimize logic queries
In this paper, we explore the possibility of transforming queries with minimum and maximum predicates into equivalent queries that can be computed more efficiently. The main contr...
Filippo Furfaro, Sergio Greco, Sumit Ganguly, Carl...
ICLA
2009
Springer
14 years 2 months ago
An Analytic Logic of Aggregation
Patrick Girard, Jeremy Seligman