迪特尔·赫特(编辑);沃纳·斯蒂芬(编辑) 机械化数学推理。纪念Jörg H.Siekmann 60岁生日的文章。 (英语) Zbl 1058.68008号 计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 3-540-25051-4/pbk)。ix,565页。(2005). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章:Dieter Hutter;沃纳·斯蒂芬《科学家的画像:逻辑、人工智能和政治》,1-13[Zbl 1098.01514号]安德鲁斯,彼得·B·。,关于证明变换的一些思考,14-29[Zbl 1098.68114号]亚历山德罗·阿曼多;卢卡·孔帕尼亚(Luca Compagna);西尔维奥·兰伊斯,重写和决策过程实验室:结合重写、可满足性检查和引理推测,30-45[Zbl 1098.68694号]亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金奇利亚(Enrico Giunchiglia);福斯托·金西格里亚(Fausto Giunchiglia);阿曼多·塔切拉,基于SAT的自动推理决策程序:统一的观点,46-58[Zbl 1098.68693号]霍华德·巴林杰;Dov Gabbay;约翰·伍兹支持和攻击网络的时间动态:从论证到生态。初始结果。,59-98 [Zbl 1098.68122号]克里斯托夫·拜尔勒;加布里埃尔·克恩·伊斯伯纳,条件足迹,99-119[Zbl 1098.68123号]沃尔夫冈·比贝尔,是时候在人工智能领域大显身手了,120-131[Zbl 1098.68635号]丘巴罗夫,迪米特里;安德烈·沃伦科夫,求解一元类上的一阶约束,132-138[Zbl 1098.68116号]曼弗雷德·科伯,从MKRP到(Omega)mega,139-153[Zbl 1098.68698号]曼弗雷德·施密特·沙乌,高阶统一的可判定变体,154-168[Zbl 1098.03025号]Sieg,Wilfried;萨维里奥·西塔迪尼,正规自然演绎证明(非经典逻辑),169-191[Zbl 1098.03026号]克劳斯·皮特·沃思,隐性和无感应感应的历史和未来:提防旧玉和僵尸!,192-203 [Zbl 1098.68699号]沃斯,拉里《自动推理的繁荣》,204-227[兹比尔1098.68700]弗兰茨·巴德;伊恩·霍洛克斯(Ian Horrocks);乌尔里克·萨特勒,描述逻辑作为语义网的本体语言,228-248[Zbl 1098.68705号]鲍姆加特纳,彼得;乌尔里希·富巴赫、活生生的书籍、自动演绎和其他奇怪的事情,249-267[Zbl 1098.68695号]约翰·范·本特姆,一篇关于破坏和阻挠的文章,268-276[Zbl 1098.68632号]克里斯托夫·本兹穆勒;安德烈亚斯·梅耶(Andreas Meier);索尔奇,沃尔克,桥接定理证明与数学知识检索,277-296[Zbl 1098.68696号]莱昂纳德·博尔克,《自然语言的形式描述:波兰语HPSG语法》,297-320[兹比尔1098.68902]贾姆尼克,马蒂亚;阿兰·邦迪,图式证明的心理效度,321-341[Zbl 1098.03024号]阿明·菲德勒,自然语言证明解释,342-363[Zbl 1098.68697号]艾丽卡,梅利斯为什么要为数学教育做证明规划?如何做?,364-378 [Zbl 1098.97501号]Krieg-Brückner,伯尔尼,面向安全系统中的多媒体教学,379-395[1098.97500兹罗提]曼弗雷德·布罗伊,模型在软件开发中的影响,396-406[Zbl 1098.68543号]Dieter Hutter;谢尔盖·奥特西尔,MAYA正式软件开发,407-432[Zbl 1098.68549号]卡普尔,迪帕克;巴利亚特·纳伦德兰;王立达,用于分析盲签名协议的统一算法,433-451[Zbl 1098.68039号]Mantel,Heiko;阿克塞尔·谢尔,在正式开发中开发安全模型的通用方面,452-475[Zbl 1098.68588号]沃纳·斯蒂芬;布鲁诺·兰根斯坦;安德烈亚斯·农纳加特(Andreas Nonnengart);乔治·洛克,验证支持环境,476-493[Zbl 1098.68545号]马尔科·贝内代蒂;路易斯娅·卡卢奇·艾略,基于SAT的合作规划:提案,494-513[Zbl 1098.68701号]迈克尔·贝茨,面向自主机器人基于平面控制的综合计算模型,514-527[Zbl 1098.68713号]吉姆·多兰,具有准确预知的代理人,528-542[Zbl 1098.68912号]克劳斯·菲舍尔,全息多智能体系统中的自组织,543-563[兹比尔1098.68913] 引用于2文件 MSC公司: 68-06 与计算机科学有关的会议记录、会议、收藏等 00B30型 费斯特施里夫滕 第68页第15页 定理证明(演绎、解析等)(MSC2010) 03B35型 证明和逻辑运算的机械化 传记参考: 谢克曼,Jörg H。 软件:MKRP公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Hutter}(编辑)和textit{W.Stephan}(编),《机械化数学推理》。纪念Jörg H.Siekmann 60岁生日的文章。柏林:施普林格出版社(2005;Zbl 1058.68008) 全文: 内政部