Deontic logic in computer science [electronic resource] : 7th International Workshop on Deontic Logic in Compu
User Rating: Be the first one!
Author: International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Portugal), Lomuscio, Alessio, Nute, Donald, 1947-, SpringerLink (Online service)
Added by: sketch
Added Date: 2015-12-29
Language: eng
Subjects: Computer science, Deontic logic
Publishers: Berlin ; Hong Kong : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540221115
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 154.33 MB
PDF Size: 2.63 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 289
Views: 339
Total Files: 18
Media Type: texts
Total Files: 5
TORRENT
springer 10 1007 b98159 archive torrent
Last Modified: 2022-03-09 09:19:35
Download
Size: 9.98 KB
Description
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:
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
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
You May Also Like
We will be happy to hear your thoughts