Deontic Logic in Computer Science - Softcover

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.