Separating Sets by Modal Formulas.

Bernhard Heinemann

Published in: AMAST (1998)

Keyphrases

horn clauses
databases
set theoretic
propositional formulas
data sets
data mining
artificial intelligence
decision making
website
expert systems
modal logic
closed sets
finite sets