Layered Clause Selection for Theory Reasoning - (Short Paper).
Bernhard GleissMartin SudaPublished in: IJCAR (1) (2020)
Keyphrases
- theoretical framework
- neural network
- deductive reasoning
- commonsense reasoning
- plausible reasoning
- theoretical basis
- causal reasoning
- knowledge base
- general theory
- reasoning systems
- spatial reasoning
- search space
- fuzzy reasoning
- reasoning process
- reasoning tasks
- model based reasoning
- automated reasoning
- proof theory