Complexity of the Two-Variable Fragment with Counting Quantifiers.

Ian Pratt-Hartmann

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

Keyphrases

computational complexity
computer vision
case study
reinforcement learning
special case
neural network
information retrieval
data structure
artificial neural networks
np hard
continuous variables
complexity analysis
high computational complexity