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

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

5.0 1
by Alessio Lomuscio
     
 

This book constitutes the refereed proceedings of the 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, held in Madeira, Portugal, in May 2004.

The 15 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected for inclusion in the book. The papers are devoted to the relationship

See more details below

Overview

This book constitutes the refereed proceedings of the 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, held in Madeira, Portugal, in May 2004.

The 15 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected for inclusion in the book. The papers are devoted to the relationship between normative concepts and computer science, artificial intelligence, organization theory, and law; in addition to these topics, special emphasis is placed on the relationship between deontic logic and multiagent systems.

Product Details

ISBN-13:
9783540221111
Publisher:
Springer Berlin Heidelberg
Publication date:
06/24/2004
Series:
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Series, #3065
Edition description:
2004
Pages:
282
Product dimensions:
9.21(w) x 6.14(h) x 0.61(d)

Table of Contents

Proceedings of DEON 2004
Obligation, contracts, and negotiation1
Social laws in alternating time2
Combinations of tense and deontic modality3
[Delta] : the social delegation cycle29
Designing a deontic logic of deadlines43
Obligation change in dependence logic and situation calculus57
A proposal for dealing with deontic dilemmas74
Defeasible logic : agency, intention and obligation114
Collective obligations and agents : who gets the blame?129
Conflicting imperatives and dyadic deontic logic146
On obligations and abilities165
On normative-informational positions182
Quasi-matrix deontic logic191
Delegation in a role-based organization209
Automatic verification of deontic properties of multi-agent systems228
Specifying multiagent organizations243
Maintaining obligations on stative expressions in a deontic action logic258

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >