Are tableaux an improvement on truth-tables?

Marcello D'Agostino

Published in: J. Log. Lang. Inf. (1992)

Keyphrases

databases
database
significant improvement
automated reasoning
decision procedures
machine learning
decision making
image processing
multiscale
fuzzy logic
functional dependencies