Keyphrases
- anti unification
- higher order
- inductive learning
- analogy making
- inductive logic programming
- first order logic
- geometrical interpretation
- morphological operators
- computational properties
- knowledge acquisition
- covariance matrix
- automated reasoning
- arc consistency
- structuring elements
- machine learning
- expressive power
- background knowledge
- co occurrence
- knowledge representation
- domain knowledge
- pairwise
- database systems