2018年第34届ICLP:英国牛津
亚历山德罗·达尔·帕洛 , 保罗·塔劳 , 内达·赛德洛伊 , 保罗·福多 :
第34届逻辑程序设计国际会议技术交流,2018年7月14日至17日,英国牛津。 OASIcs公司 64, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2018 ,国际标准图书编号 978-3-95977-090-3 前言、目录、前言、会议组织。 0:i-0:xi 帕特里克·托尔·卡尔 , 安东尼·勒克莱尔 :
具有世界观约束的认识逻辑程序。 1:1-1:17 法哈德·沙克林 , 戈帕尔·古普塔 :
基于累积评分的违约理论归纳。 2:1-2:15 Zhizheng Zhang(张志正) :
反思答案集编程中的偏好。 3:1-3:13 伊戈尔·斯特芬 :
CHR的一种新的证明理论线性语义。 4:1-4:17 纳达·沙拉夫 , 苗条的阿卜杜纳德 , 托姆·W·福吕维思 :
CHR^vis:语法和语义。 5分5秒20秒 乔安娜·科尔特·雷尔 , 安东·德里斯 , 因斯杜特拉 , 里卡多·罗查 :
提高概率逻辑模型的候选质量。 6:1-6:14 伊莎贝尔·加西亚-孔特拉斯 , 何塞·F·莫拉莱斯 , 曼努埃尔·V·赫梅内吉尔多 :
面向增量和模块化上下文敏感分析。 7:1-7:2 费德里科·伊格内 , 阿戈斯蒂诺·多维尔 , 恩里科·蓬泰利 :
MASP-Reduce:稳定模型分布式计算的建议。 8:1-8:4 卡洛·扎尼奥洛 , 莫汉·杨 , 马泰奥·英特兰迪 , 阿里亚姆·达斯 , 亚历山大·什卡普斯基 , 泰森·康迪 :
带极值的数据日志中的声明算法:简化了它们的形式语义。 9:1-9:3 马克西米利亚诺·克莱门 , 娜塔莉亚·斯图洛娃 , 佩德罗·洛佩斯·加西亚 , 何塞·F·莫拉莱斯 , 曼纽尔·埃尔梅内吉尔多 :
带运行时检查的程序的静态性能保证。 10:1-10:2 大神 , 尤利亚·利勒 :
基于SMT的答案集求解器CMODELS(DIFF)(系统描述)。 11:1-11:15 吴旭淳 , 亚历山德拉·拉索 , 马克定律 , 井上胜美 :
通过互动对话学习常识。 12:1-12:19 Bram Aerts公司 , Joost Vennekens公司 :
基于逻辑的方法在机械零部件设计中的应用。 13:1-13:15 范德阮(Van Duc Nguyen) , Tran Cao儿子 , 恩里科·蓬泰利 :
Web服务工作流的解释生成。 14:1-14:3 王毅(Yi Wang) :
概率动作语言pBC+。 15:1-15:12 艾米丽·C·勒布朗 :
通过对行动和变化的推理来解释实际因果关系。 16:1-16:11 准扬 :
将P-log、LPMLN、LPOD和CR-Prolog2转换为标准答案集程序。 17:1-17:11 弗兰蒂斯克·法卡 :
编程语言精化的证明相关解决方案。 18:1-18:9 阿林达姆·米特拉 :
自然语言理解和问题回答的学习-知识推理范式。 19:1-19:6 理查德·陶佩 :
加快懒惰接地答案集的解决。 20:1-20:9 田田高 :
通过受控自然语言进行知识创作和问答。 21:1-21:8 范德阮(Van Duc Nguyen) :
使用语法框架从本体论生成自然语言。 22:1-22:7 菲利佩·古韦亚 , Inés Lync公司 , 佩德罗·蒙泰罗 :
使用基于逻辑的工具对逻辑调控网络进行模型修订。 23:1-23:10 菲利普·奥伯迈耶 :
具有答案集编程的可扩展机器人物流内部。 24:1-24:5
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)