A Refinement Operator for Theories.

Published in: ILP (2001)

Keyphrases

refinement operators
logic programs
inductive logic programming
description logics
relational learning
relational databases
domain knowledge
logic programming
database
relational data
object identity
information extraction
reduce the search space
lattice structure