Sufficient Completness, Term Rewriting Systems and "Anti-Unification".

Published in: CADE (1986)

Keyphrases

term rewriting systems
anti unification
higher order
analogy making
inductive logic programming
logic programs
functional programs
inductive learning
first order logic
background knowledge
logic programming
database
learning algorithm
software engineering
wordnet