ACM - Normas
Guido Governatori
Proceedings of the 15th International Conference on Artificial Intelligence and Law - ICAIL ’15
Lecture Notes in Computer Science 8554, pp
An Abstract Normative Framework
A Gentzen System for Reasoning with Contrary-To-Duty Obligations
Fiesole, Italy
The temporal logic of programs
Final Showdown, Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, p