Review of deontic logic in computer science [Book Review]

Abstract

Most of the papers in this collection are from the First International Workshop on Deontic Logic in Computer Science, DEON91, held in Amsterdam in December 1991. AI (especially AI and law, and knowledge representation) and formal system specification are the computer science communities that would seem to be most interested. In fact, this reviewer, a researcher in AI, was surprised to find common ground with a visiting researcher in distributed systems by discussing the contents of this book: he being in the same field as Wieringa, and I being in the same field as Meyer.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Deontic Logic in Computer Science: Normative System Specification.John-Jules Ch Meyer & R. J. Wieringa - 1993 - Wiley.
Introduction to: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science.Paul McNamara & Henry Prakken - 1999 - In Henry Prakken & Paul McNamara (eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science. Amsterdam/Oxford/Tokyo/Washington DC: IOS Press. pp. 1-14.
Deontic Logic, Agency and Normative Systems:?Eon ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996.Mark A. Brown - 1995 - Springer.
Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science.Henry Prakken & Paul McNamara (eds.) - 1999 - Amsterdam/Oxford/Tokyo/Washington DC: IOS Press.
Advances in Modal Logic, Volume 5: Papers From the Fifth Aiml Conference, Held in Manchester, 9-11 September 2004.Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.) - 2005 - London, England: King's College Publications.
Epistemic Logic for AI and Computer Science.John-Jules Ch Meyer & Wiebe van der Hoek - 1995 - Cambridge University Press.
Third International Workshop on Deontic Logic in Computer Science.[author unknown] - 1995 - Logic Journal of the IGPL 3 (1):155-157.
An Andersonian deontic logic with contextualized sanctions.Christian Straßer & Mathieu Beirlaen - 2012 - In Christian Straßer & Mathieu Beirlaen (eds.), International Conference on Deontic Logic in Computer Science. pp. 151--169.
Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science.Ron van der Meyden & Leon van der Torre - 2011 - Journal of Applied Logic 9 (2):81-82.

Analytics

Added to PP
2009-01-28

Downloads
13 (#1,329,838)

6 months
13 (#268,562)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references