Deontic Logic in Computer Science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings / edited by Alessio Lomuscio, Donald Nute.

Format:

Book

Contributor:

Lomuscio, Alessio, editor.

Nute, Donald, 1947- editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 3065.

Lecture Notes in Artificial Intelligence ; 3065

Language:

English

Subjects (All):

Computers.

Artificial intelligence.

Logic, Symbolic and mathematical.

Theory of Computation.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Local Subjects:

Theory of Computation.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Physical Description:

1 online resource (X, 282 pages).

Edition:

First edition 2004.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.

System Details:

text file PDF

Summary:

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.

Contents:

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.

Other Format:

Printed edition:

ISBN:

978-3-540-25927-5

9783540259275

Access Restriction:

Restricted for use by site license.