Keyphrases
- causal reasoning
- formal theory
- commonsense reasoning
- set theory
- theoretical basis
- asynchronous circuits
- boolean algebra
- theoretical framework
- general theory
- data sets
- deductive reasoning
- proof theory
- classical logic
- real time
- automated reasoning
- computational model
- reinforcement learning
- knowledge base
- proof theoretic
- propositional theories