×

机械化数学推理。纪念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]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
00B30型 费斯特施里夫滕
第68页第15页 定理证明(演绎、解析等)(MSC2010)
03B35型 证明和逻辑运算的机械化

传记参考:

谢克曼,Jörg H。

软件:

MKRP公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部