The workshop aims at bringing together researchers interested in topics related to the use of deontic logic in computer science. The DEON workshops traditionally promote research in the relationship between normative concepts and computer science, artificial intelligence, organisation theory and law. In addition to this, DEON04 will strive to have a special emphasis on the relationship between deontic logic and multi-agent systems.

There have been six previous DEON workshops: Amsterdam, December 1991; Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse, January 2000; London, April 2002. Selected papers from each of these workshops have been published internationally.

WORKSHOP SPECIFIC THEMES

Submissions are invited on all themes related to the use of deontic logic in Computer Science. Particular attention will be given to papers relating to the following specific themes:

• Deontic logic for the specification and verification of multi-agent systems: theorem proving and model checking.
• Formal aspects of norm-governed multi-agent systems, including the representation of obligation, commitments, rights, authorisation, delegation, power, responsibility and liability.
• Normative aspects of communication and negotiation protocols in multi-agent systems.
• Deontic formalisms for the specification and verification of security in multi-agent systems.
• Logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other areas of logic related to normative reasoning.
• Formal analysis of normative concepts and normative systems.
• Formal representation of legal knowledge.
• 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.

PUBLICATION ARRANGEMENTS

Proceedings of the workshop will be published by Springer as an LNCS/LNAI volume and will be distributed at the workshop. Selected papers will be considered for a special issue of the Journal of Applied Logic, Elsevier.

DEADLINES

Submission deadline: 23 January 2004.

---

Email enquiries about DEON'04 should be addressed to: deon04_at_dcs.kcl.ac.uk

Page last changed 19 May 2004.