×
尼古拉·奥利维蒂（编辑）

使用分析表和相关方法进行自动推理。第16届国际会议，2007年7月3日至6日，法国普罗旺斯艾克斯TABLEAUX。诉讼程序。 （英语） Zbl 1121.68006号

计算机科学课堂讲稿4548.人工智能讲义。柏林：施普林格出版社（ISBN 978-3-540-73098-9/pbk）。x、 245页。(2007).

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

本卷的文章将单独进行审查。2006年，TABLEAUX成为IJCAR 2006的一部分（见Zbl 1120.68005号). 2005年第14届TABLEAUX会议已经过审查（参见Zbl 1089.68001号).
索引文章：
皮耶罗·A·博纳蒂。，非单调描述逻辑-需求、理论和实现，1[Zbl 1132.68722号]
John-Jules Ch.梅耶。，我们寻求代理验证的圣杯，2-9[Zbl 1132.68738号]
塞萨尔·蒂内利，可满足性模理论的抽象框架，10[Zbl 1132.68684号]
弗兰茨·巴德；拉斐尔·佩尼亚洛萨，公理精确定位于一般画面，11-27[Zbl 1132.68675号]
马提亚斯·巴兹；乔治·梅特卡夫，一阶Łukasiewicz逻辑的证明理论，28-42[Zbl 1133.03010号]
菲利普·巴尔比亚尼；van Ditmarsch，Hans；安德烈亚斯·赫齐格（Andreas Herzig）；蒂亚戈，德利马，一种用于公告逻辑的表格方法，43-59[Zbl 1132.68719号]
本·达维德（Ben-David），肖姆（Shoham）；理查德·特雷弗勒（Richard Trefler）；格兰特·威德尔，带描述逻辑推理的有界模型检查，60-72[Zbl 1132.68465号]
大卫·布雷索林；瓦伦丁·戈兰科；安吉洛·蒙塔纳里（Angelo Montanari）；皮埃特罗·萨拉，稠密序上子区间结构逻辑的Tableau系统，73-89[Zbl 1133.03007号]
林达·布斯曼（Linda Buisman）；拉杰夫·戈雷，双直觉逻辑的无割序列演算，90-106[Zbl 1133.03027号]
奥利维尔·盖斯克特（Olivier Gasquet）；比拉尔说，带分层模态逻辑动态过滤的Tableaux，107-118[兹比尔1132.68678]
罗德里克·贾尔（Roderic A.Girle）。，S0.9和S1附近，119-132[Zbl 1132.03326号]
戈雷，拉吉耶夫；阮林安，EXPTIME tableaux，具有用于描述逻辑的全局缓存，具有传递角色、反向角色和角色层次结构，133-148[兹比尔1132.68731]
石垣隆彦；肯塔罗州菊池，亚直觉谓词逻辑的树序列方法，149-164[Zbl 1132.03312号]
叶卡捷琳娜·科门丹茨卡亚，基于双参数逻辑的序列演算及其多分类表示，165-182[Zbl 1132.03333号]
Neil V.Murray。；埃里克·罗森塔尔，更新减少牵连尝试，183-198[Zbl 1132.68352号]
尼古拉斯·佩尔蒂埃《自下而上处理子句tableaux的方法》，199-215[Zbl 1132.03317号]
安德烈·普拉泽，用于验证参数混合系统的微分动态逻辑，216-232[Zbl 1132.68478号]
亚历山德罗·阿韦隆；吉多·菲奥里诺；乌戈·莫斯卡托表校准仪PITP的改进，233-237[Zbl 1132.68674号]
劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨，KLMLean 2.0：非单调推理的KLM逻辑的定理证明器，238-244[Zbl 1132.68679号]

引用于2评论
引用于1文件

MSC公司：

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

引文：

Zbl 1089.68001号；Zbl 1120.68005号

软件：

PITP项目
PDF格式BibTeX公司 XML格式引用
\textit{N.Olivetti}（编辑），使用分析表和相关方法进行自动推理。第16届国际会议，2007年7月3-6日，法国普罗旺斯艾克斯TABLEAUX。诉讼程序。柏林：施普林格出版社（2007；Zbl 1121.68006）
全文： 内政部