Tableaux with Four Signs as a Unified Framework.

Published in: TABLEAUX (2003)

Keyphrases

modal logic
decision procedures
functional dependencies
information retrieval
data sets
neural network
machine learning
feature selection
wide range
artificial neural networks
traffic signs
road signs