Kai布伦勒（编辑）;乔治·梅特卡夫（编辑） 使用分析表和相关方法进行自动推理。2011年7月4日至8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。 （英语） Zbl 1216.68022号 计算机科学课堂讲稿6793.人工智能讲义。柏林：施普林格出版社（ISBN 978-3-642-22118-7/pbk）。ix，279页。(2011). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。2010年，TABLEAUX是IJCAR 2010的一部分（参见Zbl 1195.68005号). 关于2009年TABLEAUX第18届会议，请参阅Zbl 1173.68010号。索引文章：博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；穆阿·约翰逊，关于决策过程中的插值，1-16[Zbl 1331.68198号]乌尔里希·富巴赫，应用程序中的一阶表（扩展摘要），17-19[Zbl 1331.68201号]雷吉斯·阿伦达；尼古拉·奥利维蒂，CSymLean：对称最小空间上逻辑CSL的定理证明器，21-26[Zbl 1331.68197号]Vincent Aravantinos；尼古拉斯·佩尔蒂埃，SMT问题示意图，27-42[Zbl 1333.03103号]阿诺·阿夫隆；奥里·拉哈夫，基本序列系统的克里普克语义，43-57[Zbl 1333.03236号]劳拉·博泽利；拉诺特、拉格罗，CaRet的混合和一阶完全扩展，58-72[Zbl 1333.03005号]大卫·布雷索林；蒙塔纳里，安吉洛；Pietro萨拉；圭多·西亚维科，命题邻域逻辑整体、稠密和离散线性阶的最优表系统，73-87[Zbl 1333.03006号]詹姆斯·布罗瑟斯顿；拉杰夫·戈尔，可显示逻辑中的克雷格插值，88-103[Zbl 1333.03107号]塞里托、塞雷内拉；玛尔塔·恰尔迪亚·梅耶，一种基于tableaux的含粘合剂的广泛混合公式的决策程序，104-118[Zbl 1331.68200号]阿加塔·西阿巴托尼；奥里·拉哈夫；安娜·扎曼斯基，基本构造连接词，决定论和基于矩阵的语义学，119-133[Zbl 1333.03237号]达斯，阿努帕姆，关于无割有界深推理的证明复杂性，134-148[Zbl 1333.03239号]奥利弗·弗里德曼；马丁·兰格，模态演算措手不及，149-163[Zbl 1333.03007号]基诺维斯，瓦莱里奥；劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨，访问控制的条件构造逻辑及其序列演算，164-179[Zbl 1333.03104号]劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨，（mathcal{EL}^\bot）非单调扩张的表演算，180-195[Zbl 1332.68209号]马克·卡明斯基（Mark Kaminski）；托马斯·施耐德；格特·斯莫尔卡，模态和混合逻辑Pratt型决策程序的正确性和最坏情况优化，196-210[Zbl 1333.03008号]莱尔曼，比约恩；德克·帕丁森，浅模态逻辑的切割消除，211-225[Zbl 1244.68069号]延斯·奥滕，非子句连接演算，226-241[Zbl 1333.03004号]蒂什科夫斯基，德米特里；雷娜特·施密特（Renate A.Schmidt）。；穆罕默德·科达达迪,MetTeL公司：带有逻辑无关推理引擎的tableau证明程序，242-247[Zbl 1332.68205号]Tiu，Alwen先生，非恒定域Gödel-Dummett逻辑的超连续系统，248-262[Zbl 1333.03088号]约瑟夫·乌尔班（Josef Urban）；维斯科·吉尔；ŠtŞpánek，佩特马勒CoP。机器学习连接证明程序，263-277[Zbl 1332.68206号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68吨15 定理证明（演绎、解析等）（MSC2010） 00时25分 杂项特定利益的会议记录 引文：Zbl 1195.68005号;Zbl 1173.68010号 软件：萨奇莫 PDF格式BibTeX公司 XML格式引用 \textit{K.Brünnler}（编辑）和\textit{G.Metcalfe}（编），用分析表和相关方法进行自动推理。2011年7月4-8日，瑞士伯尔尼，第20届国际会议，TABLEAUX 2011。诉讼程序。柏林：施普林格出版社（2011；Zbl 1216.68022） 全文： 内政部