1999年第12届FLAIRS会议:美国佛罗里达州奥兰多
人工智能应用
尤金·桑托斯。 , 斯科特·布朗 , 莫伊斯·莱杰特 , 格雷斯·恩盖 , 希拉·班克斯 , 马丁·斯特茨 :
用于智能信息查询的贝叶斯网络动态用户模型构建。 3-7 伊尔克·古姆斯 , 阿韦利诺·J·冈萨雷斯 :
模拟环境中多智能实体的威胁排序算法。 8-12 埃德森·帕切科·帕拉迪尼 :
使用神经网络的质量保证系统。 13-17 瑟伦·霍尔姆 , 彼得·赫斯特罗姆 , 克劳斯·唐纳 :
KARDIO-心脏护理单元的模拟,旨在研究医疗决策的道德成分。 18-23 詹姆斯·詹宁斯 , 妮可·D·特里 :
走向更智能和交互的界面。 24-31 丽莎·伯内尔 , 阿兰·梅多斯 , 帕特里夏·巴斯 , 基思·E·比格斯 , 约翰·W·牧师 :
RAID:帮助删除程序错误的系统。 32-36 伊恩·芬奇 :
基于知识的系统、视点和万维网。 37-41
人工智能在航天器自主性中的应用
科斯塔斯·萨索利斯 , 朱利安·霍尔兹曼 :
使用基于案例的调度生成卫星控制调度。 43-48 吉姆·范·加斯贝克 , 艾伦·波斯纳 , 布莱恩·巴克利 :
基于SCL的分布式空间分段控制。 49-55 保罗·科布 , 埃里克·雅格 , 查尔斯·雅各布斯 :
使用基于模型的方法进行卫星诊断的任何时间诊断。 56-63 保罗·泽托查 , 兰斯·赛尔夫 :
卫星自主代理技术概述。 64-68 亨利·赫克斯穆尔 :
航天器软件体系结构的自主性。 69-72 马拉·梅赫罗特拉 , 塞尔吉奥·阿尔瓦拉多 , 罗斯·H·温赖特 :
为航天器地面系统知识库的软件工程奠定基础。 73-77
计算机视觉
蒂齐亚娜·德奥拉齐奥 , 格拉齐亚·西西雷利 , 乔瓦尼·阿托利科 , Cosimo Distante公司 :
达成目标行为的强化学习方法。 79-83 朱斯特斯·皮亚特 , 罗德里克·格鲁彭 :
学习视觉歧视的框架。 84-88
数据库和人工智能
Ravindra N.Chittimoori公司 , 劳伦斯·霍尔德 , 戴安·库克 :
将地下亚结构发现系统应用于化学毒性领域。 90-94 何塞·路易斯·布拉加 , 阿尔贝托·H·F·拉恩德 , 克劳迪尼·范德·拉莫斯 :
基于多知识库的协同关系数据库查询。 95-99 罗伯特·希尔德曼 , 霍华德·汉密尔顿 , 布鲁克理发师 :
对数据挖掘系统摘要的有趣程度进行排名。 100-106
进化计算
金丽 , 爱德华·P·K·曾 :
改进技术分析预测:遗传编程的应用。 108-112 马修·埃维特 , 塔吉·M·科什戈夫塔尔 , 裴德谦 , 爱德华·艾伦 :
使用遗传编程来确定软件质量。 113-117 前田洋一郎 :
用于合作行为进化学习的多智能体机器人仿真。 118-123 乔治·纳斯尔 , A.哈布 , 乔治·V·梅加布 :
用于多处理器调度的增强模拟退火技术。 124-128 苏希尔·路易斯 , 朱迪·约翰逊 :
案例初始化遗传算法的鲁棒性。 129-133 Chan-Jin Chung先生 , 罗伯特·雷诺兹 :
基于知识的自适应进化搜索控制。 134-139 迈克尔·波勒 , 弗兰克·W·摩尔 , 易潘 :
使用遗传算法改进的多处理器任务调度。 140-146
智能代理
玛利亚·法斯里 :
面向社会代理的一阶方法:初步报告。 148-152 Samhaa R.El-Beltagy公司 , 艾哈迈德·拉菲亚 , 艾哈迈德·萨米赫 :
基于Agent的专家系统解释方法。 153-159 K.苏珊娜·巴伯 , 瑞恩·麦凯 , 刘泽新 :
动态组织敏感代理系统的组成员服务。 160-165
智能教学系统
Chun Wai Liew先生 , 乔尔·夏皮罗 , 唐纳德·史密斯 :
物理学中代数答案的推理。 167-171 布伦特·奥尔德 , 詹姆斯·霍夫纳 , 帕特里克·奇普曼 , 亚瑟·C·格雷瑟 :
词性标注的连接模型。 172-176 林恩·E·霍尔 , 阿德里安·戈登 , 保罗·布莱克 , 加里·施洗者 :
为基于网络的学习添加智能。 177-180 理查德·斯托特 , Sowmya Ramachandran公司 :
互联网智能教学系统(ITS)和ITS创作的基于案例的推理方法。 181-186 周玉剑 , 雷瓦·弗里德曼 , 迈克尔·格拉斯 , 乔尔·A·迈克尔 , 艾伦·A·罗维克 , 玛莎·伊文斯 :
当学生无法回答问题时,导师应该怎么做? 187-191 Peter M.Wiemer-Hastings公司 , Katja Wiemer铸件 , 亚瑟·C·格雷瑟 :
智能导师对自然语言的近似理解。 192-196 彬彬秋 , 乔尔·A·迈克尔 , 艾伦·A·罗维克 , 玛莎·伊文斯 :
智能教学系统的课程规划模型。 197-201
基于知识的系统
约翰·K·德本汉姆 :
知识对象分解。 203-207 赫尔穆特·普伦丁格 , 石冢光夫 :
为快速推断准备一阶知识库。 208-212 莫里西奥·F·迪巴特 , 路易斯·曼扎纳雷斯 , 卡洛斯·巴托 :
新近出生的出勤机械通风处理专家系统。 213-217
知识管理
Irma Becerra-Fernandez公司 , 大卫·W·阿哈 :
知识管理系统中基于案例的问题解决。 219-223 Irma Becerra-Fernandez公司 :
可搜索答案生成环境(SAGE):佛罗里达州专家搜索的知识管理系统。 224-228
学习
马克·塞布纳 :
关于特征选择:一种新的过滤模型。 230-234 马克·A·霍尔 , 劳埃德·A·史密斯 :
机器学习的特征选择:比较基于相关性的过滤器方法和包装器。 235-239 卡洛斯·里贝罗 , 埃尔德·莫雷拉·海默利 :
一种基于加权实例的情境自主机器人学习算法。 240-243 斯蒂芬·舒尔茨 , 费利克斯·勃兰特 :
在等式定理证明中使用术语空间映射获取搜索控制知识。 244-248
逻辑与人工智能
伊曼纽尔·库纳利斯 , 帕斯卡·乌尔索 :
条件理论中归纳证明的泛化发现。 250-256 叶夫根·切尔卡申 , A.波斯滕科 , 斯坦尼斯拉夫·瓦西利耶夫 , A.哲洛夫 :
智能控制的新逻辑。 257-261 瓦利德·查因比 :
多代理系统:基于组织和通信概念的理论。 262-266
逻辑程序设计
文锦路 :
CH-Prolog:正析取逻辑程序设计的证明程序。 268-272 米歇拉·米兰 , 安德烈亚·奥米西尼 , 法布里齐奥·里古齐 :
在归纳逻辑编程中采用面向对象的数据模型。 273-279 A.S.穆罕默德 , A.加拉尔 , I.哈利勒 , K.Sobh公司 , M.塞利姆 :
DISPO:Prolog程序的分布式多线程执行。 280-284
自然语言处理
比尔·Z·马纳里斯 , 瓦兰娜·麦格沃斯(Valanne MacGyvers) , 米歇尔·拉古达基斯 :
通过语音输入通用访问移动计算设备。 286-292 拉达·米哈尔恰 , 丹·I·摩尔多瓦 :
语义标记语料库的自动获取。 293-297 艾哈迈德·萨米赫 , 塔里克·拉迪 , 拉娜·米哈伊尔 :
学习英语动词的过去时:FOIDL的延伸。 298-302 Sanda M.Harabagiu , 马吕斯·帕斯卡 :
介词短语连接的符号和统计方法集成。 303-307
神经网络应用
安东尼·G·派普 , 兰德尔 , Y.Jin先生 :
在线学习神经控制实验。 309-314 C.达德利·吉拉德 :
方向运动传感领域递归神经网络的自动训练序列生成方法。 315-319 詹姆斯·N·埃瑟里奇 :
AVIRIS谱带灵敏度分析的神经网络方法。 320-324 保罗·卡伦 , 布莱恩·卡斯 :
使用神经网络的ATM网络连接许可控制:商业开发中的研究方向和问题。 325-331 Amr W.Sadek先生 , 赫沙姆·戈尼姆 , 穆斯塔法·莫萨德 :
降水引起的地面沉降的神经网络预测工具。 332-335 马金·帕普日奇奇(Marcin Paprzycki) , 肖恩·鲍尔斯 , 亚伦·科斯泰因斯 :
概率神经网络在大训练集多字体识别问题中的应用。 336-339
并行和分布式推理
杰夫·萨特克利夫 , Darryl Seyfang公司 :
智能选择性竞争并行ATP。 341-345 格诺·斯坦兹 , 安德列斯·沃尔夫 :
遗传编程的策略选择。 346-350 戴安·库克 , 查尔斯·汉农 :
定理证明的自适应并行搜索。 351-355 尤金·桑托斯。 , 所罗门·埃亚尔·西蒙 , 爱德华·迈克尔·威廉姆斯 :
通过协作异构算法的集合(组合)解决难计算问题。 356-360 约阿希姆·德雷格 , 安德列斯·沃尔夫 :
策略并行性和引理评估。 361-365
规划
威尔·布里格斯 , 戴安·库克 :
任何时候的计划,以在慎重计划和被动计划之间实现最佳权衡。 367-370 穆罕默德·阿夫扎尔·乌瓦尔 , 蕾妮·埃利奥 :
学习提高部分订单计划员计划质量的基本原理。 371-377 康秀泰 :
学习机器规划的相反概念。 378-382
关于函数的推理
杨波 , 菲利波·萨卢斯特里 :
基于质量、能量和信息交互作用的功能建模。 384-388 宋大伟 , Kam-Fai Wong先生 , 彼得·布鲁扎 , Chun Hung Cheng先生 :
面向信息检索模型的功能基准。 389-393 奈杰尔休斯 , 恩喜周 , 克里斯·普莱斯 , 马克·H·李 :
使用功能模型自动化机械FMEA。 394-398 汉斯·格拉博夫斯基 , 拉尔夫·斯特凡·洛萨克 , 哈拉尔德·昆泽 :
功能建模:功能结构中动态方面的表示。 399-404
时空推理
弗兰克·D·昂热 , 黛巴斯·米特拉 , 丽塔·罗德里格斯 :
非线性时间的可满足性:算法和复杂性。 406-411 汉斯·盖斯根 , Jochen Albrecht公司 :
空间邻近性的定性概念。 412-416 约阿希姆·赫茨伯格 , 弗兰克·舍纳 :
用推理纠正下水道机器人的里程表错误。 417-421 Driss Kettani公司 , 伯纳德·穆林 :
基于影响区空间模型的寻路应用程序。 422-430 卡罗拉·埃森巴赫 , 克里斯托弗·哈贝尔 , 拉尔斯·库利克 :
将简单轨迹表示为定向曲线。 431-436
不确定推理
延平巷 , 克里斯蒂安·奥列森 , 芬恩·维尔纳·延森 :
用多分段贝叶斯网络建模诊断系统的一些实际问题。 438-443 安德斯·马德森 , 布鲁斯·达姆布罗西奥 :
因果影响和懒惰传播独立性的因子化表示。 444-448 弗拉基米尔·里亚波夫 , Seppo Puuronen公司 , 瓦根·Y·特尔齐扬 :
不确定时间关系的表示与推理。 449-453 哈维尔·平托 , Amílcar Sernadas公司 , 克里斯蒂娜·塞尔纳达斯 , 保罗·马特乌斯 :
情境演算中的不确定性和不确定性。 454-460 A.船艇 , 伯纳德·杜比森 , M.A.Dillies-Peltier博士 :
基于统计模式识别的汽车催化转化器车载诊断。 461-465 詹妮弗·塞泽尔 , 詹姆斯·巴克利 , 阿尔瓦罗·蒙格 :
元模式提取:挖掘周期。 466-470 西蒙·帕森斯 , 瑞秋·A·伯恩 :
系统P中的证明理论推理。 471-476 钟晓敏 , 尤金·桑托斯。 :
通过遗传算法和强化学习进行概率推理。 477-481 Lars Asker公司 , Mats Danielson公司 , 爱艾肯伯格 :
智能报警处理。 482-487
验证、确认和知识库优化
阿韦利诺·J·冈萨雷斯 :
人类行为模型的验证。 489-493 瓦莱丽·巴尔 :
将可靠性工程应用于专家系统。 494-498 克劳斯·詹特克 , 约格·赫尔曼 :
智能系统验证中的知识格。 499-505 尤金·桑托斯。 , 希拉·班克斯 , 斯科特·布朗 , 大卫·巴科姆 :
识别和处理概率知识库验证的结构不完整性。 506-510 豪尔赫·桑托斯 , 路易斯·法里亚 , 卡洛斯·拉莫斯 , 齐塔·A·维尔 , 阿尔比诺侯爵 :
VERITAS-电力系统控制中心实时应用的验证工具。 511-515 Rainer Knauf公司 , 阿韦利诺·J·冈萨雷斯 , 克劳斯·P·詹特克 :
基于案例的系统验证。 516-520 Setsuo Tsuruta公司 , 石田秀美 , Masaki Honma公司 , 中野昭夫 :
电梯维修工程师调度人工智能系统的验证及其知识提炼。 521-525 汉斯·雷纳·拜克 , 克劳斯·詹特克 :
CBL原则的验证。 526-530 德克·萨勒克 , Rainer Knauf公司 :
验证管理器-通过图灵测试类方法进行人工智能系统评估的工具。 531-535
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)