找回密碼
 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ù)制鏈接]
查看: 15837|回復(fù): 56
樓主
發(fā)表于 2025-3-21 16:54:36 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱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ā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-5 19:37
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
崇州市| 桦川县| 绥芬河市| 望都县| 沈丘县| 台安县| 龙岩市| 来凤县| 平定县| 秦安县| 定安县| 齐齐哈尔市| 三台县| 泰兴市| 吉木乃县| 柞水县| 木兰县| 沙田区| 洛宁县| 留坝县| 新蔡县| 浏阳市| 嵩明县| 如皋市| 奉节县| 万全县| 广宁县| 化德县| 儋州市| 尉犁县| 绍兴市| 蓬溪县| 彝良县| 深州市| 孝感市| 平果县| 米林县| 巍山| 洮南市| 衡南县| 政和县|