第八届ICTAI 1996年:法国图卢兹
第八届人工智能工具国际会议,ICTAI’96,法国图卢兹,1996年11月16-19日。 IEEE计算机学会 1996 ,国际标准图书编号 0-8186-7686-8
遗传算法
菲利普·科拉德 , 凯西·埃斯卡佐 , 阿莱西奥·加斯帕 :
时间相关优化的进化方法。 2-9 富尔维奥·科诺 , 保罗·普里内托 , Matteo Sonza重组 :
数字电路测试逻辑自动生成的遗传算法。 10-16 刘天乐 , 爱德华·P·K·曾 :
将基于变异的遗传算法应用于处理器配置问题。 17-24 岛岛久志 :
一种新的基于大变异率和群体最优选择的遗传算法(GALME)。 25-32
不确定性推理
安东尼·亨特 :
使用默认逻辑的智能文本处理。 34-40 理查德·华盛顿 :
增量Markov模型规划。 41-47 帕特里克·法比亚尼 :
认知策略与信念的时间表征。 48-51 罗伯特·哈林顿 , 希拉·班克斯 , 尤金·桑托斯。 :
GESIA:通用专家系统智能用户界面的基于不确定性推理。 52-55
自然语言处理
罗伯特·盖扎乌斯卡斯(Robert J.Gaizauskas) , 哈米什·坎宁安 , 威尔克斯 , 彼得·罗杰斯 , 凯文·汉弗莱斯 :
GATE:一个支持自然语言工程研究和开发的环境。 58-66 维罗尼卡·达尔 , 安德鲁·福尔 , 斯蒂芬·罗什福特 , 保罗·塔劳 :
基于假设推理的NL处理框架。 67-70 斯蒂芬诺斯·米科斯 , Efstathios Stamatatos公司 , 尼科斯·法科塔基斯 , 乔治·科基纳基斯 :
基于文体方面的经验文本分类计算模型。 71-77
知识库技术I
泽维尔·塔龙 , 克里斯汀·皮尔雷特·戈尔布雷奇 :
任务:从规范到实施。 80-87 简·范蒂宁 , 埃尔克·德里斯 , 杰伦·凯彭斯 :
表格知识库中的聚类知识。 88-95 马丁·斯塔特 , 马蒂亚斯·贾克 , 克里斯托弗·奎克斯 :
高级知识库服务器中的活动更改通知。 96-99
知识获取与机器学习I
马可·里切尔迪 , 皮尔·卢卡·兰齐 :
ADHOC:执行有效特征选择的工具。 102-105 香塔尔·雷纳德 , 法国侵权行为 :
专业知识本体论在知识工程过程中的应用。 106-109 三浦高雄 , Isamu Shioya先生 :
分类系统的知识获取。 110-115
人工智能应用I
马丁·亨兹 , 斯特凡·劳厄 , 德特列夫·齐默尔曼 :
COMPOzE:通过约束编程进行基于意图的音乐创作。 118-121 迈克尔·J·贝克 , 劳伦特·夏奈 , 米歇尔·乔布 , 贝诺·特莱梅尔 , 布里吉特·萨法尔 , 丹尼尔·施林格(Daniel Schlienger) :
将专家医学评论对话的功能整合到图形界面的设计中。 122-129
约束满足
皮埃尔·达戈 , Gérard Verfaillie先生 :
有值约束满足问题的不良记录。 132-139 B.M.W.Cheng先生 , 吉米·何曼·李 , 吴建昌(J.C.K.Wu) :
使用冗余建模方法的基于约束的护士排班系统。 140-148 约格·沃茨 :
Oz Scheduler:用于调度问题的工作台。 149-156 维塔利·特勒曼 , 德米特里·乌沙科夫 :
作为一种约束规划的亚定义模型。 157-164
定性推理
法塔马·布瓦利 , 圣埃芬·洛伊索 , 玛丽·克里斯汀·罗塞特 :
合并规则库调试的测试和验证。 166-169 岳旭 , 张成琦 :
一种改进的关键诊断推理方法。 170-173 M.特蕾莎·埃斯克里格 , 弗朗西斯科·托莱多 :
用定性距离增强机器人路径规划的定性相对定向。 174-182 Baher A.El-Geresy公司 , 阿利亚·阿卜杜尔莫蒂 :
空间秩序:空间推理的一般形式主义。 183-191
神经网络I
约翰·瓦西洛普洛斯 , 克里斯·库特苏格拉斯 :
库仑能量网络训练方案的改进。 194-199 Seung Soo Han(韩升洙) , 加里·S·梅 :
用遗传算法优化神经网络结构和学习参数。 200-206 奥利维·米歇尔 , 菲利普·科拉德 :
人工神经发生:在自主机器人中的应用。 207-214
知识库技术II
桑达·哈拉巴吉乌 , 丹·I·摩尔多瓦 :
巴黎:平行推理系统。 216-223 玛丽·皮埃尔·乔维特 , 弗洛伦斯·勒贝尔 :
领域知识表示的知识库和代理。 224-227 克里斯汀·皮尔雷特·戈尔布雷奇 :
动态知识修正。 228-231
知识获取与机械学习II
罗恩·科哈维 , 丹·索默菲尔德 , 詹姆斯·多尔蒂 :
使用MLC++的数据挖掘:C++中的机器学习库。 234-245 霍华德·汉密尔顿 , 罗伯特·希尔德曼 , 尼克·塞尔科内 :
使用领域泛化图的面向属性归纳法。 246-253 郑子建 :
不同类型新定语对建构归纳的影响。 254-257
神经网络II
P.W.伊洛特 , A.J.格里菲思 :
基于人工智能的抽油系统决策支持工具的开发。 260-267 乔治·坦伯拉齐斯 :
将逻辑神经网络应用于手写字符识别任务。 268-271 拉菲克·布拉姆 :
具有长范围反馈的神经网络:稳定动力学设计。 272-275
约束满足II
迈克尔·登特 , 罗伯特·默瑟 :
前向检查算法及其导数的实证研究。 278-285 阿塞夫·克梅斯 , 菲利普·杰古 :
两种新的需要小空间复杂度的约束传播算法。 286-289 艾尔文·C·M·关 , 爱德华·P·K·曾 :
带有回溯和冲突定向回跳的最小前向检查。 290-298 罗穆尔·德布鲁恩 :
动态CSP中的电弧一致性不再是禁止的。 299-307
自动推理
法比奥·马萨奇 :
上下文数据库的近似推理。 308-315 拉希德·雅库布 , 米歇尔·杜玛丝 , 吉尔斯·阿尔诺 :
聚焦原因维护系统的解决策略。 316-323 埃琳娜·马尔奇奥里 , 马西莫·马尔奇奥里 , Joost N.Kok公司 :
前向跟踪:一种超越失败的搜索技术。 324-331 克拉拉·皮祖蒂 :
用整数规划计算素蕴涵。 332-336
规划
巴巴克·哈米德扎德 , 阿里雷扎·阿夫沙尔 :
动态任务域中的机会主义行为及其自动调整。 338-345 托马斯·利奥·麦克卢斯基 , 戴安·基钦(Diane E.Kitchin) , J.M.波蒂厄斯 :
以对象为中心的规划:将经典规划从文字层面提升到对象层面。 346-353 尼科斯·A·弗拉西斯 , 尼基塔斯·M·斯古罗斯 , G.埃夫提沃利迪斯 , 乔治·帕帕康斯坦蒂努 , Tsanakas帕纳约提斯 :
自主定性导航的全局路径规划。 354-359 阿方索·杰列维尼 , 安娜·佩里尼 , 弗朗西斯科·里奇 :
管理时间约束的增量算法。 360-365
知识表示
查尔斯·卡斯特尔 , 劳伦特·乔德龙 , 凯瑟琳·特西尔 :
用于Petri网解释的一阶C-Cubes:在动态场景理解中的应用。 366-373 巴兹利斯·布钦纳斯 :
关于管理非单调传递关系。 374-382 迈克尔·赫斯 :
混合层逻辑表示的演绎。 383-390
非标准逻辑
奥弗·阿里埃利 , 阿诺·阿夫伦 :
正确分层知识库的自动诊断。 392-399 莱拉·阿姆古德 , 克劳德特·凯洛尔 , 丹尼尔·勒贝雷 :
为基于参数的推理使用首选顺序比较参数。 400-403 塞勒姆·本费哈特 , 劳伦特·加西亚 :
使用条件知识库进行推理的局部方法。 404-407
人工智能应用II
海报会议I
蒂埃里·卡斯特尔 :
用Davis和Putnam程序的变体计算素蕴涵和素蕴涵。 428-429 宫岛博美 , 马立新 , 水洼宏之 :
高阶随机神经网络的动态特性。 430-431 弗朗西斯·范·埃肯 :
《经纪人与演员见面的沙龙》。 432-433 蒂埃里·卡福利斯 , 库尔特会议 :
用递归神经网络实现经验建模技术。 434-435 迈克尔·施罗德 , 阿尔梅达·莫拉 , 路易斯·莫尼兹·佩雷拉 :
一种基于逻辑编程的考虑式和反应式诊断代理。 436-437 贝哈吉说 , 阿马尔·伊斯利 :
调度问题求解中的人工智能工具:基于TCSP“良好行为”约束的求解器。 438-439 比阿特丽斯·拉泽里尼 , 弗朗西斯科·马塞洛尼 :
模糊推理中的合理结论。 440-442 阿戈斯蒂诺·波吉 :
集成代理和对象以开发分布式AI系统。 443-444 珍妮·米歇尔·加隆 , 弗朗索瓦·夏皮莱 :
基于Hopfield神经网络的近似算法组合,用于构建基于资源的调度程序。 445-446 C.玛丽·弗朗索瓦斯·卡努特 , 穆里埃尔·埃洛伊 :
智能学习/教学系统的基于任务的生产环境:“NGE”内核。 447-449 马克·爱德华兹 , 尤金·桑托斯。 , 希拉·班克斯 , 马丁·斯特茨 :
分布式虚拟环境的计算机生成智能伴侣。 450-452
海报会议II
尼古拉斯·普尔科维奇 :
一种求解低通信成本CSP的分布式算法。 454-455 马德琳·吉拉德 :
创建和管理分布式应用程序的助理代理。 456-457 乔治·蒂姆 , 埃米尔·费斯勒 :
构建非布尔问题神经网络的布尔方法。 458-459 菲利普·布莱切 :
命名析取与句法歧义的惰性评价。 460-461 卡洛斯·卡斯特罗 :
作为推理过程的二进制CSP求解。 462-463 尼古拉·拉莫克斯 , 多米尼克·丰丹 :
通过计算约束图之间的时间接近指数来识别场景。 464-466 若昂·马尔克斯·席尔瓦 , 卡伦·萨卡拉 :
可满足性搜索算法中的冲突分析。 467-469 杰成 , 大卫·A·贝尔 , 刘伟如 :
关系数据库中知识表示和推理的实用方法。 470-471 路易斯·桑佐尼 , 理查德·邦纳 , 陈林戈 :
多项式后处理感知器。 472-474 加里·霍尔 , 弗雷德·波波维奇 , 丹·法斯 :
自然语言编辑控件:用户界面中受约束的自然语言设备。 475-477 戈斯·特拉杰切夫斯基 , 豪尔赫·洛博 , 纳文·格罗弗 :
Meta Updater:用于知识库中最小视图更新的交互式工具。 478-479 马克·A·爱德华兹 , 希瑟·M·鲍威尔 , 多米尼克·帕尔默·布朗 :
超媒体环境中自然语言探索工具的比较评估。 480-483 Younes Chtioui公司 , 多米尼克·贝特朗 , 玛丽·弗朗索瓦斯·德沃 , 多米尼克·巴巴 :
混合神经网络在人工视觉种子识别中的应用。 484-489 托尼·林德伯格 :
自动缩放选择作为解释真实世界数据的预处理阶段。 490-490
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)