Scope Dominance with Monotone Quantifiers over Finite Domains.

Gilad Ben-Avi Yoad Winter

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

Keyphrases

data sets
search algorithm
first order logic
real world
data structure
upper bound
application domains
artificial intelligence
case study
natural language
data streams
evolutionary algorithm
cross domain
complex domains