Minimal Model Generation Based on E-hyper Tableaux.

Published in: KI (1997)

Keyphrases

modal logic
decision procedures
database
data sets
neural network
artificial intelligence
multiscale
preprocessing
functional dependencies