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.
C.E. Alchourrón & E. Bulygin (1981):
The expressive conception of norms.
New studies in deontic logic 152,
pp. 95–124.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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 http://publicaciones.dc.uba.ar/Publications/2011/GMS11.
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.
Guido Governatori, Antonino Rotolo & Giovanni Sartor (2005):
Temporalised Normative Positions in Defeasible Logic.
In: ICAIL.
ACM,
pp. 25–34,
doi:10.1145/1165485.1165490.
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.
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.
Jörg Hansen, Gabriella Pigozzi & Leendert W. N. van der Torre (2007):
Ten Philosophical Problems in Deontic Logic.
In:.
editor = "Boella", Holzmann (2003):
The Spin Model Checker: Primer and Reference Manual.
Addison-Wesley,
doi:10.1109/32.588521.
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.
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.
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.
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.
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.
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.