Keyphrases
- anti unification
- inductive learning
- inductive logic programming
- expressive power
- qualitative and quantitative
- machine learning
- modal logic
- quantitative and qualitative
- qualitative reasoning
- inductive reasoning
- order sorted
- background knowledge
- logic programming
- expert systems
- support vector
- decision making
- qualitative models
- epistemic logic
- proof theory
- data mining
- semi quantitative