Deontic Logic in Computer Science

Know about the book -

Deontic Logic in Computer Science is written by Guido Governatori and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 364214182X (ISBN 10) and 9783642141829 (ISBN 13).

Annotation This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include connections preferences, deontic logic and contrary-to-duties, the use of input/output logic, the study of norm dynamics, models of agents and institutions, argumentation, compliance, and various alternative analyses of deontic notions.