Introducing Grades in Deontic Logics.
Ninth International Conference on Deontic Logic in Computer Science (DEON'08). 5076:248-262.
IRON: A Machine for the Automated Synthesis of Normative Systems (Demonstration).
AAMAS '13: Proceedings of the 12th international conference on autonomous agents and multiagent systems. :1389-1390.
ISLANDER: en electronic institutions editor.
Proceedings of the First International Joint Conference on Auton omous Agents and Multiagent Systems,(july 15-19, 2002, Bologna, Italy). 3:1045-1052.