New Added

Deontic logic in computer science [electronic resource] : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Like Score+256

Deontic logic in computer science [electronic resource] : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Original Title Deontic logic in computer science [electronic resource] : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Author International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Portugal), Lomuscio, Alessio, Nute, Donald, 1947-, SpringerLink (Online service)
Publication date

Topics Computer science, Deontic logic
Publisher Berlin , Hong Kong : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date December 29, 2015
Deontic Logic in Computer Science: 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings
Author: Alessio Lomuscio, Donald Nute
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22111-1
DOI: 10.1007/b98159

Table of Contents:

  • Obligation, Contracts, and Negotiation
  • Social Laws in Alternating Time
  • 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

Text (HTML/PDF), image (GIF/PDF) and search engine

Mode of access: Intranet

Caption title , description based on screen of 2005-04-26

Includes bibliographical references and index

We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0