Keyphrases
- knowledge base
- formal models
- theoretical basis
- theoretical insights
- plausible reasoning
- knowledge representation
- first order logic
- reasoning tasks
- causal reasoning
- deductive reasoning
- theoretical framework
- spatial reasoning
- automated reasoning
- reasoning process
- reasoning processes
- proof theory
- theoretical frameworks
- bayesian networks
- proof theoretic
- real world