Ensemble Reduction via Logic Minimization.
Hongfei WangR. D. (Shawn) BlantonPublished in: ACM Trans. Design Autom. Electr. Syst. (2016)
Keyphrases
- objective function
- modal logic
- ensemble learning
- reduction method
- logic programming
- ensemble methods
- neural network
- multi valued
- random forests
- learning algorithm
- asynchronous circuits
- classical logic
- random forest
- training data
- temporal logic
- classifier ensemble
- training set
- digital circuits
- predicate logic
- truth values
- knowledge base
- sound and complete axiomatization