An Analytic Logic of Aggregation.

Patrick Girard Jeremy Seligman

Published in: ICLA (2009)

Keyphrases

logic programming
modal logic
delay insensitive
computational properties
rank aggregation
neural network
relational databases
multi valued
predicate logic
sound and complete axiomatization
database
proof theory
asynchronous circuits
aggregation operators
automated reasoning
theorem proving
data sets