Automated Reasoning in Deontic Logic.

Ulrich Furbach Claudia Schon Frieder Stolzenburg

Published in: MIWAI (2014)

Keyphrases

automated reasoning
deontic logic
reasoning systems
theorem prover
theorem proving
probabilistic reasoning
inference rules
knowledge representation
legal reasoning
reasoning tasks
formal semantics
nonmonotonic logics
first order logic
neural network
knowledge representation and reasoning
case based reasoning