Hybrid Tableaux for the Difference Modality.

Mark Kaminski Gert Smolka

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

multi modal
modal logic
learning environment
evolutionary algorithm
functional dependencies
decision procedures
data sets
information systems
preprocessing
multiresolution
case based reasoning
hybrid learning
high correlation