×

兹马思-数学第一资源

自动推理分析表及相关方法。第28届国际会议,2019年9月3日至5日,英国伦敦,TABLEAUX,会议记录。(英语) Zbl公司 1428.68011
计算机科学讲义11714.人工智能课堂讲稿。查姆:斯普林格(ISBN 978-3-030-29025-2/pbk;978-3-030-29026-9/电子书)。二十一,477 p(2019年)。

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

本卷的文章将单独审查。2018年,TABLEAUX是IJCAR 2018的一部分,参见[Zbl 1391.68006]. 第26届大会,2017年表,见[Zbl 1371.68015].
索引文章:
吉阿蒂,卢卡;吉甘特,尼古拉;蒙塔纳里,安吉洛,一个基于SAT的LTL,3-20的树形表格系统的SAT编码[Zbl 1435.68368号]
Färber,迈克尔;卡利斯齐克,塞扎里,非共通连接表证明,21-38[中银1435.03033]
布里茨,卡塔琳娜;瓦辛扎克,伊万,上下文可撤销的优先表\(\mathcal{ALC}\),39-57[Zbl 1435.68312]
李楚民;很多à, 费利普;索勒,琼·雷蒙,非子句最大可满足性的表演算,58-73[Zbl 1435.68372]
Dvir,约坦;阿文,阿农,一阶拟正则证明系统,77-93[Zbl 1435.03085]
卡巴托尼,阿加塔;朗,提莫;拉玛纳亚克,瑞凡塔,通过超序列对非经典逻辑的有界序列计算,94-110[中银07200663]
佛罗伦萨,卡米洛;戈尔é, 拉吉耶夫;格雷厄姆·伦格兰德,圣é芬尼,直觉命题逻辑SMT求解的证明理论视角,111-129[Zbl 1435.68367]
加尔米切,迪迪埃;玛蒂,米歇尔;é是的,丹尼尔,BI逻辑中有关标记和无标记结石,130-146[中银07200665]
皮门特尔,伊莱恩;拉玛纳亚克,瑞万塔;莱尔曼,北京ö注册护士嵌套系统,165-147[中银07200666]
舔,安东尼,序数数据逻辑聚类的超序列演算,166-184[Zbl 1435.03057]
戈尔é, 拉吉耶夫;莱尔曼,北京ö注册护士,句法切割消除和基于线性嵌套序列的时态逻辑的反向证明搜索,185-202[Zbl 1435.03084]
莱尔曼,北京ö注册护士,在嵌套序列中结合单调和正常模态逻辑-与反模型,203-220[中银07200669]
喝彩,马特奥;斯特拉ß汉堡,卢茨,关于模态逻辑的组合证明,223-240[Zbl 1435.03041]
朗,提莫;奥拉特,卡洛斯;皮门特尔,伊莱恩;蕨类ü勒,克里斯蒂安G。,成本证明的博弈模型,241-258[Zbl 07200671]
拉尔夫,本杰明;斯特拉ß汉堡,卢茨,走向组合证明理论,259-276[中银07200672]
Gă在里面ă, 丹尼尔;Ţ美国ţu、 爱奥尼ţ,混合动态一阶逻辑的Birkhoff完备性,277-293[中银07200673]
德阿披实;索林,亚历克西斯,Infinets:the parallel syntax for non-well-founded proof theory,Infinets:非充分证据理论的并行语法,297-316[中银07200674]
诺莱特,Ré惯性矩;索林,亚历克西斯;塔森,克里斯汀,线性逻辑中具有最小和最大不动点的循环证明的一个线程准则的PSPACE完备性,317-334[中银1435.03088]
多赫蒂,西蒙;罗,鲁本N。美国。,命题动态逻辑的无充分根据的标记证明系统,335-352[Zbl 1435.03032号]
艾伯纳,加布里埃尔,自动直觉定理证明的Herbrand构造,355-373[Zbl 1435.68364]
戈尔采尔,查拉图斯特拉;雅库布ův、 一月;城市,约瑟夫,谜语观察:校对与谜语相遇,374-388[Zbl 1435.68370]
坎伯扬,爱德华德,行为程序逻辑,391-408[Zbl 1435.68063]
伊希尼姆,姆纳乔;Iosif,拉杜;珀尔蒂埃,尼古拉斯,带一个选择器字段的Prenex分离逻辑,409-427[Zbl 1435.03056]
马丁斯,乔ão G。;普拉泽,安德烈é; 莱特,乔ão,信念感知网络物理系统的动态多元论微分动态逻辑,428-445[Zbl 1435.68318号]
亮氨酸ş蒂恩,伊奥娜;呻吟ă, 纳塔莉亚;Şerb公司ăţă, 特拉安·弗洛林,使用多排序混合模态逻辑的操作语义和程序验证,446-476[Zbl 1435.68199]
审核人: 评审员(柏林)
理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68V15型 定理证明(自动和交互式定理证明程序、演绎、解析等)
00B25号 特别关注的杂项会议记录
PDF格式 BibTeX公司 XML 引用
全文: 内政部