Deontic Logic and Social Choice (DEON 2012)

July 16, 2012 - July 18, 2012
Bergen University

Bergen
Norway

View the Call For Papers

Organisers:

Thomas Agotnes
Bergen University
Jan Broersen
Utrecht University
Dag Elgesem
Bergen University

Topic areas

Talks at this conference

Add a talk

Details

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
 

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.