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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Precedent, Deontic Logic, and Inheritance.John F. Horty - unknown
Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
Deontic logic and computer-supported computer ethics.Jeroen Van Den Hoven & Gert-Jan Lokhorst - 2002 - In James Moor & Terrell Ward Bynum (eds.), Cyberphilosophy: The Intersection of Philosophy and Computing. Blackwell. pp. 376-386.
A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
Deontic logic in the representation of law: Towards a methodology. [REVIEW]Andrew J. I. Jones & Marek Sergot - 1992 - Artificial Intelligence and Law 1 (1):45-64.
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.J. -J. Ch Meyer - 1987 - Notre Dame Journal of Formal Logic 29 (1):109-136.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Decoupling as a Fundamental Value of Computer Science.Timothy Colburn & Gary Shute - 2011 - Minds and Machines 21 (2):241-259.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.

Analytics

Added to PP
2009-01-28

Downloads
13 (#978,482)

6 months
1 (#1,459,555)

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