2017年第33届ICLP:澳大利亚墨尔本
里卡多·罗查 , Tran Cao儿子 , 克里斯托弗·米尔斯 , 内达·赛德洛伊 :
2017年8月28日至9月1日在澳大利亚墨尔本举行的第33届逻辑编程国际会议的技术交流。 OASIcs公司 58, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2018 ,国际标准图书编号 978-3-95977-058-3
前言、目录、前言、会议组织。 0:i-0:xii 韦罗尼卡·T·阿德里安 , 马可·曼纳 , 尼古拉·利昂 , 乔瓦尼·阿蒙多拉 , 马雷克·阿德里安 :
通过ASP从Web扩展实体集。 1:1-1:5 马里奥·阿尔维亚诺 :
Pyglaf论证推理机。 2:1-2:3 乔瓦尼·阿蒙多拉 , 尼古拉·利昂 , 马可·曼纳 , 皮尔弗朗西斯科·维尔特里 :
Datalog+/-中匿名性的推理。 3:1-3:5 Melisachew Wudage Chekol公司 , 海纳·斯塔肯施密特(Heiner Stuckenschmidt) :
基于规则的时间推理。 4:1-4:14 迈克尔·科迪什 , 书评家富兰克 , 阿米特·梅托迪 , 莫拉德·穆斯利马尼 :
Max-Clique逻辑编程及其在图形着色中的应用(工具描述)。 5:1-5:18 迈克尔·哈纳斯 :
声明性包管理器中的语义版本控制检查。 6:1-6:16 丹妮拉·伊普里赞 , 张庆林 , 马塞洛·巴尔杜奇尼 , 安库什·伊斯兰尼 :
使用ASP意图理论理解餐厅故事。 7:1-7:4 罗尔夫·施维特 :
通过概率逻辑编程学习效果公理。 8:1-8:15 娜塔莉亚·斯图洛娃 , 何塞·F·莫拉莱斯 , 曼纽尔·埃尔梅内吉尔多 :
通过术语隐藏简化运行时检查。 9:1-9:3 保罗·塔劳 :
翻新Prolog机器的搭车指南。 10:1-10:16 能发周 , 罗曼·巴塔克 :
//Picat中用于最优多代理路径查找的高效声明性解决方案。 11:1-11:2 伯恩哈德·布莱姆 :
非接地答案集求解中的树宽和图中的联盟问题。 12:1-12:12 田田高 :
使用受控自然语言实现高质量的知识获取。 13:1-13:10 杰森·赫曼 , 丹尼尔·弗里德曼 , 威廉·伯德 , 马修·米特 :
逻辑编程的简单完整搜索。 14:1-14:8 娜塔莉亚·斯图洛娃 :
改进动态语言中的运行时检查。 15:1-15:10
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)