Keyphrases
- invited paper
- meta level
- meta reasoning
- causal reasoning
- knowledge base
- plausible reasoning
- reasoning processes
- reasoning systems
- formal models
- deductive reasoning
- neural network
- reasoning process
- evidential reasoning
- theoretical framework
- abstract argumentation
- reasoning tasks
- lecture notes
- description logics
- proof theoretic