Keyphrases
- inductive logic programming
- proof search
- logic programming
- modal logic
- computational properties
- inductive learning
- multi valued
- decision trees
- asynchronous circuits
- oblique decision trees
- classical logic
- program synthesis
- theorem prover
- concept learning
- logic programs
- functional programs
- learning algorithm
- intuitionistic logic
- rule induction
- epistemic logic
- truth values
- predicate logic
- subgroup discovery
- data sets
- explanation based learning
- multi agent systems
- genetic algorithm
- machine learning