Amazon cover image
Image from Amazon.com

Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings / Alessio Lomuscio, Donald Nute (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 3065. | Lecture notes in computer science. Lecture notes in artificial intelligence.Publication details: Berlin ; New York : Springer, ©2004.Description: 1 online resource (x, 274 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 3540259279
  • 9783540259275
Other title:
  • DEON 2004
Subject(s): Genre/Form: Additional physical formats: Print version:: Deontic logic in computer science.DDC classification:
  • 004.015113 22
LOC classification:
  • QA75.5 .I615 2004eb
Other classification:
  • DAT 540f
  • MAT 030f
Online resources:
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.
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Print version record.

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.

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.

Powered by Koha