Dependence logic with a majority quantifier.

Arnaud Durand Johannes Ebbing Juha Kontinen Heribert Vollmer

Published in: FSTTCS (2011)

Keyphrases

logic programming
computational properties
predicate logic
neural network
defeasible logic
automated reasoning
real time
data mining
machine learning
learning algorithm
website
inference rules
multi valued
epistemic logic
asynchronous circuits
quantifier elimination