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.
Tags: Change in legal norms, DEON, DEON 2012, Emergence of legal norms, Game theory and law, Game theory and legal reasoning, International Conference on Deontic Logic in Computer Science, Legal agent based systems, Legal argumentation, Legal autonomous agents, Legal compliance systems, Legal defeasible reasoning, Legal deontic logic, Legal informatics conferences, Legal knowledge representation, Legal logic, Legal multiagent systems, Legal ontologies, Legal reasoning, Modeling change in legal norms, Modeling legal argumentation, Modeling legal concepts, Modeling legal defeasible reasoning, Modeling legal knowledge, Modeling legal logic, Modeling legal norms, Modeling legal reasoning, Modeling legal rights, Modeling legal systems, Modeling the emergence of legal norms, Public administration information systems