Deontic Logic in Computer Science

Download or Read eBook Deontic Logic in Computer Science PDF written by John-Jules Ch. Meyer and published by . This book was released on 1993 with total page 344 pages. Available in PDF, EPUB and Kindle.
Deontic Logic in Computer Science
Author :
Publisher :
Total Pages : 344
Release :
ISBN-10 : UOM:39015029976134
ISBN-13 :
Rating : 4/5 (34 Downloads)

Book Synopsis Deontic Logic in Computer Science by : John-Jules Ch. Meyer

Book excerpt: A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.


Deontic Logic in Computer Science Related Books

Deontic Logic in Computer Science
Language: en
Pages: 344
Authors: John-Jules Ch. Meyer
Categories: Computers
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert s
Deontic Logic in Computer Science
Language: en
Pages: 288
Authors: Ron van der Meyden
Categories: Computers
Type: BOOK - Published: 2008-07-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON 2008, held in Luxembourg in July 20
Deontic Logic in Computer Science
Language: en
Pages: 331
Authors: Guido Governatori
Categories: Computers
Type: BOOK - Published: 2010-06-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in J
Defeasible Deontic Logic
Language: en
Pages: 376
Authors: Donald Nute
Categories: Philosophy
Type: BOOK - Published: 1997-07-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

These 13 papers collected from several meetings of the Society for Exact Philosophy from 1993-96 take a variety of approaches to the task of integrating normati
Agency and Deontic Logic
Language: en
Pages: 205
Authors: John F. Horty
Categories: Agent (Philosophy)
Type: BOOK - Published: 2009 - Publisher: Oxford University Press

DOWNLOAD EBOOK

John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency