EEMCS

van Otterlo, M. and Wiering, M. and Dastani, M. and Meyer, J.J.C. (2003) A Characterization of Sapient Agents. In: International Conference Integration of Knowledge Intensive Multi-Agent Systems (KIMAS-03), 1-3 Oct 2003, Boston, Massachusetts, USA. pp. 172-177. IEEE Computer Society. ISBN 0-7803-7958-6

Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2001) A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundamenta Informaticae, 48 (2-3). pp. 107-128. ISSN 0169-2968 *** ISI Impact 0,522 ***

Spruit, P.A. and Wieringa, R.J. and Meyer, J.J.C. (2001) Regular database update logics. Theoretical computer science, 254 (1-2). pp. 591-661. ISSN 0304-3975 *** ISI Impact 0,838 ***

Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2000) Mu-calculus-based deontic logic for regular actions. In: Fifth International Workshop on Deontic Logic in Computer Science (DEON'00), 20-22 Jan 2000, Toulouse, France. pp. 43-61. Onera. ISBN not assigned

Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2000) A semantics for persistency in propositional dynamic logic. In: First International Conference on Computational Logic (CL2000), July 2000, London, UK. pp. 912-925. Lecture Notes in Artificial Intelligence 1861. Springer. ISSN 0302-9743

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

d'Altan, P. and Meyer, J.J.C. and Wieringa, R.J. (1996) An integrated framework for ought-to-be and ought-to-do constraints. Artificial Intelligence and Law, 4 (2). pp. 77-111. ISSN 0924-8463

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

Spruit, P.A. and Wieringa, R.J. and Meyer, J.J.C. (1995) Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. Journal of Logic and Computation, 5 (1). pp. 27-70. ISSN 0955-792X *** ISI Impact 0,586 ***

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

d'Altan, P. and Meyer, J.J.C. and Wieringa, R.J. (1993) An integrated system for ought-to-be and ought-to-do constraints (extended abstract). In: AAAI 1993 Spring Symposium, 23-25 Mar 1993, Stanford University, Palo Alto, USA. pp. 48-57. AAAI Press.

Meyer, J.J.C. and Wieringa, R.J. (1993) Preface. Annals of Mathematics and Artificial Intelligence, 9 (1-2). ISSN 1012-2443 *** ISI Impact 0,418 ***

Meyer, J.J.C. and Wieringa, R.J. (1993) Applications of Deontic Logic in Computer Science: A Concise Overview. In: Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester, UK, pp. 17-40. ISBN 0471937436

Wieringa, R.J. and Meyer, J.J.C. (1993) Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence, 7. pp. 289-346. ISSN 1662-4548

Wieringa, R.J. and Meyer, J.J.C. (1993) Deontic Logic: A Concise Overview. In: Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester, UK, pp. 3-16. ISBN 0471937436

Meyer, J.J.C. and Wieringa, R.J. (1991) Actor-Oriented System Specification with Dynamic Logic. In: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 8-12 Apr 1991, Brighton, UK. pp. 337-357. Lecture Notes in Computer Science 494. Springer. ISBN 3540539816

Wieringa, R.J. and Meyer, J.J.C. (1991) Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints. In: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, 6-9 May 1991, Rostock, Germany. pp. 89-103. Lecture Notes in Computer Science 495. Springer. ISBN 3540540091

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

Meyer, J.J.C. and Weigand, H. and Wieringa, R.J. (1989) A Specification Language for Static, Dynamic and Deontic Integrity Constraints. In: MFDBS 1989: 2nd Sympsoium on Mathematical Fundamentals of Database Systems, 26-30 June 1989, Visegrád, Hungary. pp. 347-366. Lecture Notes in Computer Science 364. Springer. ISBN 978-3-540-51251-6

Wieringa, R.J. and Meyer, J.J.C. and Weigand, H. (1989) Specifying Dynamic and Deontic Integrity Constraints. Data and Knowledge Engineering, 4. pp. 157-189.