×
博加茨，巴特（编辑）;埃斯拉·埃尔登（编辑）;保罗·福多（编辑）;安德烈亚·福米萨诺（编辑）;乔瓦姆巴蒂斯塔·伊安尼（编辑）;达尼埃拉·因利赞（编辑）;Vidal，德语（编辑）;艾丽西亚·维拉纽埃娃（编辑）;玛丽娜·德沃斯（编辑）;杨芳凯（编辑）

第35届逻辑编程（技术通信）国际会议记录，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。 （英语） Zbl 1464.68003号

理论计算机科学电子论文集（EPTCS）306.滑铁卢：开放出版协会（OPA）。第460页。，仅电子、开放存取（2019年）。

将索引文章显示为搜索结果。

引言：本卷包含2019年9月20日至25日在美国新墨西哥州拉斯克鲁塞斯举行的第35届逻辑编程国际会议（ICLP 2019）的技术交流和博士联盟论文。
对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1407.68027号].
索引文章：
法尔科·诺加茨；菲利普·科纳；塞巴斯蒂安·克林斯，Prolog编码指南：状态和工具支持，8-21[兹比尔07453099]
陶佩，理查德；Schekotihin、Konstantin；Peter Schüller；安东尼乌斯·温齐尔；格哈德·弗里德里希，在ASP的声明性领域特定启发式中利用部分知识，22-35[Zbl 07453100号]
乔昂·巴博萨；马里奥弗洛里多；维托尔·桑托斯·科斯塔，类型化逻辑编程的三值语义，36-51[Zbl 07453101号]
迈克尔·莫拉克《认识逻辑程序：不同的世界观》，52-64[Zbl 07453102号]
Sarthak Ghosh；罗马克里希南，C.R。，概率逻辑程序中信息的价值，71-84[Zbl 07453105号]
克雷格·奥尔森；尤利亚·利勒，信息提取工具文本2胶片：从叙事到动作语言系统描述，87-100[Zbl 07453107号]
阿德里安·胡森（Adrien Husson）；吉恩·克里文，《分子生物学的一个易处理逻辑》，101-113[兹布尔07453108]
王斌；沈军；张树涛；张志正，关于\（\mathrm{LP^{MLN}}\）程序的强等价性，114-125[Zbl 07453109号]
达尼埃拉·因利赞,RestKB（重置KB）：关于餐厅用餐常识的图书馆，126-139[Zbl 07453110号]
间谍，大卫；你，嘉惠；Ryan海沃德，互斥图和多液相：减少规划接地尺寸，140-153[Zbl 07453111号]
圣地亚哥埃斯科瓦尔；朱莉娅·萨皮娜，最通用的变体统一器，154-167[Zbl 07453112号]
马特乌斯·拉扬斯基；萨尔瓦多Abreu；格列戈兹·奈勒帕（Grzegorz J.Nalepa）。，使用合成逻辑程序生成局部搜索邻域，168-181[Zbl 07453113号]
吕道明；杨芳凯；刘波；史蒂文·古斯塔夫森，通过逻辑编程实现的以人为中心的数据驱动规划器-因素-关键体系结构，182-195年[Zbl 07453114号]
文森特·巴里查德；伊戈尔·斯特芬，量化约束处理规则，210-223[Zbl 07453115号]
保罗·塔劳（Paul Tarau）；Wielemaker，Jan；汤姆·施里杰弗斯，序言中的惰性流编程，224-237[Zbl 07453116号]
Tekle，K.通凯；刘燕红A。，《否定的扩展魔法：具有精确复杂性保证的分层数据日志的高效需求驱动评估》，241-254[Zbl 07453118号]
卡洛·扎尼奥洛；达斯，阿里亚姆；顾家奇；李明达；李有福；王，金，递归程序中的预映射约束，255-258[Zbl 07453119号]
达科尔，贾科莫；埃里希·特潘谷歌vs IBM：job-shop调度问题的约束求解挑战，259-265[Zbl 07453120号]
费利西达·阿瓜多；佩德罗·卡巴拉尔；豪尔赫·范丁诺；穆尼兹，布雷斯；佩雷斯，吉尔伯托；弗朗西斯科·苏亚雷斯，一个基于规则的系统，用于肝脏移植中可解释的供需匹配，266-272[Zbl 07453121号]
达斯，阿里亚姆；李有福；王，金；李明达；卡洛·扎尼奥洛，BigData应用程序，从图形分析到递归聚合的机器学习，273-279[Zbl 07453122号]
Nguyen，Van Duc；儿子Tran Cao；恩里科·蓬泰利，为非专业用户生成自然语言，280-294[Zbl 07453123号]
塔里克·哈立德；贝拉伊德·本哈穆，同步和异步布尔网络中基于ASP的吸引子枚举方法，295-301[Zbl 07453124号]
刘、刘；米罗斯瓦·特鲁什琴斯基，用ASP解决哈密顿循环问题的编码选择，302-308[Zbl 07453125号]
尼科斯·安杰洛普洛斯；Wielemaker，简，大数据生物分析进展，309-322[Zbl 07453126号]
维尔奇斯·麦地那（Vilchis Medina）、何塞·路易斯（JoséLuis）；皮埃尔·西格尔（Pierre Siegel）；Vincent Risch；安德烈·顿塞斯库323-329，非单调逻辑在电动滑橇嵌入式计算机中的实现[Zbl 07453127号]
阿贝尔·迪乌布；斯特凡妮娅·科斯坦蒂尼；弗朗西丝卡·莉西。，通过逻辑编程实现道德机器，333-339[Zbl 07453129号]
瓦伦蒂娜·皮托尼；斯特凡妮娅·科斯坦蒂尼，逻辑框架的时态模块，340-346[Zbl 07453130号]
加西亚·马塔（García-Mata），卡门·莱蒂西亚（Carmen Leticia）；马尔克斯-古铁雷斯，佩德罗·拉斐尔，使用答案集编程解决flowshop调度问题：利用该问题减少组合数，347-353[Zbl 07453131号]
尤素福·伊兹米利奥格鲁，使用答案集编程推理扩展对象之间的定性方向和距离，371-378[Zbl 07453140号]
法哈德·沙克林，非单调逻辑程序的归纳，以解释统计学习模型，379-388[Zbl 07453141号]
高，田田，知识创作和KALM问答，389-395[Zbl 07453142号]
金加尔巴苏，对话人工智能：开放领域问答和常识推理，396-402[Zbl 07453143号]
弗朗西斯科·法比亚诺，多智能体认知规划求解器的设计，403-412[兹伯利07453144]
萨拉特·钱德拉·瓦拉纳西，从答案集程序合成强制性程序，413-417[Zbl 07453145号]
罗，曼，LPMLN程序的强等价性，418-419[Zbl 07453146号]
弗朗西斯科·帕琴察，高度反应环境中的推理，420-426[Zbl 07453147号]
法比奥·塔迪沃，在GPU上进行约束编程实验，427-432[兹伯利07453148]
马特乌什·希拉·扬斯基，局部搜索邻域算子自动合成研究报告，433-440[Zbl 07453149号]
马尔科·德·博托利，分布式答案集着色：通过图着色进行稳定模型计算，441-451[Zbl 07453150号]
瓦伦蒂娜·皮托尼，资源型代理中的内存管理，452-460[Zbl 07453151号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68N17号 逻辑编程
00B25型 杂项特定利益的会议记录

引文：

Zbl 1407.68027号
PDF格式BibTeX公司 XML格式引用
\textit{B.Bogaerts}（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）（2019；Zbl 1464.68003）
全文： DOI程序 arXiv公司 链接