A Refinement Operator for Inducing Threaded-Variable Clauses.

Angelos Charalambidis Stasinos Konstantopoulos

Published in: ILP (2012)

Keyphrases

refinement operators
logic programs
inductive logic programming
description logics
relational learning
logic programming
reduce the search space
machine learning
object identity
prior knowledge
first order logic
ilp systems