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)
DOWNLOAD EBOOK
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

Deontic Logic in Computer Science

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

Deontic Logic and Normative Systems

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

Handbook of Deontic Logic and Normative Systems

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.
Logics for Databases and Information Systems
Language: en
Pages: 456

Logics for Databases and Information Systems

Authors: Jan Chomicki
Categories: Computers
Type: BOOK - Published: 1998-03-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu able, so
Deontic Logic and Legal Systems
Language: en
Pages: 289

Deontic Logic and Legal Systems

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