Eighth International Workshop on Deontic Logic in Computer Science (DEON'06)
Utrecht, The Netherlands, 12, 13 and 14 July, 2006
The biennial DEON workshops are designed to promote cooperation among scholars across disciplines who are interested in deontic logic and its use in computer science. These workshops traditionally support research 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, DEON2006 will encourage a special focus on the topic
Artificial Normative Systems
There have been seven previous DEON workshops: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, May 2002; Madeira, May 2004. Selected papers from each of these workshops have been published internationally.
WORKSHOP GENERAL THEMES:
ARTIFICIAL NORMATIVE SYSTEMS
DEON2006 has a special focus on deontic notions in the theory, specification and implementation of artificial normative systems, such as electronic institutions, norm-regulated multi-agent systems, and artificial agent societies more generally. We also invite studies of hybrid systems, incorporating both human and computer-based agents. Topics of interest in this special theme include, but are not limited to: