Quantifier Alternation in First-Order Formulas with Infinite Spectra.

Maksim E. Zhukovskii

Published in: Probl. Inf. Transm. (2017)

Keyphrases

quantifier elimination
quantifier free
real numbers
horn clauses
first order logic
constraint propagation
functional programming
cardinality constraints
constraint databases
finite sets
higher order
action theories
predicate calculus
logical formulas
hyperspectral images
data sets
knowledge base
neural network