Generalization of Clauses under Implication.

Peter Idestam-Almquist

Published in: CoRR (1995)

Keyphrases

logical implication
horn clauses
functional dependencies
automated reasoning
description logics
first order logic
refinement operators
artificial intelligence
social networks
consequence finding
database
efficient learning
theorem proving
normal form
logic programs
information retrieval
data sets