Generalization under Implication by lambda-Subsumption.

Published in: ILP (1998)

Keyphrases

logical implication
description logics
functional dependencies
automated reasoning
refinement operators
deductive databases
np complete
transitive closure
machine learning
digital libraries
relational databases
fixed point
answering queries