×

用于编程、人工智能和推理的逻辑。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。 (英语) Zbl 1135.68002号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 978-3-540-48281-9/pbk)。xiii,588页。(2006).

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

本卷的文章将单独进行审查。上一次会议已经过审查(参见Zbl 1134.68011号).
索引文章:
弗雷德里克·布兰基;Jean-Pierre Jouannaud;阿尔伯特·鲁比奥,高阶终止:从Kruskal到可计算性,1-14[Zbl 1165.03343号]
莱姆,塞巴斯蒂安;皮洛特,皮埃尔,判定正二阶可合性公式的可满足性,15-29[Zbl 1165.68492号]
迈克尔·科迪什(Michael Codish);施耐德-坎普(Peter Schneider-Kamp);维塔利湖;雷内·蒂曼;吉尔根·吉斯尔,SAT求解参数筛选,30-44[Zbl 1165.68484号]
法尔克,斯蒂芬;迪帕克·卡普尔,使用隐式归纳法的归纳可判定性,45-59[Zbl 1165.03313号]
德国福雷,二阶匹配的匹配模超发展应用,60-74[Zbl 1165.03323号]
乔治·莫瑟,重新审视Knuth-Bendix阶的衍生复杂性,75-89[Zbl 1165.68391号]
纪尧姆·邦凡特;Jean-Yves Marion;罗曼·佩乔,用一阶函数程序表征交替测井时间,90-104[Zbl 1138.68357号]
弗雷德里克·布兰基;科林·里巴,组合类型和大小约束,用于检查高阶条件重写系统的终止,105-119[Zbl 1165.68389号]
肯塔罗州菊池,关于直觉序贯演算的局部步骤删减程序,120-134[Zbl 1165.03345号]
蝉蜕、阿加塔;川崎捷瑞《模块化删减:寻找证据或反例》,135-149[Zbl 1165.03344号]
卡斯滕·施尔曼;马克·奥利弗·斯特尔,元理论框架Twelf中HOL/Nuprl连接的可执行形式化,150-166[Zbl 1165.68473号]
理查德·博尼康;奥利维尔·赫曼特,TaMeD的语义完整性证明,167-181[Zbl 1165.68451号]
马丁·吉斯,表格和后续计算的饱和到冗余,182-196[Zbl 1165.03316号]
劳拉·博泽利;雷吉斯·加斯科,用定性Presburger约束扩展的分支时间时序逻辑,197-211[Zbl 1165.03324号]
Fermüller,Christian G。;罗伯特·科西克,结合模糊条件下的超估值和基于程度的推理,212-226[1165.68500兹罗提]
鲍里斯·莫提克;乌尔里克·萨特勒,查询大型描述逻辑库的推理技术比较,227-241[Zbl 1165.68506号]
Tiu,Alwen先生,直觉逻辑局部系统,242-256[Zbl 1165.03307号]
吉尔·巴特;本杰明·格雷戈里;费尔南多·帕斯塔夫斯基,CIC\(\widehat{~}\):归纳结构演算中递归定义的基于类型的终止,257-271[Zbl 1165.03322号]
奥赞·卡拉马诺·乌拉尔,减少结构演算中的不确定性,272-286[Zbl 1165.03346号]
亨德里克·德克尔(Hendrik Decker);戴维·马丁内吉,数据库中完整性和不一致性的宽松方法,287-301[兹比尔1165.68381]
奥纳·库普夫曼;尤亚德·卢斯蒂格;莫舍·瓦尔迪。,关于本地可检查属性,302-316[Zbl 1165.68408号]
科蒂尔、维罗尼克;尤根·兹利内斯库,决定安全协议的密钥周期,317-331[Zbl 1165.94319号]
托拜厄斯·盖德尔;雷纳·哈内尔,通过并行化自动验证循环,332-346[Zbl 1165.68405号]
克里斯特尔·拜尔(Christel Baier);Nathalie Bertrand;菲利普·施诺贝伦,关于结构良好的规则模型检查中的不动点计算,及其在有损信道系统中的应用,347-361[Zbl 1165.68397号]
约翰·马修斯;J.Strother摩尔;雷·桑迪普(Ray,Sandip);达隆·弗隆,通过定理证明生成验证条件,362-376[Zbl 1165.68410号]
艾尔维拉·阿尔伯特;普里阿雷纳斯;德国普埃布拉,抽象关联代码的增量方法,377-391[Zbl 1165.68353号]
佩特扎克;科雷亚斯,耶苏斯;普埃布拉,Germanán;曼努埃尔五世(Manuel V.Hermenegildo)。,模块化程序中上下文敏感的多元断言检查,392-406[Zbl 1165.68411号]
科尔特斯·卡拉比格(Cortés-Calabuig),阿尔瓦罗(Alvaro);马克·德内克(Marc Denecker);奥费尔·阿列利;莫里斯·布吕诺格,局部知识的表示和局部完整数据库中的查询应答,407-421[Zbl 1165.68380号]
菲利普·吕默一阶结构的顺序、并行和量化更新,422-436[Zbl 1165.68376号]
巴勃罗·费洛特拉尼(Pablo R.Fillottrani)。;吉列尔莫·西马里。,表示默认值和否定信息,无否定即失败,437-451[兹比尔1165.68330]
乔纳森·卡瓦纳;大卫·米切尔;特诺夫斯卡,尤金尼亚;Maňuch,Ján;赵晓红;阿文德·古普塔,通过答案集编程构建Camin-Sokal系统发育,452-466[Zbl 1165.92318号]
芭芭拉·菲拉(Barbara Fila);阿南塔拉曼,湿婆,Automata用于压缩文档上的正向核心XPath查询,467-481[Zbl 1165.68384号]
德肖维茨,纳丘姆;乡,杰;Huang、Guan Shieng;Daher Kaiss,基于交集的可满足性的布尔环,482-496[Zbl 1165.03312号]
Harald Ganzinger;康斯坦丁·科洛文,理论实例化,497-511[Zbl 1165.03315号]
克拉克·巴雷特;罗伯特·纽文胡斯(Robert Nieuwenhuis);阿尔伯特·奥利弗拉斯(Albert Oliveras);塞萨尔·蒂内利,SAT模理论中的按需分裂,512-526[Zbl 1165.68480号]
罗伯特·布鲁托梅索;亚历山德罗·西马蒂;安德斯·弗朗森(Anders Franzén);阿尔贝托·格里乔;罗伯托·塞巴斯蒂亚尼,延迟理论组合与Nelson-Oppen关于可满足性模理论的比较分析,527-541[Zbl 1165.68483号]
赫莱内·基什内尔;西尔维奥·拉尼斯;克里斯托夫·林盖森(Christophe Ringeissen);德坎·特兰,基于重写的可满足性过程的自动组合,542-556[Zbl 1165.68490号]
罗伯特·布鲁托梅索;亚历山德罗·西马蒂;安德斯·弗朗森(Anders Franzén);阿尔贝托·格里乔;亚历山德罗·桑塔利亚;罗伯托·塞巴斯蒂亚尼,给阿克曼尺寸还是不给阿克曼尺寸?关于有效处理SMT\((\mathcal{EUF}\cup\mathcal{T})\)中未解释的函数符号,557-571[Zbl 1165.68482号]
鲍姆加特纳,彼得;亚历山大·福克斯(Alexander Fuchs);塞萨尔·蒂内利,模型演化演算中的引理学习,572-586[Zbl 1165.03308号]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
03B70号 计算机科学中的逻辑
68T27型 人工智能中的逻辑
00B25型 其他特别感兴趣的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部