Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees.

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

decision trees
machine learning
predictive accuracy
machine learning algorithms
training data
decision tree induction
attribute selection
decision tree algorithm
linear logic
database
logic programs
decision rules