第14届TARK 2013:印度钦奈
Burkhard C.Schipper公司 :
2013年1月7日至9日,印度钦奈,第十四届理性与知识理论问题会议记录(TARK 2013)。 2013 ,国际标准图书编号 978-0-615-74716-3 Burkhard C.Schipper公司 :
前言。 里内克言语 :
实验室中的逻辑。 加布里埃尔·安德森 , 马修·科林森 , 大卫·J·派姆 :
分布式系统建模中基于效用的决策。 纪尧姆·奥彻 , 弗朗索瓦·施瓦岑特鲁伯 :
论动态认识逻辑的复杂性。 伊多·本·兹维 , 约拉姆·摩西 :
被动协调任务的形状。 亚当·比约恩达尔 , 约瑟夫·哈珀(Joseph Y.Halpern) , 拉斐尔山口 :
基于语言的游戏。 卡塔琳娜·布里茨 , 伊万·若泽·瓦尔津扎克 :
可击败的模式。 汉斯·范·迪特马什 , 蒂姆·弗伦奇 , 费尔南多·维拉兹奎兹·奎萨达 , YìN.旺 :
知识、意识和相互模拟。 爱德华多·埃斯皮诺萨·阿维拉 , 弗朗西斯科·埃尔南德斯·奎罗斯 :
动态交替博弈中的有限理性。 Jayant V.神经节 , 阿维亚德·海菲茨 :
通用交互首选项。 Yannai A.Gonczarowski先生 , 约拉姆·摩西 :
及时的常识。 大卫·格罗西 , 埃米利亚诺·洛里尼 , 弗朗索瓦·施瓦岑特鲁伯 :
博弈形式逻辑中的Ceteris Paribus结构。 齐夫·赫尔曼 :
假装同意。 伊迪丝·赫玛斯潘德拉 , A.Hemaspandra巷 , 约格·罗特 :
连续选举在线操作的复杂性。 黄晓伟 , 罗恩·范德梅登 :
具有同步语义的基于知识的程序实现的符号合成。 杰弗里·凯恩 , 帕维尔·诺莫夫 :
通信链的认识逻辑。 杰罗姆·朗 , 布鲁诺·扎努蒂尼 :
基于知识的计划作为计划:计划存在的简洁性和复杂性。 帕维尔·诺莫夫 , 布列塔尼·尼科尔斯 :
R.E.条件独立公理化。 埃里克·帕奎特 , 阿瑟·保罗·佩德森 , Jan-Willem Romeijn公司 :
什么时候一个例子是反例? 巴塞尔·塔布什 :
同意决策:用反事实进行分析。 罗迪卡·博齐亚努 , 卡塔琳·迪马 , 康斯坦丁埃纳 :
用同步和完美回忆语义学对认知mu-calculus进行模型检验。 托本·布拉纳 :
错误信念任务中的混合逻辑推理。 汉斯·范·迪特马什 , 杰罗姆·朗 , 阿卜杜拉·萨菲丁 :
战略投票和知识逻辑。 扬·范·埃伊克 :
PDL作为多代理策略逻辑。 约瑟夫·哈珀(Joseph Y.Halpern) , 拉斐尔山口 :
半透明玩家的博弈论。 蒂瓦达尔·帕帕伊 , 亨利·A·考茨 , 丹尼尔·斯特凡科维奇 :
模态逻辑K45、KD45和S5的最大熵原理推理。 杰里米·塞利格曼 , 刘芬荣 , 帕特里克·吉拉德 :
脸书和友谊的认知逻辑。 冢田康树 , 樱田秀树 , 肯·马诺 , 吉福米·马纳贝 :
关于匿名和隐私的合成推理的认知方法。