Keyphrases
- horn clauses
- higher order
- inference rules
- logic programs
- conceptual clustering
- first order logic
- high order
- natural images
- inductive logic programming
- lattice theory
- database queries
- pairwise
- markov random field
- machine learning
- function symbols
- background knowledge
- logic programming
- databases
- programming language
- natural language
- learning algorithm
- lambda calculus