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
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
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