A Note on Nesting in Dyadic Deontic Logic.

Agneau Belanyek Davide Grossi Wiebe van der Hoek

Published in: CoRR (2017)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
nonmonotonic logics
training data
inference rules
artificial intelligence
multiscale
programming language
formal semantics