Deontic Logic and Social Choice (DEON 2012)
Talks at this conferenceAdd a talk
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.
- 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
Who is attending?
No one has said they will attend yet.
Will you attend this event?