๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

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

โœ Scribed by Mark A. Brown (auth.), Alessio Lomuscio, Donald Nute (eds.)


Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
Tongue
English
Leaves
286
Series
Lecture Notes in Computer Science 3065 : Lecture Notes in Artificial Intelligence
Edition
1
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis


This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, arti?cial intelligence, organisation theory, and law. In addition to these topics, DEON 2004 placed special emphasis on the relationship between deontic logic and multi-agent systems. The workshop was held in Madeira, Portugal, on 26โ€“28 May 2004. This v- ume includes all 15 papers presented at the workshop, as well as two abstracts from the two outstanding invited speakers we were privileged to host: Prof Mark Brown (Syracuse University, USA), and Prof Mike Wooldridge (University of Liverpool, UK). The reader will ?nd that the topics covered span from t- oretical investigations on deontic concepts and their formalisation in logic, to the use of deontic formalisms to verify and reason about multi-agent systems applications. We believe this makes it a well-balanced and interesting volume. We wish to thank all those who contributed to this workshop, and especially the authors of the submitted papers and the referees. They were all forced to work on a very tight timescale to make this volume a reality.

โœฆ Table of Contents


Front Matter....Pages -
Obligation, Contracts, and Negotiation....Pages 1-1
Social Laws in Alternating Time....Pages 2-2
Combinations of Tense and Deontic Modality....Pages 3-28
ฮ”: The Social Delegation Cycle....Pages 29-42
Designing a Deontic Logic of Deadlines....Pages 43-56
Obligation Change in Dependence Logic and Situation Calculus....Pages 57-73
A Proposal for Dealing with Deontic Dilemmas....Pages 74-113
Defeasible Logic: Agency, Intention and Obligation....Pages 114-128
Collective Obligations and Agents: Who Gets the Blame?....Pages 129-145
Conflicting Imperatives and Dyadic Deontic Logic....Pages 146-164
On Obligations and Abilities....Pages 165-181
On Normative-Informational Positions....Pages 182-190
Quasi-matrix Deontic Logic....Pages 191-208
Delegation in a Role-Based Organization....Pages 209-227
Automatic Verification of Deontic Properties of Multi-agent Systems....Pages 228-242
Specifying Multiagent Organizations....Pages 243-257
Maintaining Obligations on Stative Expressions in a Deontic Action Logic....Pages 258-274
Back Matter....Pages -

โœฆ Subjects


Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages


๐Ÿ“œ SIMILAR VOLUMES


Deontic Logic in Computer Science: 7th I
โœ Mark A. Brown (auth.), Alessio Lomuscio, Donald Nute (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2004 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p>This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promot

Deontic Logic and Artificial Normative S
โœ Lou Goble, John-Jules Ch. Meyer ๐Ÿ“‚ Library ๐Ÿ“… 2006 ๐Ÿ› Springer ๐ŸŒ English

<P>This book constitutes the refereed proceedings of the 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, held in Utrecht, Netherlands in July 2006.</P> <P>The 18 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and sele

Deontic Logic and Artificial Normative S
โœ Josรฉ Carmo (auth.), Lou Goble, John-Jules Ch. Meyer (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2006 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p>This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, held in Utrecht, The Netherlands, July 12โ€“14, 2006. These biennial DEON (more properly, ?EON) workshops are designed to promote international cooperation among scholars a

Deontic Logic in Computer Science: 9th I
โœ Nuel Belnap (auth.), Ron van der Meyden, Leendert van der Torre (eds.) ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p><P>This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON 2008, held in Luxembourg in July 2008. </P><P>The 16 revised full papers presented together with 4 invited talks were carefully reviewed and selected for inclusion in th

Deontic Logic in Computer Science: 9th I
โœ Ron van der Meyden (editor), Leendert van der Torre (editor) ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› Springer ๐ŸŒ English

<span>This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16โ€“18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic

Deontic Logic in Computer Science: 10th
โœ Rosaria Conte, Giulia Andrighetto, Daniel Villatoro (auth.), Guido Governatori, ๐Ÿ“‚ Library ๐Ÿ“… 2010 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

This volume presents the refereed proceedings of the 10th International Conference on Deontic Logic in Computer Science, DEON 2010, held in Fiesole, Italy, in July 2010. The 18 revised papers included in the volume were carefully reviewed and selected from 34 submissions. Topics covered include conn