ACM - Normas
Cristian Prisacariu
Gerardo Schneider
Proceedings of the 12th International Conference on Artificial Intelligence and Law - ICAIL ’09
Macao, China
Deontic logic viewed as a variant of dynamic logic
$\mathcalCL$?: An Action-Based Logic for Reasoning about Contracts