On recursion-free Horn clauses and Craig interpolation.
Philipp RümmerHossein HojjatViktor KuncakPublished in: Formal Methods Syst. Des. (2015)
Keyphrases
- horn clauses
- inference rules
- first order logic
- conceptual clustering
- logic programs
- inductive logic programming
- database queries
- lattice theory
- deductive databases
- logic programming
- complex objects
- data sets
- image interpolation
- linear interpolation
- function symbols
- database
- probabilistic model
- natural language
- reinforcement learning