×

自动推理。2014年7月19日至22日,第七届国际联合会议(IJCAR 2014)在奥地利维也纳举行,作为维也纳逻辑之夏的一部分,VSL 2014。诉讼程序。 (英语) Zbl 1293.68021号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 978-3-319-08586-9/pbk)。xxviii,528页。(2014年)。

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

本卷的文章将单独进行审查。有关上一次会议,请参阅[Zbl 1245.68010号].
索引文章:
盖伊·阿夫尼;奥纳·库普夫曼;塔米尔、塔米,从成本分担游戏中的可达性到时间规范,1-15[Zbl 1423.68272号]
维罗尼克·科尔蒂尔,电子投票:逻辑如何帮助,16-25[Zbl 1423.68064号]
拉杰夫·戈尔,And-or tableaux,用于带反转的定点逻辑:LTL、CTL、PDL和CPDL,26-45[Zbl 1423.68415号]
Jasmin Christian布兰切特;安德烈·波佩斯库;德米特里·特拉泰尔统一经典逻辑完备性。一颗共生珍珠,46-60[Zbl 1409.68250号]
弗雷德里克·林德布拉德,高阶逻辑的聚焦序列演算,61-75[Zbl 1423.68421号]
奥里·拉哈夫;尤尼·佐哈尔,基于SAT的分析纯序列结石决策程序,76-90[Zbl 1433.03025号]
马里恩·赫勒。;塞德尔,马蒂娜;阿明·比尔,QBF预处理的统一证明系统,91-106[Zbl 1409.68257号]
卡洛斯·安索特吉;玛丽亚·路易莎(Maria Luisa Bonet);Giráldez-Cru,杰苏斯;约尔迪·利维,SAT公式的分形维数,107-121[Zbl 1423.68429号]
Chocron,Paula;方丹,帕斯卡;克里斯托夫·林盖森,可满足性程序的温和非分离组合,122-136[Zbl 1423.68441号]
埃切尼姆,姆纳乔;尼古拉斯·佩尔蒂埃(Nicolas Peltier);索菲·托雷特,在等式逻辑中生成素数含义的重写策略,137-151[Zbl 1423.68412号]
彼得·鲍姆加特纳(Peter Baumgartner);约书亚·巴克斯(Joshua Bax);乌韦州瓦尔德曼,层次定理证明中的有限量化,152-167[Zbl 1423.68407号]
乔什·伯丁(Josh Berdine);尼古拉·比约纳,通过基于SMT的分区求精计算所有隐含等式,168-183[Zbl 1423.68408号]
吉尔·吉斯尔(Jürgen Giesl);马克·布罗克施米特(Marc Brockschmidt);费边·埃姆斯;弗洛里安·弗洛恩(Florian Frohn);福斯、卡斯滕;Carsten Otto;马丁·普吕克;施耐德-坎普(Peter Schneider-Kamp);托马斯·斯特罗德(Thomas Ströder);斯威德斯基,斯蒂芬妮;雷内·蒂曼,用AProVE自动证明程序终止,184-191[Zbl 1409.68256号]
霍巴赫、马提亚斯;维奥里卡Sofrone-Stokkerman,位置转移:从约束公理化到可达性谓词,192-207[Zbl 1423.68420号]
托马斯·斯特罗德(Thomas Ströder);吉尔·吉斯尔(Jürgen Giesl);马克·布罗克施米特(Marc Brockschmidt);弗洛里安·弗洛恩(Florian Frohn);福斯、卡斯滕;赫塞尔,杰拉;彼得·施奈德·坎普,用指针算法证明程序的终止和内存安全,208-223[Zbl 1423.68110号]
张文辉,时间属性的QBF编码和基于QBF的验证,224-239[兹比尔1423.68296]
Hetzl,Stefan;亚历山大·莱奇(Alexander Leitsch);Reis,Giselle;贾诺斯·塔波尔扎伊(Janos Tapolczai);丹尼尔·韦勒,引入等式逻辑量化削减,240-254[Zbl 1423.68418号]
Vivek Nigam;Reis,Giselle;莱昂纳多·利马,Quati:一个自动证明置换引理的工具,255-261[Zbl 1423.68422号]
拉杰夫·戈尔;吉米·汤姆森;吴杰西,使用全局缓存的直觉命题逻辑的基于历史的定理证明器:IntHistGC系统描述,262-268[Zbl 1423.68417号]
延斯·奥滕,MleanCoP:一阶模态逻辑的连接证明程序,269-276[Zbl 1423.68423号]
塞里托、塞雷内拉;大卫,艾米莉;瓦伦丁·戈兰科,基于最优表的交替时序逻辑可满足性测试决策程序(mathrm{ATL}^+),277-291[Zbl 1423.68410号]
Jeannin,Jean-Baptiste;安德烈·普拉泽,dTL \(^{2}\):混合系统嵌套时间的微分时间动态逻辑,292-306[Zbl 1423.68283号]
比约恩·莱尔曼,公理与具有上下文限制的超连续规则:理论和应用,307-321[Zbl 1425.03026号]
Nalon,Cláudia;乔安·马科斯;克莱尔·狄克逊,合流模态逻辑的子句分解,322-336[Zbl 1425.03008号]
拉杰夫·戈尔;克里·奥尔森(Kerry Olesen);汤姆森,吉米,使用BDD实现tableau calculi:BDDTab系统描述,337-343[Zbl 1423.68416号]
Zeljić,Aleksandar;Christoph M.Wintersteiger。;菲利普·吕默,模型构造近似值,344-359[Zbl 1409.68264号]
埃勒斯,吕迪格;马丁·兰格,在全区间时序逻辑中增量逼近有限可满足性的工具,360-366[Zbl 1423.68414号]
法比奥·帕帕奇尼;雷娜特·施密特(Renate A.Schmidt)。,命题模态逻辑的终止最小模型生成过程,381-395[Zbl 1423.68289号]
奥拉夫·贝尔斯多夫(Olaf Beyersdorff);勒罗伊·周,定理证明在定界和极小蕴涵中的复杂性,403-417[Zbl 1425.03006号]
劳拉·博泽利;塞萨尔·桑切斯,可见线性时序逻辑,418-433[Zbl 1423.68274号]
帕特里克·科普曼(Patrick Koopmann);雷娜特·施密特(Renate A.Schmidt)。,计数和遗忘:(mathcal{SHQ})本体的统一插值,434-448[Zbl 1423.68482号]
安德烈亚斯·斯特格米勒(Andreas Steigmiller);格利姆,伯尔特;托尔斯滕·利比希,表达描述逻辑与基于完成的饱和过程的耦合表算法,449-463[Zbl 1423.68486号]
大卫·卡拉尔(David Carral);克里斯蒂娜·费尔;伯纳多·昆卡·格劳;帕斯卡·希茨勒;伊恩·霍洛克斯,化本体,464-479[Zbl 1423.68487号]
塞兰、伊斯梅尔·伊尔坎;拉斐尔·佩尼亚洛扎,贝叶斯描述逻辑\({\mathcal{BEL}}\),480-494[Zbl 1409.68277号]
迈克尔·比森;沃斯,拉里塔斯基几何中的OTTER证明,495-510[Zbl 1414.68099号]
尼古拉·奥利维蒂;Gian Luca波扎托,NESCOND:条件逻辑嵌套序列计算的实现,511-518[Zbl 1425.68378号]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
第68页第15页 定理证明(演绎、解析等)(MSC2010)
00B25型 杂项特定利益的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部