掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Deontic Logic in Computer Science
International Conference on Deontic Logic in Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Norms in Branching Space-Times
机译:
分支空间时代的规范
作者:
Nuel Belnap
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
2.
Variations in Access Control Logic
机译:
访问控制逻辑的变化
作者:
Martin Abadi
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
3.
On the Strong Completeness of Aqvist's Dyadic Deontic Logic G
机译:
关于AQVIST的二级语义逻辑G的强大完整性
作者:
Xavier Parent
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
关键词:
Conditional obligation;
Preference-based semantics;
Strong completeness;
DSDL3;
4.
Pushing Anderson's Envelope: The Modal Logic of Ascription
机译:
推动安德森的信封:归属的模态逻辑
作者:
Davide Grossi
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
关键词:
Modal logic;
Anderson's reduction;
Counts-as;
Ascription;
Jorgensen's dilemma;
5.
A Deontic Logic for Socially Optimal Norms
机译:
社会最优规范的文学逻辑
作者:
Jan Broersen
;
Rosja Mastop
;
John-Jules Ch. Meyer
;
Paolo Turrini
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
6.
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
机译:
改变法律制度:废除和结算第I部分:修改缺陷的理论
作者:
Guido Governatori
;
Antonino Rotolo
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
7.
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
机译:
指定入侵检测和反应政策:一种神声逻辑的应用
作者:
Nora Cuppens-Boulahia
;
Frederic Cuppens
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
8.
Acting, Events and Actions
机译:
表演,活动和行动
作者:
Mark A. Brown
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
9.
Need to Know: Questions and the Paradox of Epistemic Obligation
机译:
需要了解:问题和认知义务的悖论
作者:
Joris Hulstijn
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
10.
Introducing Grades in Deontic Logics
机译:
在外道逻辑中引入等级
作者:
Pilar Dellunde
;
Lluis Godo
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
关键词:
Deontic Logic;
Fuzzy Logic;
Norms;
Institutions;
11.
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
机译:
关于监管一致性检查法律的条件和例外的推理
作者:
Nikhil Dinesh
;
Aravind Joshi
;
Insup Lee
;
Oleg Sokolsky
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
12.
Delegation of Control in Administrative Procedures
机译:
行政程序中的控制委派
作者:
Joris Hulstijn
;
Jianwei Liu
;
Yao-Hua Tan
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
关键词:
Administrative procedures;
Trust;
Evidence documents;
13.
Strata of Intervenient Concepts in Normative Systems
机译:
介入概念在规范系统中的阶层
作者:
Lars Lindahl
;
Jan Odelstad
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
关键词:
Normative system;
Legal concept;
Intermediate concept;
Intervenient;
Weakest ground;
Strongest consequence;
Intervenient minimality;
Ownership;
14.
Trust and Norms in the Context of Computer Security: A Logical Formalization
机译:
计算机安全背景下的信任和规范:逻辑形式化
作者:
Emiliano Lorini
;
Robert Demolombe
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
15.
Normative Consequence: The Problem of Keeping It Whilst Giving It up
机译:
规范后果:让它放弃它的问题
作者:
Audun Stolpe
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
关键词:
Normative systems;
Input/output logic;
Dynamics;
16.
Reactive Kripke Models and Contrary to Duty Obligations
机译:
反应性克里普克模型和违约义务
作者:
Dov M. Gabbay
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
17.
A Tableaux System for Deontic Action Logic
机译:
一种用于故障逻辑的Tableaux系统
作者:
Pablo F. Castro
;
T. S. E. Maibaum
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
关键词:
Modal Logic;
Deontic Action Logic;
Tableaux Systems;
Fault-tolerance;
Software Specification;
18.
Praise, Blame, Obligation, and Beyond: Toward a Framework for Classical Supererogation and Kin
机译:
赞美,责备,义务,及以后:走向古典超级化和亲属的框架
作者:
Paul McNamara
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
关键词:
Supererogation;
Offense;
Praise;
Blame;
Obligation;
Aretaic;
Deontic;
Neutral;
Indifferent;
19.
A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'
机译:
对“义务”与“故意做”之间的互动的逻辑分析
作者:
Jan Broersen
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2008年
20.
Norms, Action and Agency in Multi-agent Systems
机译:
多种代理系统中的规范,行动和机构
作者:
Marek Sergot
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
21.
Towards a Logical Analysis of the Judgment on Facts
机译:
朝着对事实判断的逻辑分析
作者:
Michele Taruffo
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
22.
Where Did Mally Go Wrong?
机译:
Mally在哪里出错了?
作者:
Gert-Jan C. Lokhorst
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
23.
Obligations and Prohibitions in Talmudic Deontic Logic
机译:
Talmudic语言逻辑的义务和禁令
作者:
Michael Abraham
;
Dov M. Gabbay
;
Uri Schild
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
24.
Moral Particularism and Deontic Logic
机译:
道德特定主义和神话逻辑
作者:
Xavier Parent
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
关键词:
Moral particularism;
Prima facie obligation;
Conflict resolution;
Norm violation;
Contrary-to-duties;
Default;
Input/output logic;
25.
Characterising Responsibility in Organisational Structures: The Problem of Many Hands
机译:
在组织结构中表征责任:许多手的问题
作者:
Rosja Mastop
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
关键词:
Deontic Logic;
Moral Responsibility;
The Problem of Many Hands;
Stit Logic;
26.
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems
机译:
禁止不良协议:基于依赖的方法对多助理系统的监管
作者:
Paolo Turrini
;
Davide Grossi
;
Jan Broersen
;
John-Jules Ch. Meyer
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
27.
Relevance, Derogation and Permission A Case for a Normal Form for Codes of Norms
机译:
相关性,降噪和许可对于规范代码的正常形式的案例
作者:
Audun Stolpe
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
关键词:
Positive permission;
Antithetic permission;
Derogation;
Relevance;
Norm-system dynamics;
28.
A Logical Analysis of Commitment Dynamics
机译:
承诺动态的逻辑分析
作者:
Emiliano Lorini
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
29.
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
机译:
基于Boolean代数的故障动作逻辑的金属系统化
作者:
Robert Trypuz
;
Piotr Kulicki
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
关键词:
Deontic action logic;
Obligation;
Boolean algebra;
30.
A Logical Model of Private International Law
机译:
私立私法的逻辑模型
作者:
Phan Minh Dung
;
Giovanni Sartor
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
31.
Axioms for Obligation and Robustness with Temporal Logic
机译:
具有时间逻辑的义务和鲁棒性的公理
作者:
Tim French
;
John C. McCabe-Dansted
;
Mark Reynolds
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
32.
Relationships between Actions Performed by Institutional Agents, Human Agents or Software Agents
机译:
制度代理,人类代理或软件代理的行为之间的关系
作者:
Robert Demolombe
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
33.
Introducing Exclusion Logic as a Deontic Logic
机译:
将排除逻辑作为文字逻辑引入
作者:
Richard Evans
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
关键词:
Deontic;
Material incompatibility;
Exclusion;
Hierarchical finite-state machine;
34.
Privacy Policies with Modal Logic: The Dynamic Turn
机译:
模态逻辑的隐私政策:动态转弯
作者:
Guillaume Aucher
;
Guido Boella
;
Leendert van der Tone
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
35.
Deontic Redundancy: A Fundamental Challenge for Deontic Logic
机译:
故障冗余:出版逻辑的根本挑战
作者:
Leendert van der Torre
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
36.
A Dyadic Operator for the Gradation of Desirability
机译:
一种逐渐消除性能的二元操作员
作者:
Guillaume Piolle
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
37.
Avoiding Deontic Explosion by Contextually Restricting Aggregation
机译:
通过上下文限制聚集来避免故事爆炸
作者:
Joke Meheus
;
Mathieu Beirlaen
;
Prederik Van De Putte
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
关键词:
Conflict-tolerant deontic logic;
Non-adjunctive deontic logic;
Deontic explosion;
Defeasible deontic reasoning;
Adaptive logic;
38.
Deontics = Betterness + Priority
机译:
doontics =更好的+优先权
作者:
Johan van Benthem
;
Davide Grossi
;
Fenrong Liu
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
关键词:
Deontic logic;
Preference logic;
Modal logic;
39.
Retroactive Legal Changes and Revision Theory in Defeasible Logic
机译:
逆向逻辑的追溯法律变更和修订理论
作者:
Antonino Rotolo
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
40.
Value-Based Argumentation for Justifying Compliance
机译:
基于价值的论证,用于证明合规性
作者:
Brigitte Burgemeestre
;
Joris Hulstijn
;
Yao-Hua Tan
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2010年
关键词:
Regulatory compliance;
Internal control;
Risk management;
41.
The Logic of Obligation as Weakest Permission (Short Version)
机译:
义务逻辑是最薄弱的许可(短版)
作者:
Olivier Roy
;
Albert J. J. Anglberger
;
Norbert Gratzl
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
42.
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
机译:
代理商的计算接地动态逻辑,具有法律行动的申请
作者:
Andreas Herzig
;
Tiago de Lima
;
Emiliano Lorini
;
Nicolas Troquard
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
关键词:
Modal logic;
Dynamic logic;
Action;
Agency;
Propositional control;
43.
A Deontic Action Logic with Sequential Composition of Actions
机译:
具有序贯组成的动作逻辑
作者:
Piotr Kulicki
;
Robert Trypuz
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
关键词:
Deontic action logic;
Sequential composition of actions;
Terminated and non-terminated actions;
44.
Sanction Semantics and Contrary-to-Duty Obligations
机译:
制裁语义和相反的义务义务
作者:
Louwe B. Kuijer
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
45.
Visualizing Normative Systems: An Abstract Approach
机译:
可视化规范系统:一种抽象的方法
作者:
Silvano Colombo Tosatto
;
Guido Boella
;
Leendert van der Torre
;
Serena Villata
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
关键词:
Abstract normative systems;
Graph patterns;
46.
Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations
机译:
通知Chisholm符合职责义务的颞神经逻辑
作者:
Dov Gabbay
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
47.
An Andersonian Deontic Logic with Contextualized Sanctions
机译:
具有语境化制裁的安徒生的神话逻辑
作者:
Christian Strasser
;
Mathieu Beirlaen
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
48.
An Embedding of Input-Output Logic in Deontic Logic Programs
机译:
文学逻辑程序中的输入输出逻辑嵌入
作者:
Ricardo Goncalves
;
Jose Julio Alferes
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
49.
Discussion Paper: Changing Norms Is Changing Obligation Change
机译:
讨论文件:改变规范正在改变义务变化
作者:
Jan Broersen
;
Dov Gabbay
;
Leendert van der Torre
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
50.
On the Logical Foundations of Moral Agency
机译:
论道德机构的逻辑基础
作者:
Emiliano Lorini
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
51.
Causality in the Context of Multiple Agents
机译:
多个代理语境中的因果关系
作者:
Robert Demolombe
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
52.
Norms and Learning in Probabilistic Logic-Based Agents
机译:
基于概率逻辑的代理商的规范和学习
作者:
Regis Riveret
;
Antonino Rotolo
;
Giovanni Sartor
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
53.
Agreements as Norms
机译:
协议为规范
作者:
Paolo Turrini
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
关键词:
Deontic Logic;
Game Theory;
54.
Possible World Semantics for Defeasible Deontic Logic
机译:
可能的世界语义,用于缺失的神声逻辑
作者:
Guido Governatori
;
Antonino Rotolo
;
Erica Calardo
会议名称:
《International Conference on Deontic Logic in Computer Science》
|
2012年
意见反馈
回到顶部
回到首页