Second International Workshop
on Deontic Logic in Computer Science
(DEON '94)
Oslo, Norway, 6-8 January 1994
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
A collection of revised versions of accepted papers have
appeared as:
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)
Special Issue of Studia Logica
Studia Logica Volume 57, No. 1, 1996. Papers in
deontic logic. Edited by A.J.I. Jones and M.J. Sergot.
Consulting editor: D. Makinson.
Table of contents
- C.E. Alchourron, Detachment and defeasibility in deontic
logic. (5-18)
- N. Asher & D. Bonevac, Prima facie obligation.
(19-45)
- M. Morreau, Prima facie and seeming duties.
(47-71)
- H. Prakken, Two approaches to the formalisation of
defeasible deontic reasoning. (73-90)
- H. Prakken & M.J. Sergot, Contrary-to-duty obligations.
(91-115)
- M.A. Brown, A logic of comparative obligation.
(117-137)
- J. Carmo & A.J.I. Jones, Deontic database constraints,
violation and recovery. (139-165)
- P. McNamara, Doing well enough: toward a logic for common
sense morality. (167-192)
- F. Dignum, J.-J.Ch. Meyer & R.J. Wieringa, Free choice and
contextually permitted actions. (193-220)
- G.-J.C. Lokhorst, Reasoning about actions and obligations
in first-order logic. (221-237)
Back to the
DEON'98 Homepage