找回密碼
 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ù) 返回頂部 返回列表
惠水县| 舟曲县| 乌海市| 岳阳县| 德清县| 成安县| 那曲县| 鹰潭市| 清涧县| 苍梧县| 天峻县| 滨海县| 盐边县| 桦甸市| 常山县| 河池市| 灵石县| 长沙市| 永济市| 车致| 绩溪县| 云安县| 三河市| 微博| 报价| 永济市| 辽宁省| 怀安县| 赤城县| 渭南市| 宕昌县| 美姑县| 华亭县| 清新县| 黔西县| 天柱县| 于都县| 宁德市| 崇阳县| 石屏县| 葵青区|