Dependence Logic with a Majority Quantifier.

Arnaud Durand Johannes Ebbing Juha Kontinen Heribert Vollmer

Published in: J. Log. Lang. Inf. (2015)

Keyphrases

probabilistic logic
abductive reasoning
logic programming
quantifier elimination
multi valued
databases
data mining
relational databases
predicate logic
formal theory