Structure with fast elimination of quantifiers.

Published in: J. Symb. Log. (2006)

Keyphrases

databases
social networks
multimedia
structural properties
real time
neural network
real world
artificial intelligence
decision trees
expert systems
hierarchical structure