2016年第32届ICLP:美国纽约市
曼纽尔·卡罗 , 安迪·金 , 内达·赛德洛伊 , 玛丽娜·德沃斯 :
2016年10月16日至21日,第32届逻辑编程国际会议技术交流,ICLP 2016 TC,美国纽约市。 OASIcs公司 52, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2016 ,十亿 978-3-95977-007-1
-
前言,目录,前言,作者列表。 0:i-0:xvi 本杰明·苏斯曼 , 尤利亚·利勒 :
基于SMT的约束答案集求解器EZSMT(系统描述)。 1:1-1:15 马丁·格布瑟 , 罗兰·卡明斯基 , 本杰明·考夫曼 , 马克斯·奥斯特罗斯基 , 托尔斯滕·绍布 , 菲利普·万科 :
Clingo 5简化了理论求解。 2:1-2:15 罗梅罗 , 托尔斯滕·绍布 , 菲利普·万科 :
计算各种最优稳定模型。 3:1-3:14 克里斯托弗·布伦顿 , 沃尔夫冈·费伯 , 索蒂里斯·巴萨基斯 :
定性时空推理的答案集编程:方法与实验。 4:1-4:15 乔里·博曼森 , 马丁·格布瑟 , 托米·詹胡宁 :
重写应答集程序中的优化语句。 5:1-5:15 克里斯托弗·贝亚特里克斯 , 克莱尔·莱夫维尔 , 劳伦特·加西亚 , 伊戈尔·斯特芬 :
基于规则的答案集计算中的对正和块集。 6:1-6:15 弗拉基米尔·利夫希茨 :
智能实例化和超安全规则。 7:1-7:14 Tran Cao儿子 , 恩里科·蓬泰利 , 迈克尔·盖尔丰德 , 马塞洛·巴尔杜奇尼 :
用于推理Agent语句真实性的答案集编程框架。 8:1-8:4 马丁·格布瑟 , 罗兰·卡明斯基 , 本杰明·考夫曼 , 帕特里克·吕恩 , 罗梅罗 , 托尔斯滕·绍布 :
广义学习约束下的答案集求解。 9:1-9:15 贝西克·邓杜 , Temur Kutsia公司 , 克劳斯·雷森伯格-哈迈耶 :
P-rho-Log:将逻辑编程与条件转换系统相结合。 10:1-10:5 路易斯·克鲁斯·菲利佩 :
固定固定点和活动完整性约束。 11:1-11:14 猫兄弟 , 尤利亚·利勒 :
约束CNF:SAT和CSP语言在同一屋檐下。 12:1-12:15 格雷姆恒河 , 彼得·J·斯塔基 :
通过抽象编译对新类型进行约束传播和解释。 13:1-13:14 英格玛·达塞维尔 , 马蒂亚斯·范德哈伦 , Bart Bogaerts公司 , 格尔达·詹森 , 马克·德纳克 :
具有定义的组合类型高阶逻辑。 14:1-14:13 阿伦·南帕利 , C.R.Ramakrishnan(罗马克里希南) :
概率逻辑程序中使用提升解释的推理。 15:1-15:15 米歇尔·古兹曼 , 弗兰克·D·瓦伦西亚 :
论空间约束系统的表达性。 16:1-16:12 约阿金·阿里亚斯 :
表中CLP用于推理超流数据。 17:1-17:8 米盖尔·伊莎贝尔 :
并发程序测试。 18:1-18:5 田田高 :
用于知识表示和推理的受控自然语言。 19:1-19:10 亚历山大·范登布鲁克 :
高级逻辑程序设计的功能观点。 20:1-20:8 书评家富兰克 :
实践中解决极端问题的方法。 21:1-21:6 卓晨 :
使用答案集编程实现疾病管理自动化。 22:1-22:10 菲利普·万科 :
通过答案集编程进行可扩展的设计空间探索。 23:1-23:11