第七届ECAI 1986:英国布莱顿
本笃会 , 大卫·C·霍格 , 卢克·思蒂尔斯 :
《人工智能进展II》,第七届欧洲人工智能会议,ECAI 1986,英国布莱顿,1986年7月20日至25日,会议记录。 出版社 1987 ,国际标准图书编号 0-444-70279-2
学习
基本问题
罗宾·博斯韦尔 :
分析目标回归:问题、解决方案和增强。 ECAI公司 1986 : 3-14 Wray L.邦廷 :
广义吸积及其在归纳和冗余中的应用。 ECAI公司 1986 : 15-23 博维茨 :
UNIMEM,通用学习系统:概述。 ECAI公司 1986 : 25-35 沃尔特·范德维尔德 :
可解释的知识生产。 ECAI公司 1986 : 37-51 马滕·范·萨默伦 :
基于知识的学习:减少规则学习的描述空间。 ECAI公司 1986 : 53-59
类比
凯瑟琳·格兰杰 :
基于知识的对象分类系统中的模糊推理。 ECAI公司 1986 : 61-68 宇文所安 :
类比匹配的启发式。 ECAI公司 1986 : 69-81 丽莎·F·劳 :
基于归纳的检索。 ECAI公司 1986 : 83-92 肯·韦尔奇 , 马琳·琼斯 :
计算类比。 ECAI公司 1986 : 93-102
发现与人类问题解决
沃纳·埃姆德 :
积木世界的大洪水或非累积学习。 ECAI公司 1986 : 103-109 小肯尼斯·W·哈斯。 :
发现系统。 ECAI公司 1986 : 111-120 伤口N.H.Jansweijer , 简·J·埃尔肖特 , 鲍勃·J·维林加 :
新手问题解决者的专业知识。 ECAI公司 1986 : 121-130 Viviane Jonckers公司 :
通过变异探索算法。 ECAI公司 1986 : 131-143 罗伯特·劳勒 :
协同适应与认知结构的发展。 ECAI公司 1986 : 145-156
知识表示
知识表示基础
约翰·巴登 :
解读命题态度报告:走向更大的自由和控制。 ECAI公司 1986 : 159-173 维托尔德·卢卡斯泽维奇 :
异常最小化:一个简单的默认推理系统。 ECAI公司 1986 : 175-182 约夫·肖姆 :
物化时间逻辑:语义和本体考虑。 ECAI公司 1986 : 183-190 亚伦·斯洛曼 :
没有因果关系的参考。 ECAI公司 1986 : 191-203
知识表示系统
朱塞佩·阿塔迪 :
OMEGA中的并发策略执行。 ECAI公司 1986 : 205-214 Benoit先生 , 伊夫·卡索 , 费里翁(Ch.Pherivong) :
LORE中的知识表示和交流机制。 ECAI公司 1986 : 215-224 让-皮埃尔·布里奥 , 皮埃尔·科因特 :
OBJVLISP模型:统一、自反和可扩展面向对象语言的定义。 ECAI公司 1986 : 225-232 埃尔维·考夫曼 , 阿兰·格鲁姆巴赫 :
MULTILOG:逻辑编程中的多个单词。 ECAI公司 1986 : 233-247 帕蒂·梅斯 :
知识表征的反思。 ECAI公司 1986 : 249-262 克里斯·范·马克 :
知识表示中一致性维护的并行算法。 ECAI公司 1986 : 263-275
逻辑与演绎
朱塞佩·阿塔迪 , 安德烈亚·科拉迪尼 , S.Diomedi公司 , 玛丽亚·西米 :
分类推理。 ECAI公司 1986 : 277-286 苏珊·比昂多 :
归纳法机械化证明的合成系统。 ECAI公司 1986 : 287-296 贝特里斯·杜瓦尔 , 伊夫·科德拉托夫 :
不确定和不一致数据基础中的自动扣除。 ECAI公司 1986 : 297-304 克莉丝汀·弗洛伊德沃 :
分类缺省理论。 ECAI公司 1986 : 305-311 约翰·加拉赫 :
通过专业解释器转换逻辑程序。 ECAI公司 1986 : 313-326 D.古森 :
分区图中的自动节点识别:在保持完整性的同时限制搜索空间。 ECAI公司 1986 : 327-333 马修·亨巴赫 :
归纳推理程序综合。 ECAI公司 1986 : 335-344 保罗·雅克 , 玛丽·劳雷·波特 :
程序综合=证明方法+知识(递归函数综合示例)。 ECAI公司 1986 : 345-356 朱迪亚·珀尔 , 阿扎里亚·巴兹 :
图形:基于图形的逻辑,用于关联关系推理,或者如果你已经知道z,那么x什么时候会告诉你更多关于y的信息? ECAI公司 1986 : 357-363 约格·希克曼 :
统一理论。 ECAI公司 1986 : 365-400
自然语言
吉尔特·阿德里安斯 :
修订并应用于荷兰语的WEP(单词专家解析)。 ECAI公司 1986 : 403-416 乌多·哈恩 :
词汇分布式文本分析的广义词专家模型。 ECAI公司 1986 : 417-425 保罗·雅各布斯 :
国王自然语言生成器。 ECAI公司 1986 : 427-436 玛格丽特金 :
机器翻译的前景。 ECAI公司 1986 : 437-448 奥利维罗股票 :
基于词汇的句法分析中的动态统一。 ECAI公司 1986 : 449-458
专家系统
深度模型的专业知识和使用
斯蒂格·K·安徒生 , 斯蒂恩·安德烈森 , 玛丽安·沃尔德比 :
肌电图领域诊断和测试规划的知识表示。 ECAI公司 1986 : 461-472 W.F.时钟 , A.J.摩根 :
定性控制。 ECAI公司 1986 : 473-479 马西莫·加兰蒂 , 卢卡·吉拉多尼 , 乔瓦尼·吉达 , 阿尔贝托·斯特凡尼尼 :
在复杂工业系统诊断中利用物理和设计知识。 ECAI公司 1986 : 481-495 鲍勃·威林加 , J.A.布鲁克 :
专业知识模型。 ECAI公司 1986 : 497-509 罗伯特·沃登 , M.H.脚部 , J.A.奈特 , 斯蒂格·K·安徒生 :
协同专家系统。 ECAI公司 1986 : 511-526
专家系统工具
保罗·科恩 :
专家系统中的数字和符号推理。 ECAI公司 1986 : 527-541 菲利普·J·海斯 :
为基于知识的系统集成自然语言和图形交互的步骤。 ECAI公司 1986 : 543-552 约翰·琼斯 , 马克·米林顿 , 彼得·罗斯 :
Prolog中的黑板外壳。 ECAI公司 1986 : 553-561 邦妮·A·纳尔迪 , E.安妮·保尔森 :
AI应用程序中具有真理维护的多个世界。 ECAI公司 1986 : 563-572 Jean-Paul Sansonnet公司 :
人工智能应用机器:MAIA。 ECAI公司 1986 : 573-583
视觉与机器人
安德鲁·布雷克 , 安德鲁·齐瑟曼 , A.V.帕普利亚斯 :
弱连续约束生成平面曲线的统一尺度空间描述。 ECAI公司 1986 : 587-597 希拉里·巴克斯顿 , 尼克·威廉姆斯 :
一种快速并行算法在光流提取和解释中的应用。 ECAI公司 1986 : 599-605 拉杜·霍拉德 :
结合图像和空间推理进行模型检索。 ECAI公司 1986 : 607-616 克里斯蒂安·劳吉尔 , 帕斯卡·塞维内奥 :
使用几何推理技术规划基于传感器的零件加工运动。 ECAI公司 1986 : 617-629 丽娜·马松 , 彼得罗·莫拉索 :
智能路径规划中的类比和命题知识。 ECAI公司 1986 : 631-641 爱德华·P·K·曾 :
在时间框架中生成计划。 ECAI公司 1986 : 643-657 大卫·E·威尔金斯 :
分层规划:定义和实施。 ECAI公司 1986 : 659-671
总结性愿景文件
克莱夫·辛克莱尔 :
人工智能的原因和时间。 ECAI公司 1986 : 675-679
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)