2016年9月15日:南非开普敦
奇塔·巴拉尔 , 詹姆斯·德尔格兰德 , 弗兰克·沃尔特 :
《知识表示和推理原则:第十五届国际会议论文集》,2016年4月25日至29日,南非开普敦,KR 2016。 AAAI出版社 2016 ,国际标准图书编号 978-1-57735-755-1
全文: 论证
莱拉·阿姆古德 , 乔纳森·本·奈姆 :
可接受语义的公理基础。 2-11 莱拉·阿姆古德 , 乔纳森·本·奈姆 , Dragan Doder公司 , 斯尔詹·维西奇 :
使用基于补偿的语义对参数进行排序。 12-21 林戈·鲍曼 :
描述基于标签的语义的等价概念。 22-32 杰尔·德罗贝尔 , 阿德里安·哈雷 , 塞巴斯蒂安·科尼奇尼 , Jean-Guy Mailly女士 , 朱利安·罗西特 , 斯特凡·沃尔特兰 :
抽象论证框架的合并。 33-42 马西米利亚诺·贾科明 , 托马斯·林斯比勒 , 斯特凡·沃尔特兰 :
论论证语义学的功能完整性。 43-52 安东尼·亨特 , 马蒂亚斯·蒂姆 :
概率抽象论证中的部分信息和矛盾。 53-62 安东尼奥·拉戈 , 弗朗西斯卡·托尼 , 马可·奥里西奇奥 , 彼得罗·巴罗尼 :
无中断决策支持与定量论证辩论。 63-73
全文: 自动推理和计算
Bart Bogaerts公司 , 托米·詹胡宁 , 沙哈布·塔沙罗菲 :
声明性解决方案开发:案例研究。 74-83 萨伊德·贾布尔 , 岳马 , 巴德兰·拉德道伊 , 拉赫达尔·赛斯 , 雅库布沙利 :
基于分区的MIS不一致性度量框架。 84-93 乌穆特·奥斯托克 , 崔亚瑟 , 阿德南·达维切 :
求解PP 聚丙烯 -使用知识汇编完成问题。 94-103 保罗·赛科 , 约翰·彼得·沃纳 , 马蒂·贾维萨洛 :
用于NP以外推理的隐式命中集算法。 104-113 马蒂亚斯·蒂姆 , 约翰内斯·彼得·沃尔纳 :
关于不一致性度量的一些复杂性结果。 114-124
全文: 信念修正与非单调性
Glauber De Bona公司 , 马塞洛·芬格 , 马尔西奥·莫雷托·里贝罗 , 尤里·大卫·桑托斯 , 雷娜塔·瓦瑟曼 :
通过信念收缩巩固概率知识库。 125-134 里卡多·贡萨尔维斯 , 马蒂亚斯·克诺尔 , 乔·莱特 :
答案集编程中遗忘的终极指南。 135-144 李佐雄 , 王毅(Yi Wang) :
稳定模型语义下的加权规则。 145-154 马洛·苏扎 , 阿尔瓦罗·莫雷拉 , 雷娜塔·维埃拉 , 约翰·朱尔斯·查·梅耶 :
偏好和优先顺序:基于控制的研究。 155-165
全文: 决策理论,合理性
哈里斯·阿齐兹 , 保罗·哈伦斯坦 , 杰罗姆·朗 , 迈克尔·伍尔德里奇 :
布尔Hedonic游戏。 166-175 乌尔·恩德里斯 , 翁贝托·格兰迪 , 罗纳德·哈恩 , 杰罗姆·朗 :
判断聚合语言的简洁性。 176-186
全文: 描述逻辑
安德鲁·贝特 , 鲍里斯·莫提克 , Bernardo Cuenca Grau公司 , 弗兰蒂斯克·西蒙西克 , 伊恩·霍洛克斯 :
将基于结果的推理扩展到SRIQ。 187-196 梅亨·宾文努 , 里卡多·罗萨蒂 :
基于本体的数据访问中基于查询的映射比较。 197-206 皮埃尔·布赫斯 , 卡斯滕·卢茨 :
一元析取数据日志、MMSNP和表达式描述逻辑中的包含。 207-216 埃内斯托·吉梅内斯·鲁伊斯 , 特里·佩恩 , 亚历山德罗·索利曼多 , 瓦伦蒂娜A.M.塔玛 :
通过协商限制本体对齐中的逻辑冲突。 217-226 波利斯·寇涅夫 , Temur Kutsia公司 :
描述逻辑EL中概念的反统一。 227-236 Nhung Ngo公司 , 马格达莱娜·奥尔蒂斯 , 曼塔斯·西姆库斯 :
描述逻辑中的闭谓词:组合复杂性的结果。 237-246 塞巴斯蒂安·鲁道夫 :
非常表达的描述逻辑中受数据库启发的推理问题的不可解释性结果。 247-257
全文: 认识推理
本杰明·阿米诺夫 , 阿尼埃洛·穆拉诺 , 萨沙·鲁宾 , 弗洛里安·祖勒格 :
提示交替时间认识逻辑。 258-267 特里斯坦·查里尔 , 安德烈亚斯·赫齐格 , 埃米利亚诺·洛里尼 , 福斯汀·马弗尔 , 弗朗索瓦·施瓦岑特鲁伯 :
从观察和公开宣布中建立认识逻辑。 268-277 约瑟夫·哈珀(Joseph Y.Halpern) , 拉斐尔·帕斯 :
不完全召回博弈中的序贯均衡。 278-287 格哈德·莱克梅耶 , 赫克托·J·列夫斯克 :
带函数符号的有限信念逻辑中的可判定推理。 288-297 阿莱西奥·洛穆西奥 , 雅库布·米查利辛 :
使用正则表达式根据认知HS规范对多代理系统进行模型检查。 298-308
全文: 知识表示与数据管理
塞尔吉奥·阿布里奥拉 , 巴勃罗·巴塞洛 , 迭戈·菲奎拉 , 圣地亚哥·菲格雷拉 :
数据图上的互模拟。 309-318 亚历山大·博吉达 , 大卫·托曼 , 格兰特·韦德尔 :
一阶知识库上问答中的指称表达式。 319-328 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 毛里齐奥·伦泽里尼 , 莫舍·瓦尔迪 :
常规开放API。 329-338 伊斯梅尔·伊尔坎·塞兰 , 阿德南·达维切 , 盖·范登·布勒克 :
开放式世界概率数据库。 339-348 Marco控制台 , 保罗·瓜利亚多 , 列奥尼德·利布金 :
通过多值逻辑对某些答案进行逼近和精化。 349-358 托马斯·艾特 , 托马斯·卢卡西维茨 , 利维亚·普雷多尤 :
存在规则下的广义一致性查询回答。 359-368 罗曼·孔查科夫 , 埃戈尔·柯斯特列夫 :
SPARQL中非单调算子的可表达性。 369-379
全文: 规划、策略和诊断
瓦夏克·贝勒 , 赫克托·J·列夫斯克 :
无界随机域中广义规划的基础。 380-389 朱利安·古铁雷斯 , 朱塞佩·佩雷利 , 迈克尔·伍尔德里奇 :
反应模块博弈中的不完全信息。 390-400
全文: 关于行动、因果关系的推理
亚历山大·波奇曼 :
论不确定因果关系的逻辑和语义。 401-410 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 马可·蒙塔利 , 法比奥·帕特里齐 :
形势演算行动理论上的一阶微积分。 411-420 罗志毅 , 雨辰沙 , Kenny Q.Zhu(肯尼·朱) , Seung-won黄 , 王中原 :
短文之间的常识性因果推理。 421-431
全文: 时间和空间推理
让-弗朗索瓦·康多塔 , 伊萨姆·努瓦乌里 , 迈克尔·西奥蒂斯 :
定性时空约束网络中最大化可满足性的SAT方法。 432-442 Jean-François Condotta女士 , 巴德兰·拉德道伊 , 雅库布沙利 :
量化时空信息的冲突。 443-452 罗纳德·哈恩 , 斯特凡·塞德尔 :
时序逻辑符号模型检查的参数化复杂度结果。 453-462 致国龙 , 史蒂文·肖克尔特 , 李三江 :
使用矩形伪解对大型RCC8场景进行编码。 463-472 阿尔贝托·莫利纳里 , 安吉洛·蒙塔纳里 , 阿德里亚诺·佩隆 , 彼得罗·萨拉 :
模型检查HS的完好碎片:(几乎)最终图片。 473-483
全文: 不确定性
玛格达莱娜·伊万诺夫斯卡 , 奥顿·约桑 , 弗朗西斯科·桑博 :
主观观点的贝叶斯演绎。 484-493 托马斯·卢卡塞维奇 , 玛丽亚·瓦妮娜·马丁内斯 , 大卫·普尔 , 杰拉尔多·伊格纳西奥·西马里 :
加权排序上的概率模型:固定参数可牵引变量消去。 494-504
短文
穆罕纳德·奥马里 , 埃里斯·切内利亚托 , 伊安妮斯·加特苏利斯 , 大卫·C·霍格 , 安东尼·科恩 :
视频中物体特征和动作的文本描述的无监督基础。 505-508 奥弗·阿里埃利 , 克里斯蒂安·斯特拉 :
最大一致性推理的论证方法。 509-512 Jean-François Baget女士 , 塞勒姆·本费哈特 , 齐德·布劳伊 , Madalina克罗地亚 , 玛丽·劳雷·穆格尼尔 , 奥迪尔·帕皮尼 , 斯旺·罗彻 , 卡里姆·塔比亚 :
基于修改器的通用不一致查询应答框架。 513-516 比塔·巴尼哈希米 , 朱塞佩·德贾科莫 , 伊夫·莱斯佩伦斯 :
在线情境决定代理及其监督。 517-520 彼得罗·巴罗尼 , 圭多总督府 , Ho-Pun Lam公司 , 雷吉斯·里维雷特 :
论论证推理中语句的正当性。 521-524 林戈·鲍曼 , 汉内斯·斯特拉斯 :
描述基于逻辑的知识表示形式化中强等价性的抽象逻辑方法。 525-528 大卫·布赫曼 , 大卫·普尔 :
概率逻辑程序设计中的无否定否定。 529-532 阿诺焦油醇 , 佐尔坦·埃西克 :
井底不动点的方程性质分析。 533-536 乔瓦尼·卡西尼 , 托马斯·安德烈亚斯·迈耶 :
使用可延迟信息获得一致性。 537-540 费德里科·塞鲁蒂 , 毛罗·瓦拉蒂 , 马西米利亚诺·贾科明 :
jArgSemSAT:一种高效的抽象论证框架的非自助求解器。 541-544 卢卡斯·克尔帕 , 罗曼·巴塔克 :
通过基于过渡的域控制知识指导规划引擎。 545-548 克里斯蒂约纳斯·塞拉斯 , 肯·佐藤 , 弗朗西斯卡·托尼 :
基于事例推理的抽象论证。 549-552 克里斯蒂约纳斯·塞拉斯 , 弗朗西斯卡·托尼 :
ABA+:基于假设的偏好论证。 553-556 冯军 , 黄敏莉(Minlie Huang) , 王明东 , 周曼通 , 于浩 , 朱晓燕 :
基于灵活翻译的知识图嵌入。 557-560 赛义德·梅赫兰·卡泽米 , 大卫·普尔 :
提升概率推理的知识编译:编译为低级语言。 561-564 沙基尔·汗 , 伊夫·莱斯佩伦斯 :
情境演算中的无限路径:公理化和性质。 565-568 佩特拉·库宾科娃 , 贾恩·克鲁卡 , 马丁·霍莫拉 :
带实例化元建模的表达描述逻辑。 569-572 多梅尼科·伦博 , 丹尼尔·潘塔莱翁 , 瓦莱里奥·桑塔雷利 , 多梅尼科·法比奥·萨沃 :
使用Graphol可视化本体语言轻松绘制OWL。 573-576 毛里齐奥·伦泽里尼 , 洛伦佐·勒波尔 , 安东内拉·波吉 :
OWL 2 QL中元查询的高阶语义。 577-580 罗伊·罗 , 理查德·安东尼·瓦伦扎诺 , 李毅 , J.克里斯托弗·贝克 , Sheila A.McIlraith女士 :
使用度量时态逻辑来指定调度问题。 581-584 莫妮卡·马丁内斯 , 雪绒花 , 保拉·塞弗里 :
描述逻辑ALCM的复杂性。 585-588 Özgür LütfüÖzçep公司 :
本体修正的最小假设。 589-592 西奥多·帕科斯 , 安东尼斯·比卡基斯 , Giorgos Flouris公司 :
社交网络评论的多方面评估框架。 593-596 瓦桑特·萨拉西 , Matthias Scheutz公司 :
不确定逻辑中的认知负担表征。 597-600 尼古拉斯·施温德 , 冈本腾达 , 马克西姆·克莱门特 , 井上胜美 :
多目标约束优化问题的代表性解决方案。 601-604 Tran Cao儿子 , 恩里科·蓬泰利 , 迈克尔·盖尔丰德 , 马塞洛·巴尔杜奇尼 :
使用答案集编程推理代理的真实性。 605-608
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)