A second-order system for polytime reasoning based on Grädel's theorem.
Stephen A. CookAntonina KolokolovaPublished in: Ann. Pure Appl. Log. (2003)
Keyphrases
- higher order
- intuitionistic logic
- reasoning systems
- knowledge base
- valued logic
- knowledge representation
- high order
- reasoning tasks
- automated reasoning
- case based reasoning
- model based reasoning
- rule based reasoning
- proof theory
- first order logic
- reasoning process
- knowledge compilation
- legal reasoning
- social bookmarking
- analogical reasoning
- machine learning