Jankov Formula and Ternary Deductive Term.

Published in: TACL (2013)

Keyphrases

monotone dnf formulas
neural network
object oriented
document representation
abductive inference
decision trees
image sequences
regularization term