A Second-Order System for Polytime Reasoning Using Graedel's Theorem.
Stephen A. CookAntonina KolokolovaPublished in: LICS (2001)
Keyphrases
- intuitionistic logic
- higher order
- reasoning tasks
- database
- knowledge base
- reasoning systems
- learning algorithm
- logical reasoning
- knowledge representation and reasoning
- qualitative reasoning
- spatial reasoning
- probabilistic reasoning
- artificial intelligence
- automated reasoning
- fuzzy reasoning
- computational properties
- meta level
- formal models
- analogical reasoning
- resource bounded
- rule based reasoning
- reasoning mechanism
- hessian matrix
- reasoning mechanisms
- digital topology