Conflicting Imperatives and Dyadic Deontic Logic.

Published in: DEON (2004)

Keyphrases

deontic logic
knowledge representation language
update semantics
legal reasoning
nonmonotonic logics
general purpose
inference rules
multiscale
programming language
fine grained
rule base
black box
propositional logic