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 (34 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 and Normative Systems
Language: en
Pages: 285
Authors: Fabrizio Cariani
Categories: Mathematics
Type: BOOK - Published: 2014-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This volume presents the refereed proceedings of the 12th International Conference on Deontic Logic and Normative Systems, DEON 2014, held in Ghent, Belgium, in
Handbook of Deontic Logic and Normative Systems
Language: en
Pages: 646
Authors: Dov Gabbay
Categories: Mathematics
Type: BOOK - Published: 2013-10 - Publisher:

DOWNLOAD EBOOK

The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics.
Deontic Logic and Legal Systems
Language: en
Pages: 289
Authors: Pablo E. Navarro
Categories: Law
Type: BOOK - Published: 2014-09-29 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

"Logic and law have a long history in common, but the influence has been mostly one-sided, except perhaps in the 5th and 6th centuries B.C., where disputes at t
Deontic Logic and Artificial Normative Systems
Language: en
Pages: 282
Authors: Lou Goble
Categories: Computers
Type: BOOK - Published: 2006-07-02 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, held in Utrecht, Netherlands i