Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings - Softcover

 
9783662194560: Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Softcover
ISBN 10: 3662194562 ISBN 13: 9783662194560
Publisher: Springer, 2014

Synopsis

Abstracts of Invited Papers.- Obligation, Contracts, and Negotiation.- Social Laws in Alternating Time.- Contributed Papers.- Combinations of Tense and Deontic Modality.- ?: The Social Delegation Cycle.- Designing a Deontic Logic of Deadlines.- Obligation Change in Dependence Logic and Situation Calculus.- A Proposal for Dealing with Deontic Dilemmas.- Defeasible Logic: Agency, Intention and Obligation.- Collective Obligations and Agents: Who Gets the Blame?.- Conflicting Imperatives and Dyadic Deontic Logic.- On Obligations and Abilities.- On Normative-Informational Positions.- Quasi-matrix Deontic Logic.- Delegation in a Role-Based Organization.- Automatic Verification of Deontic Properties of Multi-agent Systems.- Specifying Multiagent Organizations.- Maintaining Obligations on Stative Expressions in a Deontic Action Logic.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662194562
ISBN 13 
9783662194560
Binding
Paperback
Number of pages
292
Editor
Lomuscio Alessio, Nute Donald

Other Popular Editions of the Same Title

9783540221111: Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings (Lecture Notes in Computer Science, 3065)

Featured Edition

ISBN 10:  3540221115 ISBN 13:  9783540221111
Publisher: Springer, 2004
Softcover