Deontic Logic in Computer Science计算机科学中的道义逻辑/会议录 rtf 下载 2025 kindle mobi lrf 极速 pdf

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.

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

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：Deontic Logic in Computer Science计算机科学中的道义逻辑/会议录在线阅读

在线听书地址：Deontic Logic in Computer Science计算机科学中的道义逻辑/会议录在线收听

在线购买地址：Deontic Logic in Computer Science计算机科学中的道义逻辑/会议录在线购买

暂无原文赏析，正在全力查找中！

暂无其它内容！