Deontic Logic in Computer Science: Normative System Specification

Wiley (1993)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2015-02-13

Downloads
22 (#690,757)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?