Obligations with deadlines: a formalization in Dynamic Deontic Logic.

Robert Demolombe

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

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
nonmonotonic logics
response time
dynamic environments
inference rules
formal semantics
web services
formal model