掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Workshop on Logic, Rationality, and Interaction
International Workshop on Logic, Rationality, and Interaction
召开年:
2017
召开地:
Sapporo(JP)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
An Application of Model Checking Games to Abstract Argumentation
机译:
模型检查游戏应用于抽象论证
作者:
Davide Grossi
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
2.
Public Announcement Logic with Distributed Knowledge
机译:
具有分布式知识的公共公告逻辑
作者:
Yi N. Wang
;
Thomas Agotnes
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
3.
Seeing, Knowledge and Common Knowledge
机译:
看到,知识和共同知识
作者:
Francois Schwarzentruber
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
4.
Knowledge and Action in Semi-public Environments
机译:
半公共环境中的知识和行动
作者:
Wiebe van der Hoek
;
Petar Iliev
;
Michael Wooldridge
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
5.
Conditional Ought, a Game Theoretical Perspective
机译:
条件应该,游戏理论视角
作者:
Xin Sun
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
关键词:
Consequentialist deontic logic;
Transitivity;
Conditional dominance;
6.
A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling
机译:
一种动态的知识逻辑,分级信念和分级目标及其在情感建模中的应用
作者:
Emiliano Lorini
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
7.
DEL Planning and Some Tractable Cases
机译:
德尔规划和一些易行案件
作者:
Benedikt Lowe
;
Eric Pacuit
;
Andreas Witzel
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
8.
Taking Mistakes Seriously: Equivalence Notions for Game Scenarios with off Equilibrium Play
机译:
严重犯错误:与均衡效果的游戏情景的等价概念
作者:
Alistair Isaac
;
Tomohiro Hoshi
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
9.
Logics of Belief over Weighted Structures
机译:
加权结构信仰的逻辑
作者:
Minghui Ma
;
Meiyun Guo
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
10.
Partial Semantics of Argumentation
机译:
争论的部分语义
作者:
Beishui Liao
;
Huaxin Huang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
关键词:
Argumentation;
Semantics;
Partial extension;
Directionality;
Unattacked sets;
11.
Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic
机译:
基于JND的模糊谓词逻辑的概率模型测量 - 理论基础
作者:
Satoru Suzuki
会议名称:
《International Workshop on 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;
12.
A Dynamic Analysis of Interactive Rationality
机译:
交互式理性的动态分析
作者:
Eric Pacuit
;
Olivier Roy
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
13.
An Alternative Logic for Knowability
机译:
知识性的替代逻辑
作者:
Xuefeng Wen
;
Hu Liu
;
Fan Huang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
关键词:
Knowability;
Arbitrary announcement logic;
Dynamic epistemic logic;
Subset space logic;
14.
On Axiomatizations of PAL
机译:
关于PAL的公理化
作者:
Yanjing Wang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
15.
Update Semantics for Imperatives with Priorities
机译:
优先事项的必要性更新语义
作者:
Fengkui Ju
;
Fenrong Liu
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
关键词:
Imperatives;
Conflicts;
Update semantics;
Priorities;
16.
An Epistemic Logic with Hypotheses
机译:
一个假设的认知逻辑
作者:
Levan Uridia
;
Dirk Walther
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
关键词:
Epistemic logic;
Conditional logic;
Knowledge;
Distributed knowledge;
Hypotheses;
17.
Minimal Revision and Classical Kripke Models First Results
机译:
最小的修订和古典克里普克模型首先结果
作者:
Jonas De Vuyst
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
关键词:
Dynamic modal logic;
Revision operators;
Kripke semantics;
18.
Dynamic Restriction of Choices: Synthesis of Societal Rules
机译:
作者:王莹,王莹
作者:
Soumya Paul
;
R. Ramanujam
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
19.
Logical Dynamics of Evidence
机译:
证据的逻辑动力学
作者:
Johan van Benthem
;
Eric Pacuit
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2011年
20.
Planning Using Dynamic Epistemic Logic: Correspondence and Complexity
机译:
使用动态认知逻辑计划:对应和复杂性
作者:
Martin Holm Jensen
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
21.
Dynamic Attitudes, Fixed Points and Minimal Change
机译:
动态态度,固定点和最小的变化
作者:
Ben Rodenhauser
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
22.
The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court
机译:
法院论证组论中法探究的任务模式
作者:
Qiaoting Zhong
;
Xudong Luo
;
Frans H. van Eemeren
;
Fan Huang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Model;
Investigation;
Multi-agent;
23.
Dynamic Attitudes, Fixed Points and Minimal Change
机译:
动态态度,固定点和最小的变化
作者:
Ben Rodenh?user
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Dynamic;
Attitudes;
Minimal Change;
24.
Backward Induction Is PTIME-complete
机译:
向后归纳是ptime-complete
作者:
Jakub Szymanik
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
25.
Planning Using Dynamic Epistemic Logic: Correspondence and Complexity
机译:
使用动态认知逻辑计划:对应和复杂性
作者:
Martin Holm Jensen
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Planning;
Dynamic;
Complexity;
26.
Judgment Aggregation with Abstentions: A Hierarchical Approach
机译:
判决与弃权汇总:一个层次方法
作者:
Guifei Jiang
;
Dongmo Zhang
;
Xiaojia Tang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
27.
Backward Induction Is PTIME-complete
机译:
向后归纳是ptime-complete
作者:
Jakub Szymanik
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Backward;
Induction;
PTIME-complete;
28.
A Deontic Action Logic for Complex Actions
机译:
复杂动作的文字动作逻辑
作者:
Huimin Dong
;
Xiaowu Li
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Deontic;
Complex;
Actions;
29.
Logic of Evidence-based Knowledge
机译:
基于证据的知识逻辑
作者:
Chenwei Shi
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Logic;
Evidence-based;
Knowledge;
30.
Aggregated Beliefs and Informational Cascades
机译:
汇总信念和信息级联
作者:
Rasmus K. Rendsvig
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Aggregated Beliefs;
Informational;
Cascades;
31.
A Deontic Action Logic for Complex Actions
机译:
复杂动作的文字动作逻辑
作者:
Huimin Dong
;
Xiaowu Li
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
32.
Logic of Evidence-based Knowledge
机译:
基于证据的知识逻辑
作者:
Chenwei Shi
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
33.
Judgment Aggregation with Abstentions: A Hierarchical Approach
机译:
判决与弃权汇总:一个层次方法
作者:
Guifei Jiang
;
Dongmo Zhang
;
Xiaojia Tang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Judgment;
Aggregation;
Approach;
34.
A Logic for Extensive Games with Short Sight
机译:
广阔的广阔游戏的逻辑
作者:
Chanjuan Liu
;
Fenrong Liu
;
Kaile Su
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Extensive;
Sight;
reasoning;
35.
On Fuzzy Propositional Logic with Different Negations
机译:
不同否定的模糊命题逻辑
作者:
Shengli Zhang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
36.
Aggregated Beliefs and Informational Cascades
机译:
汇总信念和信息级联
作者:
Rasmus K. Rendsvig
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
37.
A Logic for Extensive Games with Short Sight
机译:
广阔的广阔游戏的逻辑
作者:
Chanjuan Liu
;
Fenrong Liu
;
Kaile Su
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
38.
On Fuzzy Propositional Logic with Different Negations
机译:
不同否定的模糊命题逻辑
作者:
Shengli Zhang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Propositional Logic;
Different Negations;
proved;
39.
A Note on Bayesian Games
机译:
关于贝叶斯游戏的一份说明
作者:
Yang Liu
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Note;
Bayesian;
Games;
40.
A Note on Bayesian Games
机译:
关于贝叶斯游戏的一份说明
作者:
Yang Liu
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
41.
The Logic of a Priori and a Posteriori Rationality in Strategic Games
机译:
在战略游戏中先验的逻辑和后验合理性
作者:
Meiyun Guo
;
Jeremy Seligman
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
42.
The Logic of a Priori and a Posteriori Rationality in Strategic Games
机译:
在战略游戏中先验的逻辑和后验合理性
作者:
Meiyun Guo
;
Jeremy Seligman
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Logic;
Posteriori;
Strategic Games;
43.
Sequent Calculi for Multi-modal Logic with Interaction
机译:
用于交互的多模态逻辑的顺序计算
作者:
Norbert Gratzl
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
44.
Proof Theory, Semantics and Algebra for Normative Systems
机译:
用于规范系统的证明理论,语义和代数
作者:
Xin Sun
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Proof Theory;
Semantics;
Normative Systems;
45.
Proof Theory, Semantics and Algebra for Normative Systems
机译:
用于规范系统的证明理论,语义和代数
作者:
Xin Sun
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
46.
Sequent Calculi for Multi-modal Logic with Interaction
机译:
用于交互的多模态逻辑的顺序计算
作者:
Norbert Gratzl
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Sequent;
Multi-modal;
Interaction;
47.
Minimal Preference Change
机译:
最小的偏好变化
作者:
Natasha Alechina
;
Fenrong Liu
;
Brian Logan
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
48.
Minimal Preference Change
机译:
最小的偏好变化
作者:
Natasha Alechina
;
Fenrong Liu
;
Brian Logan
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Minimal;
Preference;
Change;
49.
Cellular Games, Nash Equilibria, and Fibonacci Numbers
机译:
蜂窝游戏,纳什均衡和斐波纳契数
作者:
Kristine Harjes
;
Pavel Naumov
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Cellular Games;
Nash Equilibria;
Fibonacci Numbers;
50.
Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary
机译:
计划识别,无限期和语义 - 语用学边界
作者:
Hsiang-Yun Chen
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Recognition;
Indefinites;
Boundary;
51.
Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary
机译:
计划识别,无限期和语义 - 语用学边界
作者:
Hsiang-Yun Chen
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
52.
Cellular Games, Nash Equilibria, and Fibonacci Numbers
机译:
蜂窝游戏,纳什均衡和斐波纳契数
作者:
Kristine Harjes
;
Pavel Naumov
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
53.
A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices
机译:
基于广义量词和比例的疑问语义模型
作者:
Ka-Fat Chow
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
54.
Logic Aggregation
机译:
逻辑聚合
作者:
Xuefeng Wen
;
Hu Liu
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Logic;
Aggregation;
preference;
55.
How to Update Neighborhood Models
机译:
如何更新邻居模型
作者:
Minghui Ma
;
Katsuhiko Sano
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
56.
Boolean Games with Epistemic Goals
机译:
带有认知目标的布尔游戏
作者:
Thomas ?gotnes
;
Paul Harrenstein
;
Wiebe van der Hoek
;
Michael Wooldridge
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Boolean;
Epistemic;
Goals;
57.
Expressivity Hierarchy of Languages for Epistemic Awareness Models
机译:
认知意识模型的富有症状语言的层次结构
作者:
Fernando R. Velázquez-Quesada
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Expressivity;
Languages;
Models;
58.
An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers
机译:
您无法拒绝的报价:以有条件的优惠获得奖项谈判游戏的效率和公平
作者:
Valentin Goranko
;
Paolo Turrini
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Obtaining;
Fairness;
Conditional Offers;
59.
A Dynamic Deontic Logic Based on Histories
机译:
基于历史的动态出版逻辑
作者:
Fengkui Ju
;
Li Liang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
60.
An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers
机译:
您无法拒绝的报价:以有条件的优惠获得奖项谈判游戏的效率和公平
作者:
Valentin Goranko
;
Paolo Turrini
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
61.
The Topology of Belief, Belief Revision and Defeasible Knowledge
机译:
信仰,信仰修改和不可取知识的拓扑
作者:
Alexandru Baltag
;
Nick Bezhanishvili
;
Aybüke ?zgün
;
Sonja Smets
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Topology;
Revision;
Knowledge;
62.
A Dynamic Deontic Logic Based on Histories
机译:
基于历史的动态出版逻辑
作者:
Fengkui Ju
;
Li Liang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Dynamic Deontic;
logic;
histories;
63.
Dynamic Epistemic Logic Displayed
机译:
动态认知逻辑显示
作者:
Giuseppe Greco
;
Alexander Kurz
;
Alessandra Palmigiano
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Dynamic Epistemic;
Displayed;
Sadrzadeh;
64.
Explicit and Implicit Knowledge in Neighbourhood Models
机译:
在邻居模型中明确和隐含的知识
作者:
Fernando R. Velázquez-Quesada
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Explicit;
Knowledge;
Models;
65.
A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint
机译:
遗憾的观点迭代消除算法统一认证分析
作者:
Jianying Cui
;
Xudong Luo
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Epistemic;
Analysis;
Viewpoint;
66.
Expressivity Hierarchy of Languages for Epistemic Awareness Models
机译:
认知意识模型的富有症状语言的层次结构
作者:
Fernando R. Velazquez-Quesada
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
67.
How to Update Neighborhood Models
机译:
如何更新邻居模型
作者:
Minghui Ma
;
Katsuhiko Sano
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Update;
Neighborhood;
Models;
68.
Explicit and Implicit Knowledge in Neighbourhood Models
机译:
在邻居模型中明确和隐含的知识
作者:
Fernando R. Velazquez-Quesada
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
69.
Logic Aggregation
机译:
逻辑聚合
作者:
Xuefeng Wen
;
Hu Liu
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
70.
A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices
机译:
基于广义量词和比例的疑问语义模型
作者:
Ka-Fat Chow
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Semantic;
Interrogatives;
Bilattices;
71.
Boolean Games with Epistemic Goals
机译:
带有认知目标的布尔游戏
作者:
Thomas Agotnes
;
Paul Harrenstein
;
Wiebe van der Hoek
;
Michael Wooldridge
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
72.
Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
机译:
没有反射性的非识别性命题逻辑的搜索系统
作者:
Louwe B. Kuijer
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
73.
A Two-Tiered Formalization of Social Influence
机译:
社会影响力的双层形式化
作者:
Zoe Christoff
;
Jens Ulrik Hansen
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
74.
Listen to Me! Public Announcements to Agents That Pay Attention - or Not
机译:
听我说!公告代理人注意 - 或者
作者:
Hans van Ditmarsch
;
Andreas Herzig
;
Emiliano Lorini
;
Fran?ois Schwarzentruber
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Announcements;
Attention;
literature;
75.
A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint
机译:
遗憾的观点迭代消除算法统一认证分析
作者:
Jianying Cui
;
Xudong Luo
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
76.
Reasoning about Actions Meets Strategic Logics
机译:
关于行动的推理符合战略逻辑
作者:
Andreas Herzig
;
Emiliano Lorini
;
Dirk Walther
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Reasoning;
Actions;
Logics;
77.
A Two-Tiered Formalization of Social Influence
机译:
社会影响力的双层形式化
作者:
Zoé Christoff
;
Jens Ulrik Hansen
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Two-Tiered;
Formalization;
Influence;
78.
Dynamic Epistemic Logic Displayed
机译:
动态认知逻辑显示
作者:
Giuseppe Greco
;
Alexander Kurz
;
Alessandra Palmigiano
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
79.
The Topology of Belief, Belief Revision and Defeasible Knowledge
机译:
信仰,信仰修改和不可取知识的拓扑
作者:
Alexandru Baltag
;
Nick Bezhanishvili
;
Aybuke Ozgun
;
Sonja Smets
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
80.
Reasoning about Actions Meets Strategic Logics
机译:
关于行动的推理符合战略逻辑
作者:
Andreas Herzig
;
Emiliano Lorini
;
Dirk Walther
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
81.
Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
机译:
没有反射性的非识别性命题逻辑的搜索系统
作者:
Louwe B. Kuijer
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Sequent Systems;
Nondeterministic;
Reflexivity;
82.
Listen to Me! Public Announcements to Agents That Pay Attention - or Not
机译:
听我说!公告代理人注意 - 或者
作者:
Hans van Ditmarsch
;
Andreas Herzig
;
Emiliano Lorini
;
Francois Schwarzentruber
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
83.
The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court
机译:
法院论证组论中法探究的任务模式
作者:
Qiaoting Zhong
;
Xudong Luo
;
Frans H. van Eemeren
;
Fan Huang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
84.
Public Announcements, Private Actions and Common Knowledge in S5 Structures
机译:
公告,私人行动和S5结构中的常识
作者:
Yì N.Wáng
;
Thomas ?gotnes
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
关键词:
Announcements;
Actions;
Structures;
85.
Public Announcements, Private Actions and Common Knowledge in S5 Structures
机译:
公告,私人行动和S5结构中的常识
作者:
Yi N. Wang
;
Thomas Agotnes
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2013年
86.
Epistemic Updates on Bilattices
机译:
Bilattices的认知更新
作者:
Zeinab Bakhtiarinoodeh
;
Umberto Rivieccio
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
87.
Translating a Counterpart Theory into a Quantified Modal Language with Descriptors
机译:
将对应物理论转换为具有描述符的量化模态语言
作者:
Chi-Her Yang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
关键词:
Singular term;
Quantified modal logic;
Rigidity;
Counterpart theory;
88.
A Dynamic Epistemic Logic with a Knowability Principle
机译:
具有知识性原则的动态认知逻辑
作者:
Michael Cohen
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
89.
Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence
机译:
反思性奥卡尔:人工智能博弈论的基础
作者:
Benja Fallenstein
;
Jessica Taylor
;
Paul F. Christiano
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
90.
Solving the HI-LO Puzzle
机译:
解决HI-LO拼图
作者:
Brian Kim
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
91.
Infinite Ordinals and Finite Improvement
机译:
无限秩序和有限改进
作者:
Aaron Hunter
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
92.
On the Complexity of Input/Output Logic
机译:
关于输入/输出逻辑的复杂性
作者:
Xin Sun
;
Diego Agustin Ambrossio
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
93.
An Argument for Permissivism from Safespots
机译:
来自SufeSpots的Permissivism的论点
作者:
Thomas Raleigh
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
关键词:
Uniqueness;
Permissivism;
Blindspots;
Rationality;
Belief;
Epistemic Consequentialism;
Evidence;
Epistemology;
Philosophy;
94.
Causal Models and the Ambiguity of Counterfactuals
机译:
反应模型和反事实的歧义
作者:
Kok Yong Lee
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
关键词:
Causal Model;
Counterfactual Conditional;
Intervention;
Extrapolation;
Backtracking;
95.
Great Expectations
机译:
伟大的期望
作者:
Eddy Keming Chen
;
Daniel Rubio
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
96.
Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs
机译:
表征子图制定概率论证的语义
作者:
Beishui Liao
;
Huaxin Huang
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
关键词:
Probabilistic Argumentation;
Semantics;
Computational Complexity;
Computational Efficiency;
Characterized Subgraphs;
97.
Context-Dependent Utilities A Solution to the Problem of Constant Acts in Savage
机译:
上下文相关的实用程序对野蛮人的常量问题的解决方案
作者:
Haim Gaifman
;
Yang Liu
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
关键词:
Subjective expected utility;
Savage's postulates;
Constant acts;
Context-dependent decision making;
98.
Introspection, Normality and Agglomeration
机译:
内省,正常和聚集
作者:
Dominik Klein
;
Norbert Gratzl
;
Olivier Roy
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
99.
Boolean Game with Prioritized Norms
机译:
带优先级规范的布尔游戏
作者:
Xin Sun
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
关键词:
Boolean game;
Norm;
Input/output logic;
100.
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
机译:
动态认知逻辑动力系统模型变压器
作者:
Rasmus K. Rendsvig
会议名称:
《International Workshop on Logic, Rationality, and Interaction》
|
2015年
关键词:
Dynamic epistemic logic;
Dynamical systems;
Model transformers;
Protocols;
Modeling;
意见反馈
回到顶部
回到首页