Reactive standard deontic logic.

Dov M. Gabbay Christian Straßer

Published in: J. Log. Comput. (2015)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
natural language
business processes
inference rules