A Dichotomy for the Definable Universe.

Published in: J. Symb. Log. (1995)

Keyphrases

approximation spaces
answer sets
data sets
first order logic
data mining
transitive closure
decision trees
search algorithm
rough sets
rough set approximations
database
topological spaces
logic programs
fuzzy logic
decision making
information systems
social networks
databases