掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Logic, rationality, and interaction
Logic, rationality, and interaction
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
自动化与仪表
化学传感器
制造业自动化
电脑时空
自动化与信息工程
首都信息化
自动化博览
卷宗
电脑知识与技术
电脑与信息技术
更多>>
相关外文期刊
Journal of computer information systems
Intelligent control and automation
Natural language semantics
Optical networks and WDM
Intelligent automation and soft computing
Audio, Speech, and Language Processing, IEEE Transactions on
Industrial Robot
International journal of gaming and computer-mediated simulations
Displays
Security electronics & Networks
更多>>
相关中文会议
第二届全国智能视觉监控学术会议
中国造船工程学会2013年CAD/CAM学术交流会议
2008年全国工业控制计算机年会
NCIS2002第十二届全国信息存储学术会议
1999年天津市面向21世纪信息技术、电子技术、仪器仪表技术与产业战略研讨会(暨)学术会议
中国自动化学会中南六省(区)第十九届自动化学术年会
第二十二届中国过程控制会议
第十一届国际体视学大会暨第十届中国体视学与图像分析学术会议
第十三届全国测试与故障诊断技术研讨会
第二十三届全国信息保密学术会议(IS2013)
更多>>
相关外文会议
International Symposium on Government and E-commerce Development; 20010423-24; Ningbo(CN)
Advances in grid and pervasive computing
International Conference on Computational Science(ICCS 2006) pt.3; 20060528-31; Reading(GB)
Unmanned Systems Technology VIII pt.1
First International Conference on Mobile Data Access MDA'99, 1st, Dec 16-17, 1999, Hong Kong, China
Information Security Applications; Lecture Notes in Computer Science; 4298
7th annual ACM symposium on parallel algorithms and architectures
3rd ACM conference on wireless network security 2010
Law and Computing, 2004
Logic and the foundations of game and decision theory - LOFT 8
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
The Dynamics of Peer Pressure
机译:
对等压力的动力学
作者:
Zhen Liang
;
Jeremy Seligman
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
preference logic;
logic in the community;
aggregation;
social dynamics;
hybrid logic;
2.
Update Semantics for Imperatives with Priorities
机译:
优先处理命令更新语义
作者:
Fengkui Ju
;
Fenrong Liu
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
imperatives;
conflicts;
update semantics;
priorities;
3.
Game Semantics for the Geiger-Paz-Pearl Axioms of Independence
机译:
Geiger-Paz-Pearl独立性公理的游戏语义学
作者:
Pavel Naumov
;
Brittany Nicholls
会议名称:
《Logic, rationality, and interaction》
|
2011年
4.
A Logic for Strategy Updates
机译:
战略更新的逻辑
作者:
Can Baskent
会议名称:
《Logic, rationality, and interaction》
|
2011年
5.
An Application of Model Checking Games to Abstract Argumentation
机译:
模型检查游戏在抽象论证中的应用
作者:
Davide Grossi
会议名称:
《Logic, rationality, and interaction》
|
2011年
6.
DEL Planning and Some Tractable Cases
机译:
DEL规划和一些可行的案例
作者:
Benedikt Loewe
;
Eric Pacuit
;
Andreas Witzel
会议名称:
《Logic, rationality, and interaction》
|
2011年
7.
Dynamic Restriction of Choices: Synthesis of Societal Rules
机译:
选择的动态限制:社会规则的综合
作者:
Soumya Paul
;
R. Ramanujam
会议名称:
《Logic, rationality, and interaction》
|
2011年
8.
Agreeing to Disagree with Limit Knowledge
机译:
同意不同意极限知识
作者:
Christian W. Bach
;
Jérémie Cabessa
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
agreeing to disagree;
agreement theorems;
limit knowledge;
interactive epistemology;
9.
A Semantic Model for Vague Quantifiers Combining Fuzzy Theory and Supervaluation Theory
机译:
模糊理论与超值理论相结合的模糊量词语义模型
作者:
Ka Fat Chow
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
vague quantifiers;
generalized quantifier theory;
fuzzy theory;
supervaluation theory;
modified glockner's method;
10.
A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to
机译:
知识,分级信念和分级目标的动态逻辑及其应用
作者:
Emotion Modelling
会议名称:
《Logic, rationality, and interaction》
|
2011年
11.
Efficient Action Extraction with Many-to-Many Relationship between Actions and Features
机译:
动作与特征之间具有多对多关系的有效动作提取
作者:
Jianfeng Du
;
Yong Hu
;
Charles X. Ling
;
Ming Fan
;
Mei Liu
会议名称:
《Logic, rationality, and interaction》
|
2011年
12.
Knowledge and Action in Semi-public Environments
机译:
半公共环境中的知识与行动
作者:
Wiebe van der Hoek
;
Petar Iliev
;
Michael Wooldridge
会议名称:
《Logic, rationality, and interaction》
|
2011年
13.
An Alternative Logic for Knowability
机译:
知识的替代逻辑
作者:
Xuefeng Wen
;
Hu Liu
;
Fan Huang
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
knowability;
arbitrary announcement logic;
dynamic epistemic logic;
subset space logic;
14.
Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic
机译:
基于JND的Vague谓词逻辑概率模型的度量理论基础
作者:
Satoru Suzuki
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
pair comparison probability function;
strong probabilistic transitivity;
JND;
vagueness;
sorites paradox;
intransitivity of similarity;
semiorder;
measurement theory;
representation theorem;
bounded rationality;
15.
Minimal Revision and Classical Kripke Models First Results
机译:
最少修订和经典Kripke模型的第一结果
作者:
Jonas De Vuyst
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
dynamic modal logic;
revision operators;
kripke semantics;
16.
A Logic of Questions for Rational Choice
机译:
理性选择的问题逻辑
作者:
Zuojun Xiong
;
Jeremy Seligman
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
rational choice;
preference;
closed and open questions;
hybrid logic;
transitivity of preferences;
condorcet;
dynamic logic;
17.
Algebraic Foundations for Inquisitive Semantics
机译:
疑问语义的代数基础
作者:
Floris Roelofsen
会议名称:
《》
|
2011年
18.
A Measure of Logical Inference and Its Game Theoretical Applications
机译:
逻辑推理的度量及其博弈论应用
作者:
Mamoru Kaneko
;
Nobu-Yuki Suzuki
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
classical logic;
intuitionistic logic;
gentzen-style sequent calculus;
game theoretic decision making;
19.
A Dynamic Analysis of Interactive Rationality
机译:
互动理性的动态分析
作者:
Eric Pacuit
;
Olivier Roy
会议名称:
《Logic, rationality, and interaction》
|
2011年
20.
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic
机译:
直觉式公告逻辑的代数语义和模型完备性
作者:
Mehrnoosh Sadrzadeh
;
Alessandra Palmigiano
;
Minghui Ma
会议名称:
《Logic, rationality, and interaction》
|
2011年
21.
Playing Extensive Form Negotiation Games:A Tool-Based Analysis (Abstract)
机译:
玩广泛的表单谈判游戏:基于工具的分析(摘要)
作者:
Sujata Ghosh
;
Sumit Sourabh
;
Rineke Verbrugge
会议名称:
《Logic, rationality, and interaction》
|
2011年
22.
Schematic Validity in Dynamic Epistemic Logic: Decidability
机译:
动态认知逻辑中的示意图有效性:可判定性
作者:
Wesley H. Holliday
;
Tomohiro Hoshi
;
Thomas F. IcardIII
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
modal logic;
dynamic epistemic logic;
public announce-ment logic;
schematic validity;
substitution core;
decidability;
23.
Seeing, Knowledge and Common Knowledge
机译:
见识,常识
作者:
Frangois Schwarzentruber
会议名称:
《Logic, rationality, and interaction》
|
2011年
24.
Conditional Ought, a Game Theoretical Perspective
机译:
有条件的应有,博弈论的视角
作者:
Xin Sun
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
consequentialist deontic logic;
transitivity;
conditional dominance;
25.
Taking Mistakes Seriously: Equivalence Notions for Game Scenarios with off Equilibrium Play
机译:
认真对待错误:具有不平衡博弈的游戏场景的对等概念
作者:
Alistair Isaac
;
Tomohiro Hoshi
会议名称:
《Logic, rationality, and interaction》
|
2011年
26.
Logics of Belief over Weighted Structures
机译:
加权结构的信念逻辑
作者:
Minghui Ma
;
Meiyun Guo
会议名称:
《Logic, rationality, and interaction》
|
2011年
27.
Logical Dynamics of Evidence
机译:
证据的逻辑动力学
作者:
Johan van Benthem
;
Eric Pacuit
会议名称:
《》
|
2011年
28.
Partial Semantics of Argumentation
机译:
论证的部分语义
作者:
Beishui Liao
;
Huaxin Huang
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
argumentation;
semantics;
partial extension;
directionality;
unattacked sets;
29.
Mathematics of Public Announcements
机译:
公告数学
作者:
Minghui Ma
会议名称:
《Logic, rationality, and interaction》
|
2011年
30.
The Categorial Logic of Vacuous Components in Natural Language
机译:
自然语言中语音成分的分类逻辑
作者:
Chongli Zou
;
Kesheng Li
;
Lu Zhang
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
vacuous components;
composite category;
categorial type logic;
31.
Reflections on Vote Manipulation
机译:
关于投票操纵的思考
作者:
Jan van Eijck
;
Floor Sietsma
;
Sunil Simon
会议名称:
《Logic, rationality, and interaction》
|
2011年
32.
On Axiomatizations of PAL
机译:
关于PAL的公理化
作者:
Yanjing Wang
会议名称:
《Logic, rationality, and interaction》
|
2011年
33.
Public Announcement Logic with Distributed Knowledge
机译:
具有分布式知识的公共公告逻辑
作者:
Yi N. Wang
;
Thomas Agotnes
会议名称:
《Logic, rationality, and interaction》
|
2011年
34.
An Epistemic Logic with Hypotheses
机译:
带有假设的认知逻辑
作者:
Levan Uridia
;
Dirk Walther
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
epistemic logic;
conditional logic;
knowledge;
distributed knowledge;
hypotheses;
35.
Capturing Lewis's 'Elusive Knowledge'
机译:
捕捉刘易斯的“难以捉摸的知识”
作者:
Zhaoqing Xu
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
epistemic contextualism;
relevant alternatives;
elusive knowledge;
lewisian epistemic logic;
36.
Bayesianism, Elimination Induction and Logical Reliability
机译:
贝叶斯主义,消除归纳法和逻辑可靠性
作者:
Renjie Yang
;
Min Tang
会议名称:
《Logic, rationality, and interaction》
|
2011年
关键词:
probability;
logical reliability;
bayesianism;
37.
On Logic of Belief-Disagreement among Agents
机译:
主体间信仰异议的逻辑
作者:
Tian-Qun Pan
会议名称:
《Logic, rationality, and interaction》
|
2011年
意见反馈
回到顶部
回到首页