Axiomatic Truth, Syntax and Metatheoretic Reasoning.
Graham E. LeighCarlo NicolaiPublished in: Rev. Symb. Log. (2013)
Keyphrases
- reasoning systems
- knowledge base
- natural language
- reasoning process
- probabilistic reasoning
- case study
- reasoning tasks
- spatial reasoning
- meta level
- knowledge representation
- bayesian networks
- operational semantics
- causal reasoning
- analogical reasoning
- model based reasoning
- constraint language
- reasoning engine
- axiomatic characterization