Maintaining Obligations on Stative Expressions in a Deontic Action Logic.

Adam Zachary Wyner

Published in: DEON (2004)

Keyphrases

deontic logic
nonmonotonic logics
update semantics
legal reasoning
modal logic
data sets
facial expressions
human actions
formal semantics
reasoning about actions