Boella et al. on Visualizing Normative Systems: An Abstract Approach

Professor Dr. Guido Boella of Università degli Studi di Torino Dipartimento di Informatica, and colleagues, will present a paper entitled Visualizing Normative Systems: An Abstract Approach, at DEON 2012: The 11th International Conference on Deontic Logic in Computer Science, to be held 16-18 July 2012, at the University of Bergen, in Bergen, Norway.

Here is the abstract:

Abstract normative systems allow to reason with norms even when their content is not detailed. In this paper, we propose a visualization for abstract normative systems, in such a way that we are able to reason with institutional facts, obligations and permissions. Moreover, we detect meaningful patterns emerging from the proposed visualization, and we show how these patterns can be used to define commonly used reusable solutions.

The paper discusses a number of legal norms.

Call for Papers: DEON 2012

A call for papers — with abstract submission deadline of 27 February 2012 and full paper submission deadline of 5 March 2012 — has been issued for DEON 2012: The 11th International Conference on Deontic Logic in Computer Science, to be held 16-18 June 2012, at the University of Bergen, in Bergen, Norway.

Papers are invited on general topics, and on the “special theme” of “Deontic Logic and Social Choice.” The general topics are:

• the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic;
• the formal analysis of normative concepts and normative systems;
• the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability;
• normative aspects of protocols for communication, negotiation and multi-agent decision making;
• the formal representation of legal knowledge;
• the formal specification of normative systems for the management of bureaucratic processes in public or private administration;
• applications of normative logic to the specification of database integrity constraints.

The special theme topics are:

• Normative system selection and optimization
• Merging and aggregation of norms
• Compliance and enforcement strategies for norms
• Game theoretic aspects of deontic reasoning
• Norms, culture and and shared values
• Violation detection and norm creation mechanisms
• Simulation of dynamics in normative systems
• Emergence of norms
• Norm change

For more information, please see the call for papers.

HT IAAIL.

Aucher, Boella, & van der Torre on Privacy Policies with Modal Logic: The Dynamic Turn

Dr. Guillaume Aucher of the University of Luxembourg Faculty of Sciences, Technology and Communication, Professor Dr. Guido Boella of Università degli Studi di Torino Dipartimento di Informatica , and Professor Dr. Leon van der Torre of the University of Luxembourg Faculty of Sciences, Technology and Communication, have published Privacy Policies with Modal Logic: The Dynamic Turn, in DEON 2010: Proceedings of the 10th International Conference on Deontic Logic in Computer Science, 7-9 July 2010, Fiesole, Italy 196-213 (Guido Governatori & Giovanni Sartor eds., 2010). Here is the abstract:

Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defined in terms of permitted and obligatory knowledge. With this new approach, we do not have to specify the permissions and prohibitions of all message combinations explicitly. To specify and reason about such privacy policies, we extend a multi-modal logic introduced by Cuppens and Demolombe with update operators modeling the dynamics of both knowledge and privacy policies. We show also how to determine the obligatory messages, how to express epistemic norms, and how to check whether a situation is compliant with respect to a privacy policy. We axiomatize and prove the decidability of our logic.

Dung & Sartor on A Logical Model of Private International Law

Dr. Phan Minh Dung of The Asian Institute of Technology Computer Science and Information Management Program, and Professor Dr. Giovanni Sartor of Università di Bologna, Centro Interdipartimentale de Ricerca in Storia del Diritto e Informatica Giuridica (CIRSFID), have published A Logical Model of Private International Law, in DEON 2010: Proceedings of the 10th International Conference on Deontic Logic in Computer Science, 7-9 July 2010, Fiesole, Italy 229-246 (Guido Governatori & Giovanni Sartor eds., 2010). Here is the abstract:

We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they should apply to this purpose (choice of law). A formal model of the resulting interaction among multiple legal systems is proposed based on modular argumentation. It is argued that this model may be useful for understanding this rather esoteric, but increasingly important, domain of the law. Moreover, it might be useful for modelling the way in which interactions between heterogeneous agents, belonging to different and differently regulated virtual societies, can be governed without recourse to a central regulatory agency.

DEON 2010 Proceedings Available

Proceedings are available for DEON 2010: The 10th International Conference on Deontic Logic in Computer Science, held 7-9 July 2010 in Fiesole, Florence, Italy.

The proceedings were edited by Giovanni Sartor and Guido Governatori.

Abstracts of the law-related papers presented at the conference will be posted here shortly.

Click here for the conference Website.

Call for Papers: DEON 2010

[NOTE: Updated on 17 January 2010 to revise submission dates.]

A call for papers — with abstract submission deadline of 20 27 February 2010 and paper submission deadline of 6 March 2010 — has been issued for DEON 2010: The 10th International Conference on Deontic Logic in Computer Science, to be held 7-9 July 2010 in Florence, Italy. The conference has a special focus on Deontic Logic and Legal Systems. Papers are invited on the following topics:

• “Legal rights
• Completeness and indeterminacy in legal systems
• Kinds of legal norms
• Modelling norms and values
• Legal power and competences
• The dynamic of legal systems
• Compliance and enforcement of obligations
• Contracts and other constitutive acts
• The logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic
• The formal analysis of normative concepts and normative systems
  the formal representation of legal knowledge
• The formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorisation, delegation, power, responsibility and liability
• The formal specification of normative systems for the management of bureaucratic processes in public or private administration
• Applications of normative logic to the specification of database integrity constraints
• Normative aspects of protocols for communication, negotiation and multi-agent decision making.”

For more information, please see the call for papers.