Multiple-Valued Tableaux with delta-reductions.

Inman P. de Guzmán Manuel Ojeda-Aciego Agustín Valverde

Published in: IC-AI (1999)

Keyphrases

multiple valued
multiple valued logic
multi valued
file organization
boolean functions
modal logic
continuous attributes
functional dependencies
complex valued
continuous data
data structure
text classification
normal form