ICLP2019:美国新墨西哥州拉斯克鲁塞斯-技术通信
Bart Bogaerts公司 , 伊斯娃·爱德姆 , 保罗·福多 , 安德烈亚·福米萨诺 , 乔瓦姆巴蒂斯塔·伊安尼 , 丹妮拉·伊普里赞 , 格尔曼·维达尔 , 艾丽西娅·维拉纽埃娃 , 玛丽娜·德沃斯 , 杨方凯 :
第35届逻辑编程国际会议(技术通信),ICLP 2019技术通信,美国新墨西哥州拉斯克鲁塞斯,2019年9月20日至25日。 EPTCS公司 306, 2019 法尔科·诺加茨 , 菲利普·科纳 , 塞巴斯蒂安·克林斯 :
Prolog编码指南:状态和工具支持。 8-21 理查德·陶佩 , 康斯坦丁·舍科提欣 , 彼得·施勒 , 安东尼乌斯·温齐尔 , 格哈德·弗里德里希 :
在ASP的声明性领域特定启发式中利用部分知识。 22-35 乔·巴博萨 , 马里奥·弗洛里多 , 维托尔·桑托斯·科斯塔 :
类型化逻辑程序设计的三值语义。 36-51 迈克尔·莫拉克 :
认识逻辑程序:不同的世界观。 52-64 萨塔克·戈什 , C.R.Ramakrishnan(罗马克里希南) :
概率逻辑程序中信息的价值。 71-84 克雷格·奥尔松 , 尤利亚·利勒 :
信息提取工具文本2ALM:从叙述到行动语言系统描述。 87-100 阿德里安·胡森 , 让·克里文 :
分子生物学的可追踪逻辑。 101-113 Bin Wang(王斌) , 沈钧(音) , 张树涛 , Zhizheng Zhang(张志正) :
关于LPMLN程序的强等价性。 114-125 丹妮拉·伊普里赞 :
RestKB:关于餐厅用餐的常识库。 126-139 大卫·斯皮斯 , 嘉惠游 , 赖安·海沃德 :
多重图和多重流:减少规划的接地尺寸。 140-153 圣地亚哥·埃斯科瓦尔 , 朱莉娅·萨皮尼亚 :
大多数通用变型制服。 154-167 马特乌斯·斯拉津斯基 , 萨尔瓦多·阿布鲁 , 格里戈兹·J·纳勒帕 :
用合成逻辑程序生成局部搜索邻域。 168-181 吕道明 , 杨芳凯 , 刘波(Bo Liu) , 史蒂文·古斯塔夫森 :
通过逻辑编程实现的以人为中心的数据驱动规划器关键体系结构。 182-195 李佐雄 , 曼洛 :
LPMLN程序的强等价性。 196-209 文森特·巴里查德 , 伊戈尔·斯特芬 :
量化约束处理规则。 210-223 保罗·塔劳 , Jan Wielemaker公司 , 汤姆·施里杰弗斯 :
Prolog中的惰性流编程。 224-237 K.Tuncay Tekle公司 , 杨红A.刘 :
否定的扩展魔法:以需求驱动的分层数据日志高效评估,具有精确的复杂性保证。 241-254 贾科莫·达科尔 , 埃里希·特潘 :
谷歌vs IBM:Job-Shop调度问题的约束求解挑战。 259-265 费利西达·阿瓜多 , 佩德罗·卡巴拉尔 , 豪尔赫·范丁诺 , 布雷斯·穆尼兹 , 吉尔伯托·佩雷斯 , 弗朗西斯科·苏亚雷斯 :
肝移植中基于规则的供者-患者匹配解释系统。 266-272 阿里亚姆·达斯 , 李有福 , 金旺(Jin Wang) , 李明达 , 卡洛·扎尼奥洛 :
从图分析到递归聚合机器学习的大数据应用。 273-279 范德阮(Van Duc Nguyen) , Tran Cao儿子 , 恩里科·蓬泰利 :
非专业用户的自然语言生成。 280-294 塔里克·哈立德 , 贝拉伊德·本哈穆 :
同步和异步布尔网络中基于ASP的吸引子枚举方法。 295-301 刘柳 , 米罗斯瓦·特鲁兹琴斯基 :
用ASP.NET求解哈密顿循环问题的编码选择。 302-308 尼科斯·安杰洛普洛斯 , Jan Wielemaker公司 :
大数据生物分析进展。 309-322 何塞·路易斯·维尔奇斯·麦地那 , 皮埃尔·西格尔 , 文森特·里奇 , 安德烈·唐塞斯库 :
在嵌入式计算机中为电动滑橇实现非单调逻辑。 323-329 阿贝尔·迪乌布 , 斯蒂芬妮娅·科斯坦蒂尼 , 弗朗西丝卡·A·利西 :
通过逻辑编程走向道德机器。 333-339 瓦伦蒂娜·皮托尼 , 斯蒂芬妮娅·科斯坦蒂尼 :
逻辑框架的时态模块。 340-346 卡门·莱蒂西亚·加西亚·马塔 , 佩德罗·拉斐尔·马尔克斯-古铁雷斯 :
用答案集编程解决Flowshop调度问题:利用该问题减少组合数。 347-353 优素福·伊兹米利奥格鲁 :
使用答案集编程推理扩展对象之间的定性方向和距离。 371-378 法哈德·沙克林 :
非单调逻辑程序的归纳以解释统计学习模型。 379-388 田田高 :
KALM:一种基于规则的知识创作和问答方法。 389-395 金贾尔巴苏 :
对话人工智能:开放领域问题解答和常识推理。 396-402 弗朗西斯科·法比亚诺 :
多智能体认知规划求解器的设计。 403-412 萨拉特·钱德拉·瓦拉纳西 :
基于答案集程序的强制程序合成。 413-417 弗朗西斯科·帕琴察 :
高度反应环境中的推理。 420-426 法比奥·塔迪沃 :
在GPU上进行约束编程的实验。 427-432 马特乌什·斯拉钦斯基 :
局部搜索邻域算子自动合成研究报告。 433-440 马尔科·德博托利 :
分布式答案集着色:通过图着色进行稳定模型计算。 441-451 瓦伦蒂娜·皮托尼 :
基于资源的代理中的内存管理。 452-460