×
吉尔·巴特（编辑）;杰夫·萨特克利夫（编辑）;玛格斯·维纳斯（编辑）

LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。 （英语） Zbl 1407.68021号

EPiC计算系列57.曼彻斯特：EasyChair。666页。，开放存取（2018）。

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

引言：本卷包含在2018年11月17日至21日在埃塞俄比亚阿瓦萨海勒度假村举行的LPAR-22：第22届程序设计、人工智能和推理逻辑国际会议上提交的论文。
在征集论文后，LPAR-22收到了84份摘要，最终形成70份提交文件。每次提交都至少收到3份审查报告，审查小组由38名项目委员会（PC）成员组成。PC得到了94名其他评审员的协助，并决定接受37篇论文。除了定期发表论文外，LPAR-22还包括三次受邀演讲：Orna Kupferman（以色列希伯来大学）、Holger Hermans（德国萨尔州大学）和Ben Goertzel（奇点网）。LPAR-22还包括六次简短会谈，提出了进一步的文件。
对数学感兴趣的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1398.68026号].
索引文章：
赫尔曼斯，霍尔格；塞巴斯蒂安·比沃；佩德罗·R·D’Argenio。；马克西米利安·科尔。汽车废气排放的验证、测试和运行时监测，1-17[Zbl 1415.68147号]
奥尔纳·库普弗曼，处理最大流量问题，18-25[Zbl 1415.68158号]
阿普特，Krzysztof；格罗西，戴维德；范德霍克，威比两个流言蜚语什么时候是一样的？，36-55 [Zbl 1415.68215号]
阿萨迪、塞皮德；马丁·布利查；格里戈里·费迪尤科维奇；安蒂·海瓦里宁；埃文·蒙多萨（Even-Mendoza），卡琳（Karine）；娜塔莎·莎莉吉娜；哈娜·乔克勒，函数摘要模理论，56-75[Zbl 1415.68141号]
弗兰茨·巴德；奥利弗·费尔南德斯·吉尔；巴夫洛斯·马兰蒂迪斯，在描述逻辑中匹配\（\mathcal{FL}_0（飞行高度层）\)关于一般TBoxes，76-94[Zbl 1415.68216号]
马提亚斯·巴兹；阿内拉·洛里奇，Lyndon插值适用于哥德尔逻辑的prenex（\supset）prenex片段，95-110[Zbl 1416.03011号]
Sabine Bauer；Jost，Steffen；马丁·霍夫曼，无限树上的可判定不等式，111-130[兹比尔1415.68059]
雅罗斯拉夫·本迪克；伊万娜·乔纳，最小不可满足子集枚举的领域无关方法评估，131-142[Zbl 1415.68184号]
乌迪·博克，为什么是这些自动机类型？，143-163 [Zbl 1415.68122号]
拉尔夫·波特什（Ralph Bottesch）；哈斯贝克（Max W.Haslbeck）。；雷内·蒂曼，LLL基约简算法的有效实现，164-180[Zbl 1409.68252号]
阿卜杜勒哈米德·布达内；赛义德·贾布尔；Baddaoui、Badran；拉赫达尔·赛斯，基于SAT的条件基数约束高效编码，181-195[Zbl 1415.68185号]
瓦伦丁·卡萨诺；卡洛斯·阿雷塞斯；巴勃罗·卡斯特罗，使用优先默认规则推理处方和描述，196-213[Zbl 1415.68217号]
维托尔德·查拉托尼克；叶戈尔·古斯科夫；伊恩·普拉特·哈特曼；彼得·维特科夫斯基，带森林计数的二变量一阶逻辑，214-232[兹伯利1415.68110]
克里希南德·查特吉；沃尔夫冈·德沃亚克；Monika Henzinger；亚历山大·斯沃齐尔，奇偶博弈的基于拟多项式集的符号算法，233-253[Zbl 1415.68142号]
阿尔贝托·齐法格利翁（Alberto Ciafglione）；Furio Honsell；玛丽娜·莱妮莎；伊万·斯卡格内托，内卷化作为基本类型/应用程序作为统一类比，254-270[Zbl 1416.03009号]
达斯，阿努帕姆；阿米娜·杜马内；Damien Pous，Kleene代数的左手完备性，通过循环证明，271-289[Zbl 1415.68124号]
纪尧姆·戴维；埃里克·费龙（Eric Feron）；加洛什，皮埃尔-洛奇；迪迪埃·亨利昂，线性模型预测控制验证实验：内点法算法的自动生成和形式验证，290-306[Zbl 1415.68143号]
德肖维茨，纳丘姆；Jean-Pierre Jouannaud，图形路径排序，307-325[Zbl 1415.68116号]
艾曼纽尔·安娜·迪茨（Emmanuelle-Anna Dietz）；霍尔多布勒，斯特芬；西比尔·施瓦兹；林·约哈内斯·斯特凡努斯，弱完成语义和等式，326-342[Zbl 1415.68220号]
Rachel Faran；奥尔纳·库普弗曼，带算法的LTL及其在层次系统推理中的应用，343-362[Zbl 1415.68144号]
本杰明·法里尼尔（Benjamin Farinier）；罗宾·大卫；塞巴斯蒂安·巴丁；马蒂厄·莱梅尔，数组变得更简单：高效、可扩展和彻底的预处理，363-380[兹比尔1415.68145]
格雷斯，伯恩哈德；科瓦茨，劳拉；西蒙·罗比拉德，通过迭代量化进行循环分析，381-399[Zbl 1415.68146号]
Hyvärinen，Antti E.J。；马泰奥·马雷斯科蒂；帕文·萨迪戈娃；哈纳·乔克勒；娜塔莎·莎莉吉娜，基于外观的SMT解决方案，418-434[兹比尔1415.68193]
Iosif，Radu；塞尔维亚人，克里斯蒂娜，一阶逻辑中归纳蕴涵的完整循环证明系统，435-453[Zbl 1416.03027号]
米科拉什·哈诺塔；马丁·苏达，迈向更智能的MACE型模型发现者，454-470[Zbl 1415.68194号]
江川；吉安弗兰科·西亚多，通过路径重用改进基于SAT的现有CTL有界模型检查，471-487[Zbl 1415.68149号]
奥纳·库普夫曼；塔米尔、塔米，具有行为和收入目标的交替可达性游戏，498-514[Zbl 1415.68150号]
Lopez-Fraguas，Francisco J。；黑山，曼努埃尔；苏亚雷斯-加西亚，戈尔卡，Erlang的多态成功类型，515-533[Zbl 1415.68056号]
马泰奥·马雷斯科蒂；Hyvärinen，Antti E.J。；娜塔莎·莎莉吉娜，SMTS：分布式可视化约束求解，534-542[Zbl 1415.68197号]
牛、岳；霍夫曼，简，带垃圾收集功能程序的自动空间界限分析，543-563[Zbl 1415.68058号]
文森特·拉里（Vincent Rahli）；科恩、利隆；马克·比克福德，单调库支持的已验证定理证明器后端，564-582[Zbl 1409.68262号]
Rebola Pardo，阿德里安；马丁·苏达，SAT求解中的可满足性保持证明理论，583-603[Zbl 1415.68203号]
塞巴斯蒂安·鲁道夫；西蒙库斯，曼塔斯，一阶逻辑的三角碎片，604-619[Zbl 1416.03008号]
沙尔马、舒巴姆；拉胡尔·古普塔；罗伊，苏哈吉特；Kuldeep S.梅尔。，知识汇编符合统一抽样，620-636[Zbl 1415.68205号]
Singal，德鲁夫；帕拉克阿加瓦尔；萨科特Jhunjhunwala；罗伊，苏巴吉特，解析条件：LL（1）解析的符号编码，637-655[Zbl 1415.68120号]
余存溪；亚辛，阿蒂夫；苏天凯；阿兰·米什琴科（Alan Mishchenko）；马西耶·西塞尔斯基，用于算术电路验证的重写环境，656-666[Zbl 1415.68151号]

MSC公司：

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

引文：

Zbl 1398.68026号
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17-21日。精选论文。曼彻斯特：EasyChair（2018；Zbl 1407.68021）
全文： 链接