The Problem of Finding a Mapping between Clause Representation and Natural-Deduction Representation.

Published in: J. Autom. Reason. (1990)

Keyphrases

data sets
neural network
multi valued
machine learning
probabilistic model
image classification
image representation
binary decision diagrams
intermediate representation