×
汉斯·德·尼维尔（编辑）

使用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。 （英语） Zbl 1325.68016号

计算机科学课堂讲稿9323.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-319-24311-5/pbk；978-3-3169-24312-2/电子书）。xvi，第355页。(2015).

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

本卷的文章将单独进行审查。2014年，TABLEAUX是2014年IJCAR的一部分（参见[Zbl 1293.68021号]). 关于2013年第22届TABLEAUX大会，请参阅[Zbl 1272.68020号].
索引文章：
罗伊·戴克霍夫，受邀演讲：一阶逻辑的连贯性，3-5[Zbl 1471.03016号]
瓦伦蒂恩·卡萨诺；洛佩斯·蓬博（Lopez Pombo）、卡洛斯·古斯塔沃（Carlos Gustavo）；托马斯·S·E·迈鲍姆。，基于命题表的证明演算，用于默认规则推理，6-21[Zbl 1471.03015号]
John McCabe-Dansted；马克·雷诺兹，捆绑策略的表格，22-37[Zbl 1471.03039号]
雷娜特·施密特（Renate A.Schmidt）。；乌韦·沃尔德曼，具有阻塞和同余闭包的Modal tableau系统，38-53[Zbl 1471.03018号]
Michael Sioutis；Jean-François Condotta；Salhi，Yakoub；贝特朗·马祖尔，广义定性时空推理：复杂性和表方法，54-69[Zbl 1471.03019号]
彼得·贝克曼；菲利普·吕默，有界刚性统一的有效算法，70-85[Zbl 1471.68300号]
纪尧姆·伯里；大卫·德拉哈耶，将单纯形与表格集成，86-101[Zbl 1471.68304号]
塞萨里·卡利西克，高效低级连接表aux，102-111[Zbl 1471.68311号]
萨拉·内格里（Sara Negri）；尼古拉·奥利维蒂，基于邻域语义的优先条件逻辑的序列演算，115-134[Zbl 1471.03059号]
比约恩·莱尔曼，线性嵌套序列，2-序列和超序列，135-150[Zbl 1471.03080号]
Brock-Nannestad，Taus；考斯托夫·乔杜里，通过有限近似的迭代求精使用逆方法进行置换，153-168[Zbl 1471.68303号]
乌尔里希·赫斯塔特；盖纳，保罗；克莱尔·狄克逊；Nalon，Cláudia；张，兰，联盟逻辑的有序解决方案，169-184[Zbl 1464.03007号]
Nalon，Cláudia；乌尔里希·赫斯塔特；克莱尔·狄克逊，K的模态分层分辨率演算，185-200[Zbl 1471.03017号]
扎卡里亚·奇哈尼；利巴尔，托默；吉赛尔·雷斯，证明人检查员，201-210[Zbl 1471.68305号]
克里斯托夫·本兹穆勒，受邀演讲：关于（相当）普遍定理证明方法及其在形而上学中的应用，213-220[Zbl 1471.68302号]
安尼马利省博格；罗马库兹涅茨，证明逻辑的实现定理：完全模块化，221-236[兹比尔1471.03084]
毛罗·法拉利；佛罗伦萨，卡米洛，《经典命题逻辑自然演绎演算中的证明》，237-252[Zbl 1471.68308号]
Christoph Wernhard公司，关系一元公式的二阶量词消除——一种基本方法和一些不太期望的应用，253-269[Zbl 1471.03021号]
尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨，刘易斯反事实逻辑的标准内部演算，270-286[Zbl 1471.03060号]
詹姆斯·布罗瑟斯顿；尼科斯·戈罗甘尼斯，通过基对近似消除分离逻辑中的归纳蕴涵，287-303[Zbl 1471.03062号]
理查德·布贝尔（Richard Bubel）；Din，Crystal Chang；雷纳·Hähnle；中田庆子，一个带有痕迹和共导的动态逻辑，307-322[Zbl 1471.03063号]
蝉蜕、阿加塔；伊利莎·弗雷斯基（Elisa Freschi）；弗朗西斯科·詹科（Francesco A.Genco）。；比约恩·莱尔曼，毛利人ṃ道义逻辑：证明理论与应用，323-338[Zbl 1471.03042号]
亚历山大·哈德克（Alexander Hudek）；戴维·托曼；格兰特·威德尔，关于使用分析表枚举查询计划，339-354[Zbl 1471.68084号]

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

MSC公司：

68-06 与计算机科学有关的论文集、会议、文集等
68吨15 定理证明（演绎、解析等）（MSC2010）
00B25型 杂项特定利益的会议记录

引文：

Zbl 1293.68021号；兹比尔1272.68020
PDF格式BibTeX公司 XML格式引用
\textit{H.De Nivelle}（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格（2015；Zbl 1325.68016）
全文： 内政部