×
肯·麦克米兰（编辑）;阿尔特·米德尔多普（编辑）;安德烈·沃伦科夫（编辑）

用于编程、人工智能和推理的逻辑。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。 （英语） Zbl 1277.68016号

计算机科学课堂讲稿8312.柏林：施普林格出版社（ISBN 978-3-642-45220-8/pbk）。xiv，794页。(2013).

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

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1238.68012号].
索引文章：
卢卡·埃特罗（Luca Aceto）；黛拉·莫妮卡，达里奥；Anna Ingólfsdóttir；安吉洛·蒙塔纳里（Angelo Montanari）；圭多·西亚维科，枚举Horn理论最大模型的算法及其在模态逻辑中的应用，1-17[Zbl 1433.03019号]
艾尔维拉·阿尔伯特；萨米尔·根奈姆；恩里克·马丁·马汀，May-happen基于优先级的调度并行分析，18-34[兹比尔1406.68015]
亚历山德罗·阿塔尔；孔查科夫，罗马人；弗拉迪斯拉夫·里日科夫；迈克尔·扎克哈里亚舍夫，LTL子句片段的复杂性，35-52[Zbl 1433.03046号]
大卫·阿斯皮纳尔；埃文·丹尼；克里斯托夫·吕斯，证明查询和转换的语义基础，53-70[Zbl 1406.68102号]
巴勃罗巴赛罗；盖尔·方丹；Anthony Widjaja林，带数据的图形上的表达式路径查询，71-85[兹比尔1406.68018]
彼得·鲍姆加特纳（Peter Baumgartner）；约书亚·巴克斯，证明无限可满足性，86-95[Zbl 1406.68019号]
安东·贝洛夫（Anton Belov）；安托尼奥·莫尔加多；若昂·西尔瓦侯爵，基于SAT的MaxSAT预处理，96-111[Zbl 1406.68108号]
贝拉伊德·本哈穆，应答集编程中的动态和静态对称破缺，112-126[Zbl 1406.68014号]
克里斯托夫·本兹穆勒；托马斯·拉斯，基于HOL的一阶模态逻辑校验器，127-136[Zbl 1406.68103号]
乔什·伯丁（Josh Berdine）；尼古拉·比约纳；萨明·伊斯蒂亚克；Jael E.Kriener。；Christoph M.温特斯泰格。，作为HORN-LA的资源可达性，137-146[Zbl 1406.68049号]
帕特里克·布莱克本；托马斯·博兰德；托本·布吕纳；约根森，克劳斯·弗罗文，塞利格曼式的画面系统，147-163[Zbl 1433.03020号]
弗兰蒂舍克·布拉胡德克；Křetínsk \345]，Mojmír；斯特雷切克，简，LTL与确定性拉宾自动机翻译器的比较，164-172[Zbl 1406.68050号]
雷吉斯·布朗；阿舒托什·古普塔；劳拉·科瓦奇（Laura Kovács）；伯恩哈德·克拉格尔《吸血鬼》中的树木插补，173-181年[Zbl 1406.68104号]
梅拉尼·布达德；奥利维尔·赫曼特，极化双重否定翻译，182-197年[Zbl 1433.03014号]
菲利佩·卡萨尔；乔安·拉斯加，重温闪亮与礼貌的对等，198-212[Zbl 1433.03021号]
乔瓦尼·卡西尼；翁贝托·斯特拉契亚《走向模糊逻辑的有理闭包：命题哥德尔逻辑的案例》，213-227[Zbl 1408.03019号]
克里希南多·查特吉；Forejt，VojtŞch；多米尼克·沃伊特扎克，图和MDP中的多目标折扣奖励验证，228-242[Zbl 1406.68051号]
克鲁斯·菲利佩，路易斯；Rita Henriques；伊莎贝尔·努斯，描述逻辑、规则和多上下文系统，243-257[Zbl 1362.68273号]
乌戈·达尔拉戈；朱利奥·佩利塔，存在控制算子和高阶函数的复杂性分析，258-273[Zbl 1433.03146号]
戴维·德拉哈耶（David Delahaye）；Damien Doligez；弗莱德里克·吉尔伯特；皮埃尔·哈尔马格兰德（Pierre Halmagrand）；奥利维尔·赫曼特Zenon模：当阿喀琉斯使用演绎模超过乌龟时，274-290[兹比尔1406.68105]
例如，Uwe；Lonsing，Florian；马格达莱娜·维德尔，长距离分辨率：基于搜索的QBF求解中的证明生成和策略提取，291-308[Zbl 1406.68106号]
法语，Tim；John McCabe-Dansted；雷诺兹，马克，验证真实模型中的时间属性，309-323[Zbl 1406.68052号]
格罗夫，古德蒙德；基辛格，Aleks；林玉辉，用于证明策略的图形语言，324-339[Zbl 1406.68107号]
汤姆·冈德森（Tom Gundersen）；威廉·海尔捷斯；米歇尔·帕里戈特，类型化原子lambda-calculus强正规化的证明，340-354[Zbl 1433.03038号]
戴维·哈雷尔（David Harel）；阿米尔·坎特；凯兹，盖伊，放松行为程序中的同步约束，355-372[Zbl 1406.68016号]
伯恩哈德·海涅曼，将子集空间表征为双拓扑结构，373-388[Zbl 1408.03014号]
乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚；莫阿，约翰逊；埃文·麦克林，ACL2中的验证模式识别和引理发现，389-406[Zbl 1407.68436号]
Lisa Allali；奥利维尔·赫曼特，语义A翻译和超一致性需要经典的消去，407-422[Zbl 1433.03134号]
Heule，Marijn J.H。；阿明·比尔，阻塞子句分解，423-438[Zbl 1407.68451号]
阿列克谢·伊格纳提耶夫（Alexey Ignatiev）；安东尼奥·莫尔加多；乔迪（Jordi）；若昂·西尔瓦侯爵最大可伪造性。定义、算法和应用，439-456[Zbl 1407.68453号]
伊扎基，沙查尔；苏米特·古尔瓦尼；尼尔·伊梅尔曼；穆利·萨吉夫，使用符号和数字推理的组合解决几何问题，457-472[Zbl 1407.68513号]
米科拉什·哈诺塔；拉杜·格里戈尔；若昂·西尔瓦侯爵，关于QBF证明和预处理，473-489[Zbl 1407.68454号]
江川；张婷，CDCL解算器中的部分回溯，490-502[Zbl 1407.68455号]
塞萨里·卡利西克；约瑟夫·乌尔班，HOL Light上的引理挖掘，503-517[Zbl 1407.68437号]
凯兹，盖伊，基于模块的行为程序抽象和修复，518-535[Zbl 1407.68095号]
克拉曼（Szymon Klarman）；托马斯·梅耶，DL-Lite数据流的预测和解释，536-551[Zbl 1407.68469号]
帕特里克·科普曼（Patrick Koopmann）；雷娜特·施密特（Renate A.Schmidt）。，忘记了\（\mathcal{ALCH}\）-本体中的概念和角色符号，552-567[兹比尔1407.68481]
莱廷，特罗；汤米·琼蒂拉；伊尔卡·尼梅尔，模拟奇偶校验推理，568-583[Zbl 1407.68456号]
彼得·辛图拉（Petr Cintula）；乔治·梅特卡夫，子结构逻辑的Herbrand定理，584-600[Zbl 1408.03016号]
法比奥·莫加维罗；阿尼埃洛·穆拉诺（Aniello Murano）；洛雷达纳·索伦蒂诺，关于平价游戏中的及时性，601-618[Zbl 1407.68297号]
塞巴斯蒂安·莫德谢姆。；托马斯·格罗；卢卡·维甘奥，定义隐私应该很容易，619-635[兹比尔1407.68147]
Riku Nortje；Britz，Katarina；托马斯·梅耶，描述逻辑的可达性模块\（\mathcal{SRIQ}\），636-652[Zbl 1407.68475号]
Annabelle McIver；塔希里州拉贝哈加；乔治·斯特鲁斯，概率并发Kleene代数的事件结构模型，653-667[Zbl 1407.68337号]
雷诺，艾蒂安；亚历山大·杜雷特·卢茨（Alexandre Duret-Lutz）；Fabrice Kordon；丹尼斯·波特雷诺，广义Büchi自动机的三个基于SCC的空性检查，668-682[Zbl 1407.68301号]
罗里尼（Simone Fulvio）；Alt，Leonardo；格里戈里·费迪尤科维奇；Hyvärinen，安蒂·E·J。；娜塔莎·莎莉吉娜，PeRIPLO:在基于SAT的软件验证中生成有效插值的框架，683-693[Zbl 1407.68303号]
阿里·萨普塔维贾亚；路易斯·莫尼兹·佩雷拉，逻辑程序更新查询驱动传播的增量表，694-709[Zbl 1407.68085号]
加布里埃尔·谢勒；简·霍夫曼，使用开放式闭合类型跟踪数据流，710-726[Zbl 1407.68092号]
马克西米利安·施伦德；米查·特雷佩塔；迈克尔·卢滕伯格，《将牛顿付诸实践：半环上多项式方程的求解器》，727-734[Zbl 1408.68147号]
斯蒂芬·舒尔茨，系统描述：E 1.8，735-743[Zbl 1407.68442号]
塔克迪斯，Syeda Hira；奥斯曼·哈桑，使用HOL-Light的多变量微积分理论对拉普拉斯变换进行形式化，744-758[Zbl 1407.68443号]
Turluic、Calin-Rares；纳塔利·迈马里奥；亚历山德拉，鲁索；俄罗斯布罗达，关于概率外推中的极小性和完整性约束，759-775[Zbl 1407.68086号]
多米尼克·迪特里希；伊恩·怀特塞德；大卫·阿斯皮纳尔,极地的：证明重构框架，776-791[Zbl 1407.68434号]

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

MSC公司：

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

引文：

Zbl 1238.68012号

软件：

HOL灯;E定理证明器
PDF格式BibTeX公司 XML格式引用
\textit{K.McMillan}（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：施普林格出版社（2013；Zbl 1277.68016）
全文： 内政部