8.AIMSA 1998年:保加利亚索佐波尔
福斯托·金奇利亚 :
《人工智能:方法、系统和应用》,第八届国际会议,AIMSA’98,保加利亚索佐波尔,1998年9月21日至13日,会议记录。 计算机科学课堂讲稿 1480, 施普林格 1998 ,国际标准图书编号 3-540-64993-X号 加利亚·安吉洛娃 , Ognian Kalaydjiev公司 , 沃尔特·冯·哈恩 :
失败的收获:使用回指解析的副作用进行术语一致性检查。 1-13 莉莉亚娜·阿迪索诺 , 吉多·波埃拉 :
NL对话框接口的代理模型。 14-27 亚历山德罗·阿曼多 , 艾丽卡·梅利斯 , 西尔维奥·兰伊斯 :
逻辑编程和自动演绎中的约束求解:比较。 28-38 马可·贝奥莱蒂 , 斯特凡诺·马库吉尼 , 阿尔弗雷多·米拉尼 :
SATPLAN在有约束规划中的扩展。 39-49 菲利普·巴尔比亚尼 , Jean-François Condotta女士 , 路易斯·法利尼亚斯·德尔·塞罗 , 奥马尔·奥斯马尼 :
关于广义区间的推理。 50-61 马西莫·贝内雷切蒂 , 保罗·布凯 , 奇亚拉·吉迪尼 :
形式化信仰报告——方法和案例研究。 62-75 法里德·本哈迈迪 , 帕斯卡·尼古拉斯 , 托尔斯滕·绍布 :
优先缺省逻辑中的扩展微积分和查询回答。 76-87 贝莱德·本哈莫 , 阿马尔群岛 :
定性时间间隔网络中的对称性研究。 88-101 克里斯托夫·本兹穆勒 , 沃尔克·索尔格 :
用于指导交互式证明的黑板结构。 102-114 碧姬·贝桑特 , 埃里克·格雷戈里 , 皮埃尔·马奎斯 , 拉赫达尔·赛斯 :
结合非单调推理和信念修正:一种实用方法。 115-128 Veselka Boeva公司 , 埃琳娜·齐波科娃 , 伯纳德·德·贝茨 :
用克里普克的语义学建模不确定性。 129-140 塞雷内拉·塞里托 , Marta Cialdea Mayer公司 :
使用线性时序逻辑来建模和解决规划问题。 141-152 阿梅迪奥·塞斯塔 , 马塞洛·科利亚 , 丹妮拉·达洛伊西 :
用于安排会议的可定制交互代理。 153-166 Lassaad Cheikhrouhou公司 , 约格·希克曼 :
规划对角化证明。 167-180 伊利亚斯·奇切克利 :
故障诊断理论与证明。 181-194 克劳迪奥·德列克斯 :
不确定证据下的非单调推理。 195-208 克里斯托·迪切夫 :
具有导入上下文的多上下文系统。 209-220 毛罗·迪曼佐 , 恩里科·金奇利亚 , 西蒙·鲁菲诺 :
通过确定性领域中的模型检查进行规划:初步报告。 221-229 约阿希姆·德雷格 :
自动推理中有用引理知识的获取。 230-239 罗杰尔·范·埃伊克 , 弗兰克·S·德·波尔 , 威比·范德霍克 , 约翰·朱尔斯·查·梅耶 :
在多智能体系统中构建单个词汇之间的翻译。 240-253 路易斯·法利尼亚斯·德尔·塞罗 , 安德烈亚斯·赫齐格 , 多米尼克·隆宁 , 奥马尔·里菲 :
合作对话中的信念重建。 254-266 奇亚拉·吉迪尼 , 卢西亚诺·塞拉菲尼 :
信息集成的模型理论语义。 267-280 H.阿勒泰·居维尼 :
一种对无关特征鲁棒的分类学习算法。 281-290 Hisashi Hayashi先生 :
通过添加目标实现知识同化和证据恢复。 291-302 安东尼斯·卡卡斯 , 伊芙琳娜·拉姆 , 法布里齐奥·里古齐 :
学习多重谓词。 303-316 Churn-Jung Liau公司 :
模态推理与粗糙集理论。 317-330 何塞·加布里埃尔·佩雷拉·洛佩斯 , 乔·巴尔萨 :
克服NLP系统中的不完整信息-动词子分类。 331-340 兹拉夫科·马尔科夫 , 尼古拉·佩洛夫 :
基于包容格的归纳学习框架。 341-352 阿纳托利·纳切夫 , 尼尔·格里菲斯 , 亚历山大·格洛夫 :
动态学习-ART2神经网络中的遗忘方法。 353-362 丹尼尔·帕霍奇克 :
基于知识的系统中新信息的语言否定新方法。 363-376 罗伯托·塞巴斯蒂亚尼 , 阿道夫·维拉菲奥里塔 :
基于SAT的正规模态逻辑决策程序:一个理论框架。 377-388 埃夫格尼·斯米尔诺夫 , 彼得·布拉斯宾宁 :
使用基于实例的边界集的版本空间收缩。 389-402 伊戈尔·斯特芬 :
一种新的抽象逻辑程序设计语言及其析取逻辑程序设计量词消除方法。 403-416 塔尔坎·塔希恩 , 邓肯·费夫·吉利斯 :
从数据中学习贝叶斯网络分类器的新方法:使用观察到的统计频率。 417-426 阿道夫·维拉菲奥里塔 :
抽象作为一种精化宽容的形式。 427-437 Ioannis P.Vlahavas先生 , 尼克·巴西利亚德斯 , 伊利亚斯·萨凯拉里奥 , 马丁·莫利纳 , 萨沙·奥斯索夫斯基 , 伊万·富托 , 佐尔坦·帕什托 , 杰诺斯·塞雷迪 , 伊戈尔·维比茨基 , 谢尔盖·耶尔索夫 , 谢尔盖·戈卢布 , 伊戈尔·内特森 :
国家数据网络管理分布式专家系统的系统架构。 438-451 安德列斯·沃尔夫 :
定理自动证明的策略选择。 452-465 强阳(Qiang Yang) , 艾琳·阿比·赛德 , 吕克·拉蒙塔涅 :
智能态势评估代理。 466-474 叶一鸣 , 约翰·特索斯 :
知识粒度和行动选择。 475-488 Zhong Zhang(钟章) , 强阳(Qiang Yang) :
面向基于案例的连续推理的基于案例的索引的终身维护。 489-500