Login / Signup
A second-order system for polynomial-time reasoning based on Graedel's theorem
Stephen A. Cook
Antonina Kolokolova
Published in:
Electron. Colloquium Comput. Complex. (2001)
Keyphrases
</>
qualitative reasoning
higher order
special case
finite sets
computational complexity
worst case
neural network
high order
artificial intelligence
probabilistic reasoning
meta level
automated reasoning
reasoning systems
analogical reasoning