Generalization of Clauses under Implication.

Peter Idestam-Almquist

Published in: J. Artif. Intell. Res. (1995)

Keyphrases

logical implication
horn clauses
first order logic
description logics
refinement operators
automated reasoning
functional dependencies
search space
background knowledge
neural network
data mining
knowledge representation
decision rules
boolean formulae