2017年第一建筑展:瑞典哥德堡
贾尔斯·雷格尔 , 德米特里·特雷特尔 :
2017年8月6日,瑞典哥德堡,ARCADE,第一届自动推理国际研讨会:挑战、应用、方向、示范成就。 EPiC计算系列 51, Easy椅子 2017 贾尔斯·雷格尔 , 德米特里·特雷特尔 :
2017年ARCADE报告。 1-5 埃里卡·阿布拉哈姆 , 约翰·阿伯特 , 伯恩德·贝克尔 , 安娜·玛丽亚·比加蒂 , 马丁·布莱恩 , 亚历山德罗·西马蒂 , 詹姆斯·达文波特 , 马修·英格兰 , 帕斯卡·方丹 , 史蒂文森·弗里斯特 , 维杰·加内什 , 阿尔贝托·格里乔 , 丹尼尔·克罗宁 , 沃纳·M·塞勒 :
SC平方:当可满足性检查和符号计算合力时。 6-10 西蒙·克鲁安斯 :
使自动定理证明程序更加通用。 11-15 贾斯敏·克里斯蒂安·布兰切特 , 帕斯卡·方丹 , 斯蒂芬·舒尔茨 , 乌韦·沃尔德曼 :
实现快速交互验证的强大高阶自动化。 16-23 玛丽亚·保拉·博纳西纳 :
可解释人工智能的自动推理。 24-28 斯蒂芬·舒尔茨 :
我们几乎什么都不知道! l但我们可以学习吗? 29-32 约瑟夫·乌尔班 :
CADE/IJCAR的AI。 33-36 雷内·哈内尔 , 玛丽克·赫斯曼 :
演绎软件验证中的24个挑战。 37-41 J斯特罗瑟·摩尔 , Marijn J.H.鞋垫 :
ACL2的工业应用:应用、成就、挑战和方向。 42-45 伯特伦·费尔根豪尔 :
超越DRAT:认证UNSAT的挑战。 46-50 Marijn鞋跟 , 本杰明·基尔 :
基于干扰的证明系统的潜力。 51-54 贾尔斯·雷格尔 , 马丁·苏达 :
一阶定理证明的可检验证明。 55-63 戈帕尔·古普塔 , 埃尔默·萨拉查 , 凯尔·马普尔 , 卓晨 , 法哈德·沙克林 :
查询驱动谓词答案集编程实例。 64-68 安德鲁·雷诺兹 :
SMT中快速合成程序的挑战。 69-75 克里斯托夫·魏登巴赫 :
投资组合解决方案有害吗? 76-81
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)