×

兹马思-数学第一资源

LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17-21日。论文选集。(英语) Zbl公司 1407.68021
计算史诗系列57.曼彻斯特:轻松。666 p、 ,开放存取(2018年)。

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

前言:本卷包含在LPAR-22:第22届国际编程、人工智能和推理会议(LPAR-22)上发表的论文,该会议于2018年11月17日至21日在埃塞俄比亚阿瓦萨的海尔度假村举行。
在征集论文之后,LPAR-22收到了84篇摘要,具体化为70篇论文。每一份申请至少收到3次评审,评审小组由38名项目委员会(PC)成员组成。PC得到了另外94位审稿人的协助,决定接受37篇论文。除了定期报告外,LPAR-22还包括三次受邀的会谈:由Orna Kupferman(以色列希伯来大学)、Holger Hermanns(德国萨尔兰大学)和Ben Goertzel(SingularityNET)主持。LPAR-22还包括六个简短的演讲,介绍进一步的论文。
对数学感兴趣的文章将单独复习。上一次会议见[Zbl 1398.68026].
索引文章:
赫尔曼,霍尔格;比尔,塞巴斯蒂安;D'Argenio,佩德罗·R。;Köhl,马克西米利安A。,汽车尾气排放的验证、测试和运行时监测,1-17[Zbl 1415.68147]
奥娜库普费尔曼,玩最大流量问题,18-25[Zbl 1415.68158]
阿普特,克兹什托夫;格罗西,戴维德;范德霍克,威比,什么时候两个八卦是一样的?,36-55[Zbl 1415.68215]
亚撒底,西庇得;布莱查,马丁;费德约科维奇,格里戈里;Hyv公司ä里宁,安蒂;甚至门多萨,卡琳;莎莉吉娜,娜塔莎;乔克勒,哈娜,函数摘要模理论,56-75[Zbl 1415.68141]
巴德尔,弗兰兹;蕨类植物á恩德斯吉尔,奥利弗;马兰提迪斯,帕夫洛斯,在描述逻辑\(\mathcal{FL}u0\)中与一般TBoxes匹配,76-94[Zbl 1415.68216]
巴兹,马提亚斯;洛丽克,安妮拉,Lyndon插值适用于G的prenex \(\supset\)prenex片段ö德尔逻辑,95-110[Zbl 1416.03011]
鲍尔,萨宾;乔斯特,斯特芬;霍夫曼,马丁,无限树上的可判定不等式,111-130[Zbl 1415.68059]
弯曲ík、 雅罗斯拉夫;Č恩恩á, 伊万娜,最小不满足子集计数的领域不可知论方法的评估,131-142[681845升]
伯克,Udi,为什么是这些自动机类型?,143-163[Zbl 1415.68122号]
博特斯基,拉尔夫;哈斯贝克,马克斯W。;蒂曼,伦é,LLL基约化算法的有效实现,164-180[Zbl 1409.68252]
布丹,阿卜杜勒哈米德;胡说八道,说;巴道伊,巴德兰;赛斯,拉赫达尔,条件基数约束的有效SAT编码,181-195[Zbl 1415.68185]
卡萨诺,瓦伦丁;阿瑞斯,卡洛斯;卡斯特罗,巴勃罗,使用优先默认规则推理处方和描述,196-213[Zbl 1415.68217]
查拉托尼克,威托德;古斯科夫,耶戈尔;普拉特·哈特曼,伊恩;维特科夫斯基,皮奥特,森林计数的双变量一阶逻辑,214-232[Zbl 1415.68110]
查特吉,克莉什南杜;Dvořák、 沃尔夫冈;亨辛格尔,莫妮卡;斯沃齐尔,亚历山大,基于拟多项式集的奇偶对策符号算法,233-253[Zbl 1415.68142]
阿尔伯托,齐亚法格利恩;弘塞尔,福里奥;莱尼萨,玛丽娜;斯格内托,伊凡,对合为主要类型/应用为统一类比,254-270[Zbl 1416.03009号]
达斯,阿努帕姆;多曼,阿米娜;波斯,达米安,Kleene代数的左手完备性,通过循环证明,271-289[Zbl 1415.68124]
戴维,纪尧姆;费隆,埃里克;卡罗奇,皮埃尔·洛伊克;亨利,迪迪埃《线性模型预测控制验证实验:内点法算法的自动生成和形式化验证》,290-306[Zbl 1415.68143]
德肖维茨,纳库姆;朱安娜,让·皮埃尔,图路径排序,307-325[Zbl 1415.68116]
迪茨,艾曼纽·安娜;Hö埃尔多布勒,斯特芬;施瓦兹,西比尔;Stefanus,Lim Yohanes,弱补全语义和等式,326-342[Zbl 1415.68220号]
法兰,瑞秋;奥娜库普费尔曼,LTL及其在层次系统推理中的应用,343-362[Zbl 1415.68144]
本杰明·法里尼尔;大卫,罗宾;巴丁,Sé巴斯蒂安;勒梅尔,马修,数组变得更简单:高效、可伸缩和彻底的预处理,363-380[Zbl 1415.68145]
格雷斯,伯恩哈德;科夫á中情局,劳拉;罗比拉德,西蒙,迭代量化循环分析,381-399[Zbl 1415.68146]
Hyv公司ä里宁,安蒂E。J、 。;马雷斯科托;萨迪戈瓦,帕尔文;乔克勒,哈娜;莎莉吉娜,娜塔莎,基于前瞻性的SMT解决方案,418-434[Zbl 1415.68193]
Iosif,拉杜;塞尔维亚人,克里斯蒂娜,一阶逻辑中归纳蕴涵的完整循环证明系统,435-453[Zbl 1416.03027]
杰诺塔,米科尔áš; 苏达,马丁,朝着更聪明的梅斯式模型寻找者,454-470[Zbl 1415.68194]
江、川;迪亚多,詹弗兰科,通过路径重用改进存在CTL的基于SAT的有界模型检查,471-487[Zbl 1415.68149]
库普费尔曼,奥尔纳;塔米尔,塔米,具有行为和收益目标的交替可达性游戏,498-514[Zbl 1415.68150]
ó佩斯·弗拉瓜斯,弗朗西斯科·J。;黑山,曼努埃尔;á雷兹加克ía、 戈尔卡,Erlang的多态成功类型,515-533[Zbl 1415.68056]
马雷斯科蒂,马蒂奥;Hyv公司ä里宁,安蒂E。J、 。;莎莉吉娜,娜塔莎,SMTS:分布式可视化约束求解,534-542[Zbl 1415.68197]
牛、月;霍夫曼,一月,带垃圾收集的函数程序的自动空间限制分析,543-563[Zbl 1415.68058]
拉利,文森特;科恩,利伦;比克福德,马克,一个由单调库支持的已验证定理证明器后端,564-582[Zbl 1409.68262]
雷波拉·帕多,阿德里án;苏达,马丁,SAT解的可满足性保持证明理论,583-603[Zbl 1415.68203]
鲁道夫,塞巴斯蒂安;Š伊姆库斯,螳螂,一阶逻辑的三防片段,604-619[Zbl 1416.03008号]
沙玛,舒巴姆;古普塔,拉胡尔;罗伊,苏哈吉特;梅尔,库尔德普S。,知识汇编符合统一抽样,620-636[Zbl 1415.68205]
新加坡,杜鲁夫;帕拉克阿加瓦尔;Jhunhunwala,萨基特;罗伊,苏哈吉特,解析条件:LL(1)解析的符号编码,637-655[Zbl 1415.68120]
余,寸溪;亚辛,阿蒂夫;苏天凯;米什琴科,艾伦;Ciesielski,Maciej公司,算术电路验证重写环境,656-666[Zbl 1415.68151]
理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
2006年3月 与数学逻辑和基础有关的会议记录、会议记录、收藏等
03B70型 计算机科学中的逻辑
68T27型 人工智能中的逻辑
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 链接