Review of deontic logic in computer science [Book Review]
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Timothy Colburn & Gary Shute (2011). Decoupling as a Fundamental Value of Computer Science. Minds and Machines 21 (2):241-259.
Marcelo E. Coniglio & Newton M. Peron (2009). A Paraconsistentist Approach to Chisholm's Paradox. Principia 13 (3):299-326.
J. -J. Ch Meyer (1987). A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame Journal of Formal Logic 29 (1):109-136.
Andrew J. I. Jones & Marek Sergot (1992). Deontic Logic in the Representation of Law: Towards a Methodology. [REVIEW] Artificial Intelligence and Law 1 (1):45-64.
Albert J. J. Anglberger (2008). Dynamic Deontic Logic and its Paradoxes. Studia Logica 89 (3):427 - 435.
Roy Dowsing (1986). A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications.
Jeroen van Den Hoven & Gert-Jan Lokhorst (2002). Deontic Logic and Computer-Supported Computer Ethics. In James Moor & Terrell Ward Bynum (eds.), Cyberphilosophy: The Intersection of Philosophy and Computing. Blackwell Pub. 376-386.
Richard Evans (2010). Introducing Exclusion Logic as a Deontic Logic. DEON 2010 10 (1):179-195.
Added to index2009-01-28
Total downloads11 ( #308,208 of 1,796,302 )
Recent downloads (6 months)1 ( #468,138 of 1,796,302 )
How can I increase my downloads?