24.KI/9。 ØGAI 2001:奥地利维也纳
弗兰兹·巴德 , 格哈德·布鲁卡 , 托马斯·艾特 :
KI 2001:《人工智能进展》,德国/奥地利人工智能联合会议,奥地利维也纳,2001年9月19日至21日,会议记录。 计算机科学课堂讲稿 2174, 施普林格 2001 ,国际标准图书编号 3-540-42612-4
受邀捐款
迈克尔·卡恩斯 :
计算博弈论与人工智能。 1 法蒂玛·奥兹坎 , V.S.Subrahmanian公司 , Leana Golubchik公司 :
最佳代理选择。 2-17
精选论文
阿纳托利·德吉亚列夫 , 迈克尔·菲希尔 :
朝向一阶时间分辨率。 18-32 拉尔夫·库斯特斯 , 拉尔夫·莫利托 :
用存在限制逼近描述逻辑中的大多数特定概念。 33-47 托马斯·拉格 :
贝叶斯学习和进化参数优化。 48-62
基金会论文
利维乌·巴迪亚 , 多伊娜·蒂利娃 :
依赖流的诱拐部分订单规划。 63-77 马伦·本内维茨 , 沃尔夫拉姆·伯加德 , 塞巴斯蒂安·特龙 :
解耦路径规划技术中基于约束的优先方案优化。 78-93 亚历山大·波奇曼 :
轻信和收缩推理的可能世界语义。 94-105 马蒂亚斯·布罗克斯瓦尔 :
再论分支时间的点代数。 106-121 斯特凡·布吕宁 :
利用连接演算中的条件等价。 122-137 黛博拉东区 , 米罗斯瓦·特鲁兹琴斯基 :
答案集编程中的命题可满足性。 138-153 斯特凡·埃德尔坎普 :
用谱分析预测规则搜索树的生长。 154-168 斯特凡·埃德尔坎普 , 乌尔里希梅尔 :
记忆有限搜索中时空权衡的理论与实践。 169-184 亚历山大·费尔费尔尼格 , 格哈德·弗里德里希 , 迪特马尔·贾纳赫 , 马库斯·斯图普特纳 , 马库斯·赞克 :
大型配置程序知识库的分层诊断。 185-197 亚历山大·费尔费尔尼格 , 格哈德·弗里德里希 , 迪特马尔·贾纳赫 , 马库斯·赞克 :
面向分布式配置。 198-212 亨利克·格罗斯克鲁兹 , 格哈德·莱克梅耶 :
pGOLOG框架中的信念更新。 213-228 福尔克·胡夫纳 , 斯特凡·埃德尔坎普 , 亨宁·费尔诺 , 罗尔夫·尼德迈尔 :
寻找Atomix的最佳解决方案。 229-243 吉罗·伊万 :
情境演算框架中基于历史的诊断模板。 244-259 沃伊西奇·贾姆罗加 :
不完全信息博弈的防御模型。 260-274 泽尼普·克孜尔坦 , 皮埃尔·弗莱纳 , 布拉希姆·赫尼奇 :
面向CSP应用领域的推断标签启发。 275-289 伊夫·马丁 , 迈克尔·泰尔舍尔 :
解决FLUX中的鉴定问题。 290-304 弗兰克·舍纳 , 米哈伊拉·西斯特坎 , 约阿希姆·赫茨伯格 , 托马斯·克里斯塔勒 :
从基于行为的机器人的激活值历史中提取情境事实。 305-319 斯蒂芬·舒尔茨 :
学习等式定理证明的搜索控制知识。 320-334 Gerd Stumme公司 , 拉菲克·陶伊 , 伊夫·巴斯蒂德 , 尼古拉斯·帕斯基尔 , 洛特菲·拉哈尔 :
基于形式概念分析的关联规则智能构造与约简。 335-350 马库斯·斯图普特纳 , 多米尼克·威兰德 , 弗兰兹·沃塔瓦 :
比较两种软件调试模型。 351-365 迈克尔·泰尔舍尔 :
通过感知行动推断隐含状态知识和计划。 366-380
关于应用程序的论文
乔治·阿纳斯塔萨基斯 , 蒂姆·里钦斯 , 主题词Panayiotopoulos :
作为智能虚拟环境的多代理系统。 381-395 肖恩·贝奇霍夫 , 伊恩·霍洛克斯 , 卡罗尔·高布尔 , 史蒂文斯 :
OilEd:语义Web的合理本体编辑器。 396-408 克里斯托夫·本兹穆勒 , 马蒂亚·贾姆尼克 , 曼弗雷德·科伯 , 沃尔克·索尔格 :
使用面向代理的推理系统进行实验。 409-424 托尔斯滕·贝尔克 , 迈克尔·贝茨 :
学习执行导航计划。 425-439 格哈德·弗利申德尔 , 托马斯·哈维尔卡 , 赫维格·施莱纳 , 马库斯·斯图普特纳 , 弗兰兹·沃塔瓦 :
DiKe-一种基于模型的诊断内核及其应用。 440-454
工业文件
格哈德·弗利申德尔 :
应用于配置的约束。 455-458 贾娜·科勒 :
从理论到实践:高性能电梯控制的人工智能规划。 459-462 凯·勒贝思 :
知识管理门户中的语义网络。 463-466 库尔特·桑德梅尔 :
协同供应网管理。 467-470