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

by Lomuscio, Alessio; Nute, Donald

• ISBN13: 9783540221111
• ISBN10: 3540221115
• Format: Paperback
• Copyright: 2004-06-30
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Proceedings of DEON 2004
Abstracts of Invited Papers
Obligation, Contracts, and Negotiation	1	(1)
Mark A. Brown
Social Laws in Alternating Time	2	(1)
Michael Wooldridge
Contributed Papers
Combinations of Tense and Deontic Modality	3	(26)
Lennart Åqvist
Δ: The Social Delegation Cycle	29	(14)
Guido Boella and Leendert van der Torre
Designing a Deontic Logic of Deadlines	43	(14)
Jan Broersen, Frank Dignum, Virginia Dignum, and John-Jules Ch. Meyer
Obligation Change in Dependence Logic and Situation Calculus	57	(17)
Robert Demolombe and Andreas Herzig
A Proposal for Dealing with Deontic Dilemmas	74	(40)
Lou Goble
Defeasible Logic: Agency, Intention and Obligation	114	(15)
Guido Governatori and Antonino Rotolo
Collective Obligations and Agents: Who Gets the Blame?	129	(17)
Davide Grossi, Frank Dignum, Lamber M.M. Royakkers, and John-Jules Ch. Meyer
Conflicting Imperatives and Dyadic Deontic Logic	146	(19)
Jörg Hansen
On Obligations and Abilities	165	(17)
Wojciech Jamroga, Wiebe van der Hoek, and Michael Wooldridge
On Normative-Informational Positions	182	(9)
Andrew J.I. Jones
Quasi-matrix Deontic Logic	191	(18)
Andrei Kouznetsov
Delegation in a Role-Based Organization	209	(19)
Olga Pacheco and Filipe Santos
Automatic Verification of Deontic Properties of Multi-agent Systems	228	(15)
Franco Raimondi and Alessio Lomuscio
Specifying Multiagent Organizations	243	(15)
Leendert van der Torre, Joris Hulstijn, Mehdi Dastani, and Jan Broersen
Maintaining Obligations on Stative Expressions in a Deontic Action Logic	258	(17)
Adam Zachary Wyner
Author Index	275