First International Workshop
on Deontic Logic in Computer Science
(DEON '91)
Amsterdam, The Netherlands, 11-13 December,
1991
Organizing committee
R.J. Wieringa (Vrije Universiteit Amsterdam)
J.J.-Ch. Meyer (Vrije Universiteit Amsterdam)
A. Soeteman (Vrije Universiteit Amsterdam)
Program Committee
J.J.-Ch. Meyer (Vrije Universiteit Amsterdam,
Chair)
L. Aqvist (Uppsala University)
P. van Emde Boas (University of Amsterdam)
P.B. Brouwer (Leiden University)
J. Fiadeiro (INESC, Lisbon)
J.C. Hage (Limburg University)
R. Hilpinen (Turku University, Helsinki)
R.M. Lee (University of Texas at Austin)
N.H. Minsky (Rutgers University, New Brunswick)
M. Sadler (Hewlettt-Pacard, Bristol)
A. Soeteman (Vrije Universiteit Amsterdam)
R.J. Wieringa (Vrije Universiteit Amsterdam)
A.H. de Wild (Tilburg University)
Invited speakers
C.E. Alchourron (University of Buenos Aires)
R. Hilpinen (Turku University, Helsinki)
T.S.E. Maibaum (Imperial College London)
DEON'91 publications
Two collections of revised versions of accepted papers have
appeared:
Proceedings of DEON'91
- J.-J.Ch. Meyer & R.J. Wieringa, Deontic logic: a concise
overview. (2-14)
- R.J. Wieringa & J.-J.Ch. Meyer, Applications of deontic
logic to computer science: a concise overview. (15-41)
- Abstracts of invited lectures. (44-49)
- L.E. Allen & C.S. Saxon, A-Hohfeld: a language for robust
structural representation of knowledge in the legal domain to
build interpretation-assistance expert systems. (52-71)
- P. Bailhache, Authorities and addressees in deontic logic:
indexed operators and action. (72-88)
- P. Bartha, Conditional obligation and the logic of agency.
(89-106)
-
N. Belnap & M. Perloff, In the realm of agents. (107-126)
- P. Bieber & F. Cuppens, Computer security policies and
deontic logic. (127-141)
-
A.L. Brown, S. Mantha & T. Wakayama, Preferences as normative
knowledge: towards declarative obligations. (142-163)
- J. Coenen, Specifying fault-tolerant programs in deontic
logic. (164-178)
- E. Dubois, Use of deontic logic in the requirements
engineering of composite systems. (179-194)
- J. Hage, Consistency of rules. (195-211)
-
J.F. Horty, Moral dilemmas and nonmonotonic logic.
(212-231)
- A.J.I. Jones & I. Porn, On the logic of deontic
conditionals. (232-247)
- A.J.I. Jones & M.J. Sergot, On the role of deontic logic
in the characterization of normative systems. (248-261)
- K.L. Kwast, A deontic operator for database integrity.
(262-280)
- J.D. Moffett, Distributed system management policies: an
application for deontic logic? (281-293)
- Ph. Morris & J. McDermid, Security and normative rights.
(294-314)
-
H. Prakken, Reasoning with normative hierarchies.
(315-334)
- M. Ryan, Towards specifying norms. (335-346)
- Y.U. Ryu & R.M. Lee, Defeasible deontic reasoning: a logic
programming model. (347-363)
- F. Santos & J. Carmo, A deontic logic representation of
contractual obligations. (364-382)
- H. Weigand, Modelling deontic integrity constraints in
communication. (383-402)
Book: Deontic Logic in Computer Science. Normative System
Specification
(eds. J.J.-Ch. Meyer and R.J. Wieringa). Chichester, John
Wiley & Sons, 1993. ISBN 0 471 93743 6
Table of contents
- J.-J.Ch. Meyer & R.J. Wieringa, Deontic logic: a concise
overview. (3-16)
- R.J. Wieringa & J.-J.Ch. Meyer, Applications of deontic
logic to computer science: a concise overview. (17-40)
- C.E. Alchourron, Philosophical foundations of deontic
logic and the logic of defeasible conditionals. (43-84)
- R. Hilpinen, Actions in deontic logic. (85-100)
- P. Bieber & F. Cuppens, Expression of confidentality
policies with deontic logic. (103-123)
- E. Dubois, Use of deontic logic in the requirements
engineering of composite systems. (125-139)
- T. Maibaum, Temporal reasoning over deontic
specifications. (141-202)
- L.E. Allen & C.S. Saxon, A-Hohfeld: a language for robust
structural representation of knowledge in the legal domain to
build interpretation-assistance expert systems. (205-224)
- Y.U. Ryu & R.M. Lee, Defeasible deontic reasoning: a logic
programming model. (225-241)
- F. Santos & J. Carmo, A deontic logic representation of
contractual obligations. (243-257)
- H. Weigand, Deontic aspects of communication.
(259-273)
- A.J.I. Jones & M.J. Sergot, On the characterization of law
and computer systems: the normative systems perspective.
(275-307)
Back to the
DEON'98 Homepage