×
塞里托、塞雷内拉（编辑）;安德烈·波佩斯库（编辑）

使用分析表和相关方法进行自动推理。第28届国际会议，2019年9月3日至5日，英国伦敦，TABLEAUX 2019。诉讼程序。 （英语） Zbl 1428.68011号

计算机科学课堂讲稿人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-030-29025-2/pbk；978-3-0.30-29026-9/电子书）。xxi，477页。(2019).

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

本卷的文章将单独进行审查。2018年，TABLEAUX是2018年IJCAR的一部分，参见[Zbl 1391.68006号]. 关于2017年TABLEAUX第26届会议，请参阅[Zbl 1371.68015号].
索引文章：
卢卡·盖蒂；吉甘特，尼古拉；安吉洛·蒙塔纳里，基于SAT的LTL单程树形表系统编码，3-20[Zbl 1435.68368号]
Färber，迈克尔；塞萨里·卡利西克，非条款连接表证明，21-38[Zbl 1435.03033号]
不列颠，卡塔琳娜；伊万·瓦尔津扎克，上下文可定义的首选表\（\mathcal{ALC}\），39-57[Zbl 1435.68312号]
李楚敏；许多，费利普；琼·拉蒙·索勒，非子句最大可满足性的表演算，58-73[Zbl 1435.68372号]
Dvir，约塔姆；阿诺·阿夫隆，一阶拟正则证明系统，77-93[Zbl 1435.03085号]
蝉蜕、阿加塔；蒂莫·朗（Timo Lang）；雷文莎·拉马纳亚克，通过超序列的非经典逻辑的有界序列计算，94-110[Zbl 1468.03021号]
佛罗伦萨，卡米洛；拉杰夫·戈尔；Graham Lengrand，Stéphane公司，直觉命题逻辑SMT求解的证明理论视角，111-129[Zbl 1435.68367号]
迪迪埃·加尔米奇（Didier Galmiche）；米歇尔·马蒂（Michel Marti）；丹尼尔·梅里，BI逻辑中的关联标记和无标记聚集计算，130-146[Zbl 1468.03024号]
伊莱恩·皮门特尔（Elaine Pimentel）；拉马纳亚克（Ramanayake）、雷文莎（Revantha）；比约恩·莱尔曼，序列化嵌套系统，147-165[Zbl 1468.03075号]
安东尼·利克，序数上数据逻辑的带簇超连续演算，166-184[Zbl 1435.03057号]
拉杰夫·戈尔；勒曼，比约恩，通过线性嵌套序列进行时态逻辑的句法删减和向后证明研究，185-202[Zbl 1435.03084号]
勒曼，比约恩，在嵌套序列中结合单调和正常模态逻辑-与反模型，203-220[Zbl 1468.03023号]
阿克拉维奥、马泰奥；卢茨斯特拉汉堡，关于模态逻辑的组合证明，223-240[Zbl 1435.03041号]
蒂莫·朗（Timo Lang）；卡洛斯·奥拉特（Carlos Olarte）；伊莱恩·皮门特尔（Elaine Pimentel）；Fermüller，Christian G。，有成本证明的博弈模型，241-258[Zbl 1468.03025号]
本杰明·拉尔夫；卢茨斯特拉汉堡，走向组合证明理论，259-276[Zbl 1468.03076号]
戈因纳，丹尼尔；Ţuţu，伊奥努，混合动力学一阶逻辑的Birkhoff完备性，277-293[Zbl 1468.03033号]
De，Abhishek；亚历克西斯·索林，Infinets:无根据证明理论的并行语法，297-316[Zbl 1468.03032号]
雷米·诺列特；亚历克西斯·索林；克里斯汀·塔森，PSPACE-具有最小和最大不动点的线性逻辑中循环证明的线程标准的完整性，317-334[Zbl 1435.03088号]
西蒙·多尔蒂（Simon Docherty）；鲁本·罗伊，N.S。，命题动态逻辑的一个非充分的标记证明系统，335-352[Zbl 1435.03032号]
加布里埃尔·埃布纳，自动直觉定理证明的Herbrand构造，355-373[Zbl 1435.68364号]
戈泽尔，查拉图斯特拉；Jakubův，简；约瑟夫·乌尔班，ENIGMAWatch:ProofWatch遇到ENIGMA，374-388[Zbl 1435.68370号]
爱德华·坎布里扬，行为程序逻辑，391-408[Zbl 1435.68063号]
埃切尼姆，姆纳乔；Iosif，Radu；尼古拉斯·佩尔蒂埃，带一个选择器字段的Prenex分离逻辑，409-427[Zbl 1435.03056号]
乔安·马丁斯。；安德烈·普拉泽；约昂·莱特，《信念软件网络物理系统的动态多弹性微分动态逻辑》，428-445[Zbl 1435.68318号]
爱奥华纳州卢什坦；娜塔莉亚·莫昂；☑特拉安·弗洛林（Traian Florin），使用多分类混合模态逻辑的操作语义和程序验证，446-476[Zbl 1435.68199号]

引用于1审查

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
68伏15 定理证明（自动和交互式定理证明器、推导、解析等）
00时25分 杂项特定利益的会议记录

引文：

Zbl 1371.68015号;Zbl 1391.68006号
PDF格式BibTeX公司 XML格式引用
\textit{S.Cerrito}（编辑）和\textit{A.Popescu}（编），使用分析表和相关方法的自动推理。第28届国际会议，2019年9月3-5日，英国伦敦，TABLEAUX 2019。诉讼程序。查姆：施普林格（2019；Zbl 1428.68011）
全文： DOI程序