Login / Signup
Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
Ian Pratt-Hartmann
Published in:
CoRR (2006)
Keyphrases
</>
computational complexity
worst case
neural network
artificial intelligence
knowledge base
multiscale
natural language
first order logic
fixed point