DEON 2012
11th International Conference on Deontic Logic in Computer Science
16-18 July 2012
University of Bergen, Bergen, Norway
Special theme: Deontic Logic and Social Choice
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Invited speakers: Fabrizio Cariani, Davide Grossi, John Horty,
Christian List.
Program: http://infomedia.uib.no/deon2012/program.html
Registration: http://infomedia.uib.no/deon2012/registration.html
Deadline for registration: July 1st (later will be possible, but only
against a higher price)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
The biennial DEON conferences are designed to promote interdisciplinary
cooperation amongst scholars interested in linking the formal-logical
study of normative concepts and normative systems with computer science,
artificial intelligence, philosophy, organization theory and law.
There have been nine previous DEON conferences: Amsterdam, December
1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998;
Toulouse, January 2000; London, May 2002; Madeira, May 2004; Utrecht,
July 2006, Luxembourg, July 2008, Fiesole July 2010.
General Themes
==============
- 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
Special Theme: Deontic Logic and Social Choice
===============================
- 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
Chairs:
=======
Thomas Ågotnes, University of Bergen
Jan Broersen, Utrecht University
Dag Elgesem, University of Bergen
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai
