×
托马斯·艾特（编辑）;大卫·桑兹（编辑）

LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。 （英语） Zbl 1398.68026号

EPiC计算系列46.曼彻斯特：EasyChair。第522页。，开放存取（2017）。

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

出版商描述：本卷包含LPAR-21：第21届国际编程逻辑、人工智能和推理（LPAR-21），于2017年5月8日至12日在博茨瓦纳Maun的Cresta Riley酒店举行。
在征集论文后，LPAR-21收到了68份摘要，最终提交了54份。每份提交文件均由48名项目委员会（PC）成员组成的小组进行审查。PC得到了47名其他评审员的协助，并决定接受30篇论文。除了介绍这些定期文件外，LPAR-21还包括以下应邀会谈：
–Rupak Majumdar（德国马克斯·普朗克软件系统研究所）：通过组合过滤器编程
–Stephen Muggleton（英国伦敦帝国理工学院）：逻辑程序的元解释学习
–Willem Visser（南非斯特伦博什大学）：概率符号执行：一种新的锤子
以及七次简短会谈，介绍更多文件。
EasyChair系统为与审查过程、会议记录制作、程序和网页生成以及参与者注册相关的所有事项提供了一个不可或缺的平台。
与LPAR-21合作举办的是第十二届逻辑实现国际研讨会（IWIL），由Stephan Schulz、Geoff Sutcliffe和Josef Urban组织。
当地会议组织由杰夫·萨克利夫负责。
对数学感兴趣的文章将单独复习。有关上一次会议，请参阅[Zbl 1326.68013号].
索引文章：
杰弗里·费舍尔。；鲁帕克·马朱姆达尔，通过组合过滤器进行编程，1-13[Zbl 1403.68023号]
Gleißner，托拜厄斯；亚历山大·斯蒂恩（Alexander Steen）；克里斯托夫·本兹穆勒，每个正规模态逻辑的定理证明器，14-30[Zbl 1403.68225号]
Gauthier，Thibault；塞萨里·卡利西克；约瑟夫·乌尔班，TacticToe:学会用HOL4战术推理，15-143[Zbl 1403.68224号]
本杰明·基尔（Benjamin Kiesl）；马丁·苏达（Martin Suda）；塞德尔，马蒂娜；汉斯·托姆皮茨（Hans Tompits）；阿明·比尔，一阶逻辑中的阻塞子句，31-48[Zbl 1403.68240号]
劳拉·科瓦奇（Laura Kovács）；安德烈·沃伦科夫，一阶插值和插值证明系统，49-64[Zbl 1402.03041号]
托拜厄斯·菲利普；阿德里安·雷博拉·帕多，关于带处理的不可满足性证明的语义，65-84[Zbl 1403.68244号]
Sarah Loos；杰弗里·欧文；塞格迪，克里斯蒂安；塞萨里·卡利西克，深度网络引导的证据搜索，85-105[Zbl 1403.68197号]
奥赞·卡拉马诺·乌拉尔，MELL中的深度验证搜索，106-124[Zbl 1402.03089号]
哈姆扎布尔布；加洛什，皮埃尔-洛奇；克利斯朵夫·加里恩；阿里·古芬克尔（Arie Gurfinkel）；Temesghen Kahsai；泽维尔·蒂里欧，状态流模型的自动分析，144-161[Zbl 1403.68122号]
鲍尔，萨宾；马丁·霍夫曼，可判定线性列表约束，181-199[Zbl 1403.68232号]
菲略、迪马斯·梅洛；弗雷德·弗雷塔斯；延斯·奥滕，RACCOON:描述逻辑的连接推理器\（\mathcal{ALC}\），200-211[兹比尔1403.68262]
Miika Hannula；Juha Kontine；林克，塞巴斯蒂安，关于夹杂物依赖性与独立原子的相互作用，212-226[Zbl 1403.68053号]
博加特，巴特；特诺夫斯卡，尤金尼亚；大卫·米切尔，模系统代数的传播子和解算器，227-248[Zbl 1403.68279号]
弗洛里安·弗洛恩（Florian Frohn）；吉尔根·吉斯尔，通过最内部的运行时复杂性分析运行时复杂性，249-268[兹比尔1403.68106]
埃曼纽尔·海因里；罗曼·佩乔，高阶复杂度的高阶解释，269-285[Zbl 1403.68032号]
Yazid M.Boumarafi。；Lakhdar Sais；雅库布Salhi，从SAT到最大独立集：刻画可处理类的新方法，286-299[Zbl 1403.68073号]
埃哈希德、拉希德；奥德·麦格南，使用重叠规则的并行图重写，300-318[Zbl 1403.68104号]
斯蒂法诺·比斯塔雷利；法比奥·马蒂内利；马图奇，伊利亚；弗朗西斯科·桑蒂尼，定量部分模型检验函数及其优化，319-337[兹比尔1403.68121]
德米特里·莫德维诺夫；格里戈里·费迪尤科维奇，同步约束Horn子句，338-355[Zbl 1403.68243号]
Temesghen Kahsai；Rody Kersten；菲利普·吕默；马丁·施瓦夫，面向对象程序的量化堆不变量，368-384[Zbl 1403.68126号]
吉尔·巴特；托马斯·埃斯皮托；本杰明·格雷戈里；徐，贾斯汀；Pierre-Yves支柱，通过自组合和耦合证明一致性和独立性，385-403[Zbl 1403.68140号]
马提亚斯·巴兹；Preining，诺伯特、哥德尔逻辑和FO-LTL的全装箱片段，404-416[Zbl 1402.03025号]
Ciabattoni，Agta；雷文莎·拉马纳亚克，分配子结构逻辑的束超连续计算，417-434[兹比尔1402.03029]
莱尔曼，比约恩；卡洛斯·奥拉特（Carlos Olarte）；伊莱恩·皮门特尔，具有模态的子结构逻辑的统一框架，435-455[Zbl 1402.03030号]
尼古拉·吉甘特（Nicola Gigante）；安吉洛·蒙塔纳里（Angelo Montanari）；马克·雷诺兹，一张单程树形的LTL+过去画面，456-473[Zbl 1402.03026号]
Jean-Pierre Jouannaud；Pierre-Yves支柱，没有类型转换的Coq：Coq模理论的完整证明，474-489[Zbl 1403.68227号]
塔克迪斯，Syeda Hira；格温·克莱恩，关于转换查找缓冲区的推理，490-508[Zbl 1403.68037号]
克鲁斯·菲利佩，路易斯；彼得·施奈德·坎普，形式化证明布尔毕达哥拉斯三元组猜想，509-522[兹比尔1403.68222]

引用于1审查
引用于1文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
03B70号 计算机科学中的逻辑
68T27型 人工智能中的逻辑
00B25型 杂项特定利益的会议记录

引文：

Zbl 1326.68013号

软件：

伊西查尔
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}（编辑）和\textit{D.Sands}（主编），LPAR-21。第21届编程逻辑、人工智能和推理国际会议，2017年5月8日至12日，博茨瓦纳毛恩。精选论文。曼彻斯特：EasyChair（2017；Zbl 1398.68026）
全文： 链接