×
埃德蒙·克拉克（Edmund M.Clarke）。（编辑）；安德烈·沃龙科夫（编辑）

用于编程、人工智能和推理的逻辑。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。 （英语） Zbl 1203.68004号

计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。x、 第517页。(2010).

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

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1154.68007号).
索引文章：
杰夫·萨特克利夫《TPTP世界——自动推理基础设施》，1-12[Zbl 1253.68292号]
阿瓦尼，阿米尔；沙哈卜·塔沙罗菲；乌埃尔、古雷；特诺夫斯卡，尤金尼亚；大卫·米切尔，接地否定加速技术，13-26[Zbl 1253.68289号]
古里纳特班达；约翰·加拉赫（John P.Gallagher）。，《时态逻辑的基于约束的抽象语义：设计和实现的直接方法》，27-45[Zbl 1253.68218号]
吉尔·巴特；玛丽恩·道比格纳德；布鲁斯·卡普伦；Lakhnech，Yassine；文森特·拉波特，关于概率项的相等性，46-63[Zbl 1311.94068号]
马丁·伯杰；劳伦斯·特拉特，同构元编程的程序逻辑，64-81[Zbl 1253.68091号]
Lennart Beringer；罗伯特·格拉博夫斯基（Robert Grabowski）；马丁·霍夫曼，使用区域类型系统验证指针和字符串分析，82-102[Zbl 1253.68092号]
雷吉斯·布朗；托马斯·亨辛格。；Thibaud Hottelier；劳拉·科瓦奇，ABC：循环的代数界计算，103-118[Zbl 1253.68093号]
劳拉·博泽利；Legay，Axel；苏菲·平奇纳特，基本形式的预订单检查硬度，119-135[Zbl 1253.68219号]
布鲁斯科利，保拉；阿莱西奥·古列尔米；汤姆·冈德森（Tom Gundersen）；米歇尔·帕里戈特，通过原子流和阈值公式进行深度推理的拟多项式删减过程，136-153[Zbl 1253.03086号]
科迪什，迈克尔；Moshe Zazon-Ivry公司，成对基数网络，154-172[Zbl 1253.68112号]
Daniel J.Dougherty。；路易吉·利古里，具有交并类型的lambda演算中的逻辑和计算，173-191[Zbl 1253.03036号]
马可·费拉（Marco Faella）；那不勒斯，玛格丽塔；帕伦特，米姆，分级交替时间时序逻辑，192-211[Zbl 1285.68095号]
约翰·费恩利，非公开战略改进，212-230[Zbl 1310.91040号]
Gabbay，迈克尔；默多克·J·加贝。，一类简单的克里普克式模型，其中逻辑和计算具有同等地位，231-254[Zbl 1253.03058号]
迪迪埃·加尔米奇（Didier Galmiche）；雅库布Salhi，直觉模态逻辑的无标签证明系统IS5，255-271[Zbl 1253.03042号]
Yoichi Hirai，共享记忆序列一致性的直觉认知逻辑，272-289[兹比尔1311.03060]
马提亚斯·霍巴赫，最终定期解释的不统一，290-311[Zbl 1310.68123号]
奥纳·库普夫曼；莫舍·瓦尔迪。，触发器属性的合成，312-331[Zbl 1310.68143号]
哈维尔·拉罗萨；阿尔伯特·奥利弗拉斯（Albert Oliveras）；恩里克·罗德里格斯-卡博内尔，《半环诱导命题逻辑：定义和基本算法》，332-347[兹比尔1284.03209]
Leino，K.Rustan M。，Dafny：用于功能正确性的自动程序验证器，348-370[Zbl 1253.68095号]
法比奥·莫加维罗；阿尼埃洛·穆拉诺（Aniello Murano）；莫舍·瓦尔迪。，交替时间时序逻辑中的相关战略推理，371-386[Zbl 1310.68144号]
莱因哈德·皮克勒；Rümmele，Stefan；斯特凡·沃尔特兰，有界树宽的计数和枚举问题，387-404[Zbl 1310.68118号]
玛格斯·维纳斯（Margus Veanes）；尼古拉·蒂尔曼；乔纳森·德·哈勒克斯，Qex:符号SQL查询资源管理器，425-446[Zbl 1253.68114号]
维斯科·吉尔；大卫·斯坦诺夫斯克；约瑟夫·乌尔班，通过新定义的发明实现自动校对压缩，447-462[Zbl 1253.68293号]
布鲁诺沃尔岑洛格尔古，通过分辨率引入原子切割：证明结构和压缩，463-480[Zbl 1253.03085号]
哈拉尔德·赞克；阿尔特·米德尔多普，非线性（ir）有理算法的可满足性，481-500[Zbl 1310.68126号]
奥纳·库普夫曼；塔米尔、塔米，应对自私的持续行为，501-516[兹比尔1310.68135]

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

MSC公司：

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

引文：

Zbl 1154.68007号

软件：

洞穴堆积；TPTP公司；达夫尼
PDF格式BibTeX公司 XML格式引用
\textit{E.M.Clarke}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。柏林：施普林格出版社（2010；Zbl 1203.68004）
全文： 内政部