EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


Author: Dignum, F.P.M.
Home Policy Brochure Browse Search User Area Contact Help

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