Making Theory Reasoning Simpler.
Giles RegerJohannes SchoisswohlAndrei VoronkovPublished in: TACAS (2) (2021)
Keyphrases
- deductive reasoning
- formal models
- knowledge base
- theoretical basis
- commonsense reasoning
- causal reasoning
- artificial intelligence
- case study
- computational model
- cognitive maps
- probabilistic reasoning
- reasoning systems
- plausible reasoning
- real time
- general theory
- reasoning process
- theoretical framework
- machine learning
- neural network