Third international workshop on deontic logic in computer science

The Third International Workshop on Deontic Logic in Computer Science (AEON'96) took place in Sesimbra, Portugal, from 11-13 January 1996. It consisted of 12 refereed technical presentations and four invited talks. The invited speakers were Nuel Belnap (Pittsburgh University, USA), Andrew Jones (Oslo University, Norway), Krister Segerberg (Uppsala University, Sweden) and Marek Sergot (Imperial College, UK). Only 12 technical presentations were accepted to allow ample time for discussions among the participants—one of the main goals of this interdisciplinary workshop. The technical presentations, collected in (Brown & Carmo 1996), covered topics ranging from the theoretical to the applied. At the theoretical end of the spectrum were presentations on deontic logic and the logic of action, defeasible reasoning, the logical basis for decision, and ethical and legal theories. At the applied end there were presentations on a variety of issues relevant to expert systems in the law, automation of defeasible reasoning, specification of responsibilities and powers in organisations, normative systems specification and confidentiality in database systems.