Automated Reasoning in Deontic Logic.
Ulrich FurbachClaudia SchonFrieder StolzenburgPublished in: CoRR (2014)
Keyphrases
- automated reasoning
- deontic logic
- reasoning systems
- theorem proving
- theorem prover
- inference rules
- reasoning tasks
- legal reasoning
- probabilistic reasoning
- knowledge representation
- nonmonotonic logics
- knowledge representation and reasoning
- formal semantics
- artificial neural networks
- artificial intelligence
- description logics
- object oriented