Organizing committee

Andrew Jones (Chair)
Henning Herrestad
Christen Krogh

Program committee

Andrew Jones               (University of Oslo, Co-chair)
Marek Sergot               (Imperial College London, Co-Chair)
Jose Carmo                 (INESC, Lisbon)
Frederic Cuppens           (ONERA-CERT, Toulouse)
Risto Hilpinen             (Turku University)
Ronald Lee                 (University of Texas at Austin) 
Tom Maibaum                (Imperial College London)
L.Thorne McCarty           (Rutgers University, New Brunswick)
Giovanni Sartor            (University of Bologna/ IDG
                           Florence)
Roel Wieringa              (Vrije Universiteit Amsterdam)
Lennart Aqvist             (Uppsala University)

Invited speakers

Carlos Alchourron          (University of Buenos Aires)
David Makinson             (UNESO, France)
John-Jules Meyer           (Vrije Universiteit Amsterdam)
Lennart Aqvist             (Uppsala University)

DEON'94 publications

• Proceedings of DEON'94

A collection of revised versions of accepted papers have appeared as:

• Special Issue of Studia Logica(with full papers)

Proceedings of DEON'94

(eds. Andrew J.I. Jones & Marek Sergot) Complex 1/94, Tano, Oslo, 1994. ISBN 82-518-3200-4

• N. Asher & D. Bonevac, Prima facie obligation. (19-36)
• M.A. Brown, A logic of comparative obligation. (37-55)
• J. Carmo & A.J.I. Jones, Deontic database constraints and the characterisation of recovery. (56-85)
• F. Cuppens, Roles and deontic logic. (86-106)
• F. Dignum, J.-J.Ch. Meyer & R.J. Wieringa, Contextual permission - a solution to the free choice paradox. (107-135)
• O. Gasquet & A. Herzig, Automated deduction for non-normal modal logics. (136-144)
• G.-J.C. Lokhorst, Extensional deontic logics of action and their implementation. (145-164)
• P. McNamara, Doing well enough: toward a logic for common sense morality. (165-197)
• A. Merin, From civil procedure to deontic modality. (198-220)
• M. Morreau, Prima facie and seeming duties. (221-251)
• K. Ong & R.M. Lee, Detecting deontic dilemmas in bureaucratic rules: a first-order implementation using abduction. (252-280)
• H. Prakken, Two approaches to defeasible deontic reasoning. (281-295)
• H. Prakken & M.J. Sergot, Contrary-to-duty imperatives, defeasibility and violability. (296-318)
• L.M.M. Royakkers, Toward a deontic logic approach to legal rules. (319-332)