×
吉尔根·吉斯尔（编辑）；雷纳·哈内尔（编辑）

自动推理。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。 （英语） Zbl 1195.68005号

计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。xii，534页。(2010).

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

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1149.68003号).
索引文章：
安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼，线性和仿射lambda演算的Curry-style显式替换，1-14[Zbl 1291.03022号]
碧姬·品特卡；乔舒亚·邓菲尔德，Beluga：使用演绎系统进行编程和推理的框架（系统描述），15-21[Zbl 1291.68366号]
西尔维奥·吉拉尔迪；西尔维奥·兰伊斯，MCMT：模型检验模理论，22-29[Zbl 1291.68257号]
卡斯滕·伊勒曼（Carsten Ihlemann）；维奥里卡Sofrone-Stokkerman，论理论组合中的层次推理，30-45[Zbl 1291.03018号]
戈雷，拉吉耶夫；克莱门斯·库普克；德克·帕丁森；卢茨·施罗德，用于联合描述逻辑的全局缓存，46-60[Zbl 1291.03017号]
Despoina的Magka；哈萨克夫，叶夫根尼；伊恩·霍洛克斯，描述逻辑的可牵引扩展\（\mathcal{EL}\），数字数据类型，61-75[Zbl 1291.68383号]
朱利安·巴克斯（Julian Backes）；乍得·E·布朗。，带选择的高阶逻辑分析表，76-90[Zbl 1291.03015号]
布兰切特，贾斯敏·克里斯蒂安；亚历山大·克劳斯，高阶公式的单调性推断，91-106[Zbl 1291.03016号]
Böhme，萨沙；托比亚斯·尼普科，大锤：审判日，107-121[Zbl 1291.68327号]
约翰·范·本特姆，表达性和复杂性之间的逻辑，122-126[Zbl 1291.03021号]
阿里·阿亚德（Ali Ayad）；克劳德·马奇，浮点程序的多重验证，127-141[兹比尔1291.68321]
鲁齐卡皮斯卡；维克多·昆卡，MUNCH–集合和多集合的自动推理器，149-155[Zbl 1291.68367号]
埃琳娜·谢尔曼；布雷迪·J·加文。；马修·德怀尔。，基于类型的部分订单的基于切片的决策过程，156-170[Zbl 1291.68268号]
维奥里卡Sofrone-Stokkerman，参数系统验证的层次推理，171-187[兹比尔1291.68269]
霍德、克里什托夫；劳拉·科瓦奇（Laura Kovács）；安德烈·沃伦科夫《吸血鬼中的插值和符号消除》，188-195年[Zbl 1291.68348号]
Korovin、Konstantin；克里斯托夫·斯特克塞尔，iProver-Eq：基于实例化的等式定理证明器，196-202[Zbl 1291.68354号]
汉斯·德·尼维尔，带部分函数的经典逻辑，203-217[Zbl 1291.03073号]
戈雷，拉吉耶夫；弗洛里安·维德曼，具有逆的命题动态逻辑的最优和无割表，225-239[Zbl 1291.68345号]
马克·卡明斯基（Mark Kaminski）；格特·斯莫尔卡，带有事件的混合逻辑的终止表，240-254[Zbl 1291.03019号]
Cialdea Mayer，玛尔塔；塞里托、塞雷内拉、希律和彼拉多：两个基本混合逻辑的tableau证明程序，255-262[Zbl 1291.68333号]
马库斯·阿德霍尔德，二阶递归程序归纳公理的自动合成，263-277[Zbl 1291.68316号]
大卫·巴尔德（David Baelde）；戴尔·米勒；斯诺，扎卡里，聚焦归纳定理证明，278-292[Zbl 1291.68322号]
Vincent Aravantinos；卡费拉、里卡多；尼古拉斯·佩尔蒂埃，嵌套迭代模式的可判定类，293-308[Zbl 1291.03014号]
Vincent Aravantinos；卡费拉、里卡多；尼古拉斯·佩尔蒂埃，RegSTAB：命题图式的SAT解算器，309-315[Zbl 1291.68317号]
尼古拉·比约纳，线性量词消除作为一个抽象决策过程，316-330[Zbl 1291.68325号]
奥利弗·弗里德曼；拿铁，马库斯；马丁·兰格，基于tableaux和自动机的\（\mathrm{CTL}^{*}\）的决策过程，331-345[兹比尔1257.03035]
菲利普·马里奇；Janičić，普雷德拉格，URBiVA：位向量均匀约简算法，346-352[Zbl 1291.68361号]
Jonathan A.Abourbih。；卢克·布兰尼（Luke Blaney）；阿兰·邦迪（Alan Bundy）；菲奥娜·麦克尼尔，用于半自动猜测的单有效数字演算，354-368[Zbl 1291.68315号]
本赛义德、希查姆；卡费拉、里卡多；尼古拉斯·佩尔蒂埃，完全判别图：带整数指数的索引项，369-383[兹比尔1291.68324]
安吉洛·布里洛特（Angelo Brillout）；Daniel Kroening；Rümmer，Philipp；托马斯·沃尔，无量词Presburger算法的插值序列演算，384-399[Zbl 1291.03112号]
莱昂纳多·德·莫拉；尼古拉·比约纳，Bugs，moles and skeletons:软件开发的符号推理，400-411[Zbl 1291.68377号]
文森特·雪娃（Vincent Cheval）；科蒙·隆德，休伯特；斯特凡尼德劳恩，自动化安全分析：约束系统的符号等价，412-426[兹比尔1291.94068]
Tsvetan Dunchev；亚历山大·莱奇（Alexander Leitsch）；利巴尔，托默；丹尼尔·韦勒（Daniel Weller）；布鲁诺沃尔岑洛格尔古，系统描述：证明转换系统CERES，427-433[Zbl 1291.68338号]
马克斯·克拉默（Marcos Cramer）；彼得·科普克（Peter Koepke）；丹尼尔·库尔温（Daniel Kühlwein）；伯恩哈德·施罗德，Naproche系统中的前提选择，434-440[Zbl 1291.68336号]
马丁·苏达（Martin Suda）；韦登巴赫（Christoph Weidenbach）；帕特里克·维什内夫斯基，关于YAGO的饱和，441-456[Zbl 1291.68372号]
格利姆，伯尔特；伊恩·霍洛克斯（Ian Horrocks）；鲍里斯·莫提克，通过核心块优化描述逻辑推理，457-471[Zbl 1291.68344号]
叶夫根尼·哈萨克夫，描述逻辑中复杂角色包含公理的扩展（mathcal{SROIQ}），472-486[Zbl 1291.68382号]
Nao Hirokawa；阿尔特·米德尔多普，递减图和相对终端，487-501[Zbl 1291.68347号]
弗里德里希·纽罗特（Friedrich Neurauter）；阿尔特米德尔多普；哈拉尔德·赞克，自然数上多项式解释的单调性标准，502-517[Zbl 1291.68365号]
莎拉·温克勒；阿尔特·米德尔多普，有序完成中的终止工具，518-532[Zbl 1291.68376号]

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

MSC公司：

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

引文：

Zbl 1149.68003号
PDF格式BibTeX公司 XML格式引用
\textit｛J.Giesl｝（编辑）和\textit｛R.Hähnle｝（编辑），自动推理。2010年7月16日至19日，第五届国际联合会议，IJCAR 2010，英国爱丁堡。诉讼程序。柏林：施普林格出版社（2010；Zbl 1195.68005）
全文： 内政部