找回密碼
 To register

QQ登錄

只需一步,快速開始

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

打印 上一主題 下一主題

Titlebook: Deontic Logic in Computer Science; 11th International C Thomas ?gotnes,Jan Broersen,Dag Elgesem Conference proceedings 2012 Springer-Verlag

[復(fù)制鏈接]
查看: 39318|回復(fù): 55
樓主
發(fā)表于 2025-3-21 19:53:09 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Deontic Logic in Computer Science
副標(biāo)題11th International C
編輯Thomas ?gotnes,Jan Broersen,Dag Elgesem
視頻videohttp://file.papertrans.cn/266/265683/265683.mp4
概述State-of-the-art research.Fast-track conference proceedings.Unique visibility
叢書名稱Lecture Notes in Computer Science
圖書封面Titlebook: Deontic Logic in Computer Science; 11th International C Thomas ?gotnes,Jan Broersen,Dag Elgesem Conference proceedings 2012 Springer-Verlag
描述This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.
出版日期Conference proceedings 2012
關(guān)鍵詞duty obligations; formal methods; norms; permission; semantics
版次1
doihttps://doi.org/10.1007/978-3-642-31570-1
isbn_softcover978-3-642-31569-5
isbn_ebook978-3-642-31570-1Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 2012
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 21:14:11 | 只看該作者
板凳
發(fā)表于 2025-3-22 03:03:03 | 只看該作者
Lehren und Lernen im dualen Studiumral sets of agents cause independently a state of affairs and it is extended to sets of agents who are acting indirectly..The formal definitions are evaluated with respect to several typical case studies and a detailed comparison with other approaches based on the STIT operators is presented.
地板
發(fā)表于 2025-3-22 06:55:53 | 只看該作者
5#
發(fā)表于 2025-3-22 10:11:23 | 只看該作者
6#
發(fā)表于 2025-3-22 15:50:01 | 只看該作者
7#
發(fā)表于 2025-3-22 19:48:02 | 只看該作者
Pseudo TP/TS Fuzzy Model Transformationogics adequacy w.r.t. the paradoxes of (classic) deontic logic and provide a sound and complete axiomatization for it. We finally show that practical, rational recommendations in games provide a natural, concrete application of such an understanding of obligations and permissions.
8#
發(fā)表于 2025-3-22 22:41:09 | 只看該作者
9#
發(fā)表于 2025-3-23 04:00:50 | 只看該作者
Conference proceedings 2012ion of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.
10#
發(fā)表于 2025-3-23 07:46:15 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-30 06:39
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
宁明县| 同心县| 庆安县| 藁城市| 连南| 监利县| 连山| 武定县| 大田县| 桃源县| 安达市| 蓝山县| 平舆县| 深圳市| 芜湖市| 乾安县| 黑山县| 财经| 毕节市| 湛江市| 汉沽区| 嘉禾县| 云龙县| 内丘县| 涟源市| 萨嘎县| 滕州市| 镇巴县| 云浮市| 玉树县| 旌德县| 板桥市| 连城县| 德令哈市| 松阳县| 晴隆县| 高州市| 广水市| 临武县| 盱眙县| 金乡县|