Complexity of the Guarded Two-variable Fragment with Counting Quantifiers.

Ian Pratt-Hartmann

Published in: J. Log. Comput. (2007)

Keyphrases

space complexity
first order logic
fixed point
case study
worst case
decision problems
high computational complexity
database
databases
machine learning
decision trees
decision procedures