Reasoning in a Rational Extension of SROEL.
Laura GiordanoDaniele Theseider DupréPublished in: Description Logics (2016)
Keyphrases
- proof theoretic
- reasoning systems
- knowledge base
- decision making
- qualitative reasoning
- artificial intelligence
- neural network
- resource bounded
- deductive reasoning
- machine learning
- knowledge representation
- default reasoning
- spatial reasoning
- genetic algorithm
- approximate reasoning
- causal reasoning
- rational agents
- formal models
- logical reasoning