Keyphrases
- deductive reasoning
- logic programming
- machine learning
- inductive learning
- inductive logic programming
- modal logic
- learning algorithm
- feature selection
- ensemble learning
- predicate logic
- multi valued
- functional programs
- inductive reasoning
- epistemic logic
- computational properties
- weak learners
- classical logic
- logical framework
- weak classifiers
- combining multiple
- asynchronous circuits
- concept learning
- knowledge representation
- neural network