找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Deontic Logic in Computer Science; 7th International Wo Alessio Lomuscio,Donald Nute Conference proceedings 2004 Springer-Verlag Berlin Hei

[復(fù)制鏈接]
查看: 15841|回復(fù): 56
樓主
發(fā)表于 2025-3-21 16:54:36 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Deontic Logic in Computer Science
副標(biāo)題7th International Wo
編輯Alessio Lomuscio,Donald Nute
視頻videohttp://file.papertrans.cn/266/265681/265681.mp4
概述Includes supplementary material:
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: Deontic Logic in Computer Science; 7th International Wo Alessio Lomuscio,Donald Nute Conference proceedings 2004 Springer-Verlag Berlin Hei
描述This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics - lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, arti?cial intelligence, organisation theory, and law. In addition to these topics, DEON 2004 placed special emphasis on the relationship between deontic logic and multi-agent systems. The workshop was held in Madeira, Portugal, on 26–28 May 2004. This v- ume includes all 15 papers presented at the workshop, as well as two abstracts from the two outstanding invited speakers we were privileged to host: Prof Mark Brown (Syracuse University, USA), and Prof Mike Wooldridge (University of Liverpool, UK). The reader will ?nd that the topics covered span from t- oretical investigations on deontic concepts and their formalisation in logic, to the use of deontic formalisms to verify and reason about multi-agent systems applications. We believe this makes it a well-balanced and interesting volume. We wish to thank all tho
出版日期Conference proceedings 2004
關(guān)鍵詞AI logics; action logic; artificial intelligence; computer science logic; deontic logic; formal reasoning
版次1
doihttps://doi.org/10.1007/b98159
isbn_softcover978-3-540-22111-1
isbn_ebook978-3-540-25927-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2004
The information of publication is updating

書目名稱Deontic Logic in Computer Science影響因子(影響力)




書目名稱Deontic Logic in Computer Science影響因子(影響力)學(xué)科排名




書目名稱Deontic Logic in Computer Science網(wǎng)絡(luò)公開度




書目名稱Deontic Logic in Computer Science網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Deontic Logic in Computer Science被引頻次




書目名稱Deontic Logic in Computer Science被引頻次學(xué)科排名




書目名稱Deontic Logic in Computer Science年度引用




書目名稱Deontic Logic in Computer Science年度引用學(xué)科排名




書目名稱Deontic Logic in Computer Science讀者反饋




書目名稱Deontic Logic in Computer Science讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 23:41:02 | 只看該作者
Obligation, Contracts, and Negotiationhave renegotiated my contract with you so that my remaining obligation is to pay you $50 (or, depending on details of the negotiation, perhaps $50 plus interest or a late fee). Analogous, though usually more explicit, renegotiations of contracts are commonplace in the corporate world as well..As we
板凳
發(fā)表于 2025-3-22 01:29:10 | 只看該作者
地板
發(fā)表于 2025-3-22 07:05:17 | 只看該作者
5#
發(fā)表于 2025-3-22 10:39:53 | 只看該作者
Deontic Logic in Computer Science978-3-540-25927-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
6#
發(fā)表于 2025-3-22 14:08:43 | 只看該作者
Christiane W. Runyan,Paolo D’Odoriconcy and without deontic explosion, while at the same time preserving the range of genuinely valid inferences. The proposal applies both to monadic deontic logic and to a dyadic logic of conditional obligation. In the Appendix these systems are proved to be sound and complete with respect to an appropriate semantics and also to be decidable.
7#
發(fā)表于 2025-3-22 18:51:32 | 只看該作者
8#
發(fā)表于 2025-3-22 23:52:41 | 只看該作者
9#
發(fā)表于 2025-3-23 04:28:41 | 只看該作者
10#
發(fā)表于 2025-3-23 06:47:36 | 只看該作者
https://doi.org/10.1007/978-1-4020-5480-8n what we call the social delegation cycle, which explains the creation of norms from agent desires in three steps. First individual agent desires generate group goals, then a group goal is individualized in a social norm, and finally the norm is accepted by the agents when it leads to the fulfilmen
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-5 23:36
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
临夏市| 法库县| 屯昌县| 四川省| 金平| 蒙山县| 沙坪坝区| 盘锦市| 巍山| 宁远县| 寻乌县| 台北县| 新野县| 乌苏市| 尉氏县| 庄浪县| 岢岚县| 利辛县| 凌云县| 呼图壁县| 阜城县| 衢州市| 惠来县| 秭归县| 谷城县| 宜阳县| 海伦市| 齐齐哈尔市| 本溪市| 蒲城县| 咸宁市| 安丘市| 郯城县| 曲麻莱县| 平乡县| 东城区| 泰州市| 五寨县| 左贡县| 阳谷县| 汉中市|