找回密碼
 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ù) 返回頂部 返回列表
龙南县| 镶黄旗| 龙陵县| 巢湖市| 景德镇市| 阜阳市| 安宁市| 泰州市| 西安市| 博湖县| 柘荣县| 五华县| 宁安市| 溧阳市| 衢州市| 平潭县| 利川市| 泾阳县| 望奎县| 南和县| 白山市| 南通市| 土默特右旗| 广南县| 西吉县| 丰原市| 泾源县| 林芝县| 庆城县| 峨眉山市| 正定县| 香港| 周至县| 宜城市| 开平市| 永州市| 鹤峰县| 额济纳旗| 吉木萨尔县| 北碚区| 潮州市|