10th International Conference on Deontic Logic in Computer Science
Fiesole (Firenze), 7-9 July 2010
( http://defeasible.org/deon2010)
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, organisation theory and law.
In addition to these general themes, DEON2010 will encourage a special focus on the topics:
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.
Selected papers from the conference will be published in special issues of Artificial Intelligence and Law and Journal of Applied Logic.
General Themes
==============
The Program Committee invites papers concerned with the following topics:
– 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
(more…)
