Constrained Hyper Tableaux.

Published in: CSL (2001)

Keyphrases

modal logic
functional dependencies
decision procedures
databases
data mining
artificial intelligence
computer vision
decision making
case study
database systems
temporal logic