Reasoning in a Rational Extension of SROEL.
Laura GiordanoDaniele Theseider DupréPublished in: CILC (2016)
Keyphrases
- knowledge base
- proof theoretic
- model based reasoning
- multi agent
- meta level
- qualitative reasoning
- automated reasoning
- analogical reasoning
- legal reasoning
- reasoning systems
- probabilistic logic
- rule based reasoning
- formal models
- approximate reasoning
- computational properties
- default theories
- database
- reasoning tasks
- data mining
- neural network
- real time