掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Deontic Logic in Computer Science
International Workshop on Deontic Logic in Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Doing As We Ought: Towards A Logic of Simply Dischargeable Obligations
机译:
我们应该遵守:朝着简单的履约义务的逻辑
作者:
Mark A. Brown
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
2.
The Logic of Normative Systems
机译:
规范系统的逻辑
作者:
Arnold A. Johanson
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
3.
Indirect Action, Influence and Responsibility
机译:
间接行动,影响和责任
作者:
Filipe Santos
;
Jose Carmo
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
4.
Towards a Computational Treatment of Deontic Defeasibility
机译:
朝着对故障的计算治疗
作者:
Alberto Artosi
;
guido Governatori
;
Giovanni Sartor
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
5.
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment yields Obligation
机译:
意图,承诺和义务的模态方法:意图加上承诺收益义务
作者:
F. Dignum
;
J.-J. Ch. Meyer
;
R. J. Wieringa
;
R. Kuiper
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
6.
From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations
机译:
从Hohfeld到法律关系的基本法律概念:炼制独奏法律关系的丰富
作者:
Layman E. Allen
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
7.
A deontic logic for reasoning about confidentiality
机译:
关于机密性的推理的故乡
作者:
Frederic Cuppens
;
Robert Demolombe
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
关键词:
knowledge representation;
deontic logic;
database security;
8.
Getting Personal Some Notes on the Relationship Between Personal and Impersonal Obligation
机译:
有关个人和不合格义务之间关系的个人注意事项
作者:
Christen Krogh
;
Henning Herrestad
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
9.
Must I Do What I Ought? (or Will the Least I Can Do Do?)
机译:
我必须做我应该做的吗? (或者最不可能做的事情?)
作者:
Paul McNamara
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
10.
How to Combine Ordering and Minimizing in a Deontic Logic based on Preferences
机译:
如何基于偏好结合排序和最小化的故障逻辑
作者:
yao-Hua Tan
;
Leendert W. N. van der Torre
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
11.
Defeasible Reasoning with Legal Rules
机译:
法律规则不可取的推理
作者:
Lamber Royakkers
;
Frank Dignum
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
12.
Combining Agency and Obligation (Preliminary Version)
机译:
结合代理和义务(初步版)
作者:
John F. Horty
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
1995年
13.
Propositional Quantifiers in Deontic Logic
机译:
主题逻辑中的命题量词
作者:
Gert-Jan C. Lokhorst
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
14.
Speech Acts with Institutional Effects in Agent Societies
机译:
言论在代理社会中具有制度效应
作者:
Robert Demolombe
;
Vincent Louis
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
15.
Departamento de Electrónica y Computadores Universidad de Cantabria, 39005 - Santander, Spain
机译:
Cantabria大学电子与计算机大学,39005 - 西班牙桑坦德
作者:
José Carmo
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
16.
A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies
机译:
信任问题:在战略方面评估履行承诺
作者:
Thomas Müller
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
17.
A State/Event Temporal Deontic Logic
机译:
一个州/事件颞型逻辑
作者:
Julien Brunel
;
Jean-Paul Bodeveix
;
Mamoun Filali
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
18.
Norms and Electronic Institutions
机译:
规范和电子机构
作者:
F. Dignum
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
19.
Acting with an End in Sight
机译:
end
作者:
Mark A. Brown
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
20.
Intermediate Concepts in Normative Systems
机译:
规范系统中的中间概念
作者:
Lars Lindahl
;
Jan Odelstad
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
21.
A Logical Architecture of a Normative System
机译:
规范系统的逻辑架构
作者:
Guido Boella
;
Leendert van der Torre
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
22.
Addressing Moral Problems Through Practical Reasoning
机译:
通过实践推理解决道德问题
作者:
Katie Atkinson
;
Trevor Bench-Capon
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
23.
On the Normative Aspect of Signalling Conventions
机译:
论信令约定的规范方面
作者:
Andrew J. I. Jones
;
Steven O. Kimbrough
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
24.
Delegation of Power in Normative Multiagent Systems
机译:
规范式多元素系统的权力代表团
作者:
Guido Boella
;
Leendert van der Torre
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
25.
Sequences, Obligations, and the Contrary-to-Duty Paradox
机译:
序列,义务和相反的悖论
作者:
Adam Zachary Wyner
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
26.
Counts-as: Classification or Constitution? An Answer Using Modal Logic
机译:
计数 - 为:分类或宪法?使用模态逻辑的答案
作者:
Davide Grossi
;
John-Jules Ch. Meyer
;
Frank Dignum
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
27.
A Complete and Decidable Axiomatisation for Deontic Interpreted Systems
机译:
用于故意解释系统的完整和可判定的公理化
作者:
Alessio Lomuscio
;
Bozena Wozna
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
28.
Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms
机译:
DSDL3中的权限和无法控制命题:非单调性和算法
作者:
Souhila Kaci
;
Leendert van der Torre
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
29.
Emotion Models for Situated Normative Systems?
机译:
位置规范系统的情感模型?
作者:
Paolo Petta
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
30.
Don’t Ever Do That! Long-Term Duties in PDeL
机译:
永远不要那样做! Padel的长期职责
作者:
Jesse Hughes
;
Lambèr Royakkers
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
31.
Don't Ever Do That! Long-Term Duties in PD_eL
机译:
永远不要那样做! PD_EL中的长期职责
作者:
Jesse Hughes
;
Lamber Royakkers
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
32.
The Deontic Component of Action Language nC+
机译:
动作语言NC +的神话成分
作者:
Marek Sergot
;
Robert Craven
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
33.
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm’s Scenario
机译:
战略性的文工逻辑作为ATL的减少,申请Chisholm的情景
作者:
Jan Broersen
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
34.
Conflicting Obligations in Multi-agent Deontic Logic
机译:
多助理语言逻辑的冲突义务
作者:
Barteld Kooi
;
Allard Tamminga
会议名称:
《International Workshop on Deontic Logic in Computer Science》
|
2006年
意见反馈
回到顶部
回到首页