Deontic Logic in Computer Science

Deontic Logic in Computer Science
Author :
Publisher :
Total Pages : 344
Release :
ISBN-10 : UOM:39015029976134
ISBN-13 :
Rating : 4/5 ( Downloads)

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

Download or read book Deontic Logic in Computer Science 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. 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: 225
Authors: Thomas Agotnes
Categories: Mathematics
Type: BOOK - Published: 2012-07-11 - Publisher: Springer

DOWNLOAD EBOOK

This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in J
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
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
Extending Deontic Logic for the Formalisation of Legal Rules
Language: en
Pages: 212
Authors: Lambèr Royakkers
Categories: Law
Type: BOOK - Published: 1998-03-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book describes extensions of deontic logic. Deontic logic is a branch of philosophical logic involving reasoning with norms, obligations, prohibitions and