Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory.

Published in: IJCAR (2001)

Keyphrases

set theory
fuzzy set theory
partial order
first order logic
rough set theory
fuzzy sets
mathematical morphology
rough sets
algebraic geometry
feature extraction
probability theory
gray scale
high order
knowledge discovery
probabilistic model
pattern recognition
propositional logic
genetic algorithm
data mining