网上购物 货比三家
您现在的位置:快乐比价网 > 图书 > 人文社科 > 逻辑学 > 商品详情

Deontic Logic in Computer Science计算机科学中的道义逻辑/会议录

分享到:
Deontic Logic in Computer Science计算机科学中的道义逻辑/会议录

最 低 价:¥457.65

定 价:¥508.50

作 者:AlessioLomuscio 著

出 版 社:北京燕山出版社

出版时间:2004-6-1

I S B N:9783540221111

商品详情

编辑推荐

内容简介

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 absts 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.

作者简介

目录

Proceedings of DEON 2004
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
Author Index

商品评论(0条)

暂无评论!

您的浏览历史

loading 内容加载中,请稍后...