Computational Space Efficiency and Minimal Model Generation for Guarded Formulae.

Lilia Georgieva Ullrich Hustadt Renate A. Schmidt

Published in: LPAR (2001)

Keyphrases

low dimensional
data sets
databases
search space
space time
database
neural network
real world
decision trees
case study
multi agent
vector space
fixed point
query answering
computational tools