1. Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodrıguez-Aguilar, Carles Sierra & Michael Wooldridge (2009): A Temporal Logic of Normative Systems. Towards Mathematical Philosophy 28, pp. 69–106, doi:10.1007/978-1-4020-9084-4_5.
  2. C.E. Alchourrón & E. Bulygin (1981): The expressive conception of norms. New studies in deontic logic 152, pp. 95–124.
  3. J. Barnat, L. Brim, I. Černá, P. Moravec, P. Ročkai & P. Šimeček (2006): DiVinE – A Tool for Distributed Verification (Tool Paper). In: Computer Aided Verification, LNCS 4144/2006. Springer Berlin / Heidelberg, pp. 278–281, doi:10.1007/11817963_26.
  4. R. Bharadwaj & C. Heitmeyer (2002): Developing high assurance avionics systems with the SCR requirements method. In: Digital Avionics Systems Conferences, 2000. Proceedings. DASC. The 19th 1. IEEE, doi:10.1109/DASC.2000.886888.
  5. Guido Boella & Leendert van der Torre (2003): Permissions and obligations in hierarchical normative systems. In: ICAIL '03: Proceedings of the 9th international conference on Artificial intelligence and law. ACM, New York, NY, USA, pp. 109–118, doi:10.1145/1047788.1047818.
  6. Guido Boella, Leendert W. N. van der Torre & Harko Verhagen (2007): Normative Multi-agent Systems, 18.03. - 23.03.2007. Dagstuhl Seminar Proceedings 07122. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany.
  7. Jan Broersen, Frank Dignum, Virginia Dignum & John-Jules Ch. Meyer (2004): Designing a Deontic Logic of Deadlines. In: Alessio Lomuscio & Donald Nute: DEON, Lecture Notes in Computer Science 3065. Springer, pp. 43–56, doi:10.1007/978-3-540-25927-5_5.
  8. Julien Brunel, Jean-Paul Bodeveix & Mamoun Filali (2006): A State/Event Temporal Deontic Logic. In: Lou Goble & John-Jules Ch. Meyer: DEON, Lecture Notes in Computer Science 4048. Springer, pp. 85–100, doi:10.1007/11786849_9.
  9. A. Cimatti, E. Clarke, F. Giunchiglia & M. Roveri (2000): NuSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer (STTT) 2(4), pp. 410–425, doi:10.1007/s100090050046.
  10. D. Corapi, M. De Vos, J. Padget, A. Russo & K. Satoh (2010): Norm Refinement and Design through Inductive Learning. In: 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems, pp. 33–48, doi:10.1007/978-3-642-21268-0_5.
  11. Tim French, John Christopher McCabe-Dansted & Mark Reynolds (2010): Axioms for Obligation and Robustness with Temporal Logic. In: Guido Governatori & Giovanni Sartor: DEON, Lecture Notes in Computer Science 6181. Springer, pp. 66–83, doi:10.1007/978-3-642-14183-6.
  12. D. Giannakopoulou & J. Magee (2003): Fluent model checking for event-based systems. ACM SIGSOFT Software Engineering Notes 28(5), pp. 266, doi:10.1145/940103.940106.
  13. Daniel Gorín, Sergio Mera & Fernando Schapachnik (2010): Model Checking Legal Documents. In: Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010, pp. 111–115, doi:10.3233/978-1-60750-682-9-151.
  14. Daniel Gorín, Sergio Mera & Fernando Schapachnik (2011): FormaLex– A Software Tool for Legal Drafting. Technical Report GMS-2011. FCEyN, Universidad de Buenos Aires. Available at
  15. G. Governatori & D.H. Pham (2009): Dr-contract: An architecture for e-contracts in defeasible logic. International Journal of Business Process Integration and Management 4(3), pp. 187–199, doi:10.1504/IJBPIM.2009.030985.
  16. Guido Governatori, Antonino Rotolo & Giovanni Sartor (2005): Temporalised Normative Positions in Defeasible Logic. In: ICAIL. ACM, pp. 25–34, doi:10.1145/1165485.1165490.
  17. Nienke den Haan (1997): Tools for automated legislative drafting. In: ICAIL '97: Proceedings of the 6th international conference on Artificial intelligence and law. ACM, New York, NY, USA, pp. 252, doi:10.1145/261618.261662.
  18. S. Hagiwara & S. Tojo (2006): Discordance Detection in Regional Ordinance: Ontology-based Validation. In: Proceeding of the 2006 conference on Legal Knowledge and Information Systems: JURIX 2006: The Nineteenth Annual Conference. IOS Press, pp. 111–120.
  19. Jörg Hansen, Gabriella Pigozzi & Leendert W. N. van der Torre (2007): Ten Philosophical Problems in Deontic Logic. In:.
  20. editor = "Boella", Holzmann (2003): The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, doi:10.1109/32.588521.
  21. David Makinson & Leendert W. N. van der Torre (2007): What is Input/Output Logic? Input/Output Logic, Constraints, Permissions. In: editor = "Boella",, pp. 383–408.
  22. J.J.C. Meyer, R.J. Wieringa & F.P.M. Dighum (1998): The role of deontic logic in the specification of information systems. In: Logics for Databases and Information Systems. Kluwer, pp. 71–116.
  23. G. Piolle (2010): A Dyadic Operator for the Gradation of Desirability. Deontic Logic in Computer Science 6181, pp. 33–49, doi:10.1007/978-3-642-14183-6_5.
  24. Cristian Prisacariu & Gerardo Schneider (2009): CL: An Action-Based Logic for Reasoning about Contracts. In: WoLLIC '09: Proceedings of the 16th International Workshop on Logic, Language, Information and Computation. Springer-Verlag, Berlin, Heidelberg, pp. 335–349, doi:10.1007/978-3-642-02261-6_27.
  25. Ellis Solaiman, Carlos Molina-jimenez & Santosh Shrivastava (2003): Model Checking Correctness Properties of Electronic Contracts. In: Proceedings of the International conference on Service Oriented Computing (ICSOC03). Springer-Verlag, pp. 303–318, doi:10.1007/978-3-540-24593-3_21.
  26. Audun Stolpe (2010): A theory of permission based on the notion of derogation. J. Applied Logic 8(1), pp. 97–113, doi:10.1016/j.jal.2010.01.001.

Comments and questions to:
For website issues: