Keyphrases
- horn clauses
- fixpoint
- first order logic
- logic programs
- function symbols
- provably correct
- conceptual clustering
- inference rules
- inductive logic programming
- answer sets
- database queries
- lattice theory
- stable models
- databases
- computer programs
- background knowledge
- answer set programming
- high dimensional
- artificial intelligence
- data sets