Author Publications

2003

Otterlo van, Martijn and Wiering, Marco and Dastani, Mehdi and Meyer, John-Jules (2003) A Characterization of Sapient Agents. In: International Conference on Integration of Knowledge Intensive Multi-Agent Systems, 2003, 30 Sept. - 4 Oct. 2003, Boston, MA, USA.

2001

Spruit, Paul and Wieringa, Roel and Meyer, John-Jules (2001) Regular database update logics. Theoretical Computer Science, 254 (1-2). pp. 591-661. ISSN 0304-3975

2000

Broersen, Jan and Wieringa, Roel and Meyer, John-Jules (2000) A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundamenta Informaticae, 48 (2-3). pp. 107-128. ISSN 0169-2968

Broersen, Jan and Wieringa, Roel and Meyer, John-Jules (2000) A semantics for persistency in propositional dynamic logic. In: First International Conference on Computational Logic, CL2000, July 24-28, 2000, London, UK.

Broersen, Jan and Wieringa, Roel and Meyer, John-Jules (2000) μ-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.

1998

Meyer, J.-J.Ch. 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, Boston, pp. 71-115. ISBN 9780792381297

1996

Dignum, F. and Meyer, J.-J.Ch. 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, DEON 1996, 11-13 January 1996, Sesimbra, Portugal.

d'Altan, P. and Meyer, J.-J.Ch. 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

1994

Dignum, F. and Meyer, J.-J.Ch. 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.

Dignum, F. and Meyer, J.-J.Ch. 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 1994, 6-8 January 1994, Oslo, Norway.

Meyer, J.-J.Ch. and Dignum, F.P.M. and Wieringa, R.J. (1994) The paradoxes of deontic logic revisited: a computer science perspective. [Report]

1993

Meyer, J.-J.Ch. 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 9780471937432

Wieringa, R.J. and Meyer, J.-J.Ch. (1993) Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence, 7 (1-4). pp. 243-289. ISSN 1012-2443

Wieringa, R.J. and Meyer, J.-J.Ch. (1993) Preface. Annals of Mathematics and Artificial Intelligence, 9 (1-2). ISSN 1012-2443

d'Altan, P. and Meyer, J.-J.Ch. 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 March 1993, Stanford University, Palo Alto, USA.

1991

Meyer, J.-J.Ch. and Wieringa, R.J. (1991) Actor-Oriented System Specification with Dynamic Logic. In: International Joint Conference on Theory and Practice of Software Development, TAPSOFT, 8-12 Apr 1991, Brighton, UK.

Wieringa, R.J. and Meyer, J.-J.Ch. (1991) Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints. In: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, MFDBS, 6-9 May 1991, Rostock, Germany.

Wieringa, R.J. and Weigand, H. and Meyer, J.-J.Ch. and Dignum, F.P.M. (1991) The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? Annals of Mathematics and Artificial Intelligence, 3 (2-4). pp. 393-428. ISSN 1012-2443

1989

Meyer, John-Jules and Weigand, Hans and Wieringa, Roel (1989) A Specification Language for Static, Dynamic and Deontic Integrity Constraints. In: 2nd Sympsium on Mathematical Fundamentals of Database Systems, MFDBS 1989, 26-30 June 1989, Visegrád, Hungary.

Wieringa, Roel and Meyer, John-Jules and Weigand, Hans (1989) Specifying dynamic and deontic integrity constraints. Data & Knowledge Engineering, 4 (2). pp. 157-189. ISSN 0169-023X