Least Generalizations and Greatest Specializations of Sets of Clauses

Shan-Hwei Nienhuys-Cheng Ronald de Wolf

Published in: CoRR (1996)

Keyphrases

horn clauses
rough approximations
real world
consequence finding
propositional formulas
website
genetic algorithm
knowledge base
image sequences
bayesian networks
natural language
orders of magnitude
first order logic
convex sets
e learning
set theoretic
information retrieval
data sets