A Deontic Logic Reasoning Infrastructure.

Christoph Benzmüller Xavier Parent Leendert W. N. van der Torre

Published in: CiE (2018)

Keyphrases

deontic logic
legal reasoning
knowledge representation language
update semantics
knowledge base
case based reasoning
inference rules
nonmonotonic logics
knowledge representation
default reasoning
life cycle
automated reasoning
reasoning systems
defeasible logic
formal semantics