Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer...
Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa.
About this item
Full title
Publisher
Chichester ; New York : J. Wiley, c1993.
Call Numbers
T0369699
Record Identifier
MMS ID
Language
English
Formats
Physical Description
Physical content
xiv, 317 p. : ill. ; 25 cm.
Contents
1. Deontic Logic: A Concise Overview / J.-J. Ch. Meyer and R. J. Wieringa -- 2. Applications of Deontic Logic in Computer Science: A Concise Overview / R. J. Wieringa and J.-J. Ch. Meyer -- 3. Philosophical Foundations of Deontic Logic and the Logic of Defeasible Conditionals / C. E. Alchourron -- 4...
11. Deontic Aspects of Communication / H. Weigand -- 12. On the Characterization of Law and Computer Systems: The Normative Systems Perspective / A. J. I. Jones and M. Sergot.
Publication information
Publisher
Chichester ; New York : J. Wiley, c1993.
Place of Publication
England
Date Published
c1993.
Subjects
More information
Alternative Titles
Full title
Deontic logic in computer science : normative system specification / edited by John-Jules Ch. Meyer and Roel J. Wieringa.
Authors, Artists and Contributors
Author / Artists
Notes
General note
"Revisions of selected papers that were presented at the First International Workshop on Deontic Logic in Computer Science ... held in Amsterdam on December 11-13, 1991"--Pref.
Includes bibliographical references and index.
Transferred from N004.015113/1.
Contextual Information
Date Copyright
c1993.
Identifiers
Primary Identifiers
Call Numbers
T0369699
Record Identifier
74VKKGxLbMMM
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/74VKKGxLbMMM
Other Identifiers
ISBN
0471937436 :
9780471937432 :
DDC
004.015113
MMS ID
991021921349702626