Deontic Logic in Computer Science - Softcover

Softcover

ISBN 10: 3662194562 ISBN 13: 9783662194560

Verlag: Springer, 2014

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2014
• Sprache: Englisch
• ISBN 10: 3662194562
• ISBN 13: 9783662194560
• Einband: Taschenbuch
• Anzahl der Seiten: 292
• Herausgeber: Lomuscio Alessio, Nute Donald
• Kontakt zum Hersteller: ROXIO; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Deutschland