Generalised Interpolation by Solving Recursion-Free Horn Clauses

Ashutosh Gupta Corneliu Popeea Andrey Rybalchenko

Published in: HCVS (2014)

Keyphrases

horn clauses
inference rules
first order logic
logic programs
conceptual clustering
lattice theory
inductive logic programming
deductive databases
image interpolation
machine learning
search engine
training data
domain knowledge
database queries