Generalization under Implication: Expansions of Clauses for Indirect Roots.

Peter Idestam-Almquist

Published in: SCAI (1993)

Keyphrases

logical implication
functional dependencies
refinement operators
horn clauses
description logics
answering queries
background knowledge
automated reasoning
search space
learning algorithm
first order logic
database
real time
knowledge base
propositional logic