EEMCS EPrints Service
|
||||||||||||||||
1998
Meyer, J.J.C. and Wieringa, R.J. and Dignum, F.P.M.
(1998)
The role of deontic logic in the specification of information systems.
In:
Logics for databases and information systems.
Kluwer Academic Publishers, Norwell, MA, USA, pp. 71-115.
ISBN 0792381297
1996
Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J.
(1996)
Free choice and contextually permitted actions.
Studia Logica, 57 (1).
pp. 193-220.
ISSN 0039-3215
Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J. and Kuiper, R.
(1996)
A Modal Approach to Intentions, Commitments and Obligations:Intention plus Commitment yields Obligation.
In: Third International Workshop on Deontic Logic in Computer Science, DEON1996, 11-13 Jan 1996, Sesimbra, Portugal.
pp. 80-97.
Workshops in Computing.
Springer.
ISBN 3540760156
1994
Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J.
(1994)
A dynamic logic for reasoning about sub-ideal states.
In: ECAI Workshop on Artificial Normative Reasoning, 8 Aug 1994, Amsterdam, The Netherlands.
pp. 79-92.
Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J.
(1994)
Contextual Permission: A Solution to the Free Choice Paradox.
In: Second International Workshop on Deontic Logic in Computer Science, DEON '94, 6-8 Jan 1994, Oslo, Norway.
pp. 107-130.
Norwegian Research Center for Computers and Law.
Meyer, J.J.C. and Dignum, F.P.M. and Wieringa, R.J.
(1994)
The paradoxes of deontic logic revisited: a computer science perspective.
Technical Report UU-CS-1994-38
University of Utrecht, Utrecht.
ISSN 0924-3275
1991
Wieringa, R.J. and Weigand, H. and Meyer, J.J.C. and Dignum, F.P.M.
(1991)
The inheritance of dynamic and deontic integrity constraints.
Annals of Mathematics and Artificial Intelligence, 3.
pp. 393-428.
ISSN 1662-4548
|
||||||||||||||||