θ-subsumption for structural matching

This publication has 10 references indexed in Scilit:

• Generalization of Clauses Relative to a Theory
  Machine Learning, 1997
• First-order jk-clausal theories are PAC-learnable
  Artificial Intelligence, 1994
• Iterative versionspaces
  Artificial Intelligence, 1994
• Inductive Logic Programming: Theory and methods
  The Journal of Logic Programming, 1994
• Sub-unification: A Tool for Efficient Induction of Recursive Programs
  Published by Elsevier ,1992
• Inductive logic programming
  New Generation Computing, 1991
• OGUST
  Published by Elsevier ,1990
• Machine Invention of First-order Predicates by Inverting Resolution
  Published by Elsevier ,1988
• Multilevel counterfactuals for generalizations of relational concepts and productions
  Artificial Intelligence, 1980
• An interference matching technique for inducing abstractions
  Communications of the ACM, 1978