国际智能系统杂志，第9卷
1994年第9卷第1期
莱娅·桑贝 :
前言。 我
莱娅·桑贝 :
浏览知识库中的修订和更新。 1-27 弗朗索瓦·莱维 :
经典逻辑信念修正与更新综述。 29-59 迪迪埃·杜布瓦 , 亨利·普拉德 :
调查各种不确定性模型中的信念修正和更新规则。 61-100 伊夫·莫纳德 :
关于变化和非单调的注释。 101-118 路易斯·法利尼亚斯·德尔·塞罗 , 安德烈亚斯·赫齐格 :
干扰逻辑=条件逻辑+框架公理。 119-130 玛丽·奥迪尔·科迪尔 , 皮埃尔·西格尔 :
用于推理世界变化的时间修正模型。 131-142 卡米拉·施温德 :
修订和行动。 143-152 学家菲利普·贝斯纳德 , 埃尔斯·莱恩斯 :
知识表示视角：次协调推理的逻辑。 153-168 劳伦斯·霍尔维 :
数据库更新和转换约束：基于公式的方法。 169-180
1994年第9卷第2期
尼古拉斯·芬德勒 , 青格 :
分布式目标导向动态计划修订。 183-210 胡安·路易斯·卡斯特罗 
, 弗朗西斯科·埃雷拉 , 何塞·威尔德盖 :
基于知识的系统和模糊布尔编程。 211-225 吉川义彦 , 田口俊雄 , 山川武士 :
用模糊推理评价正畸结果。 227-240 丹尼尔·瓦格曼 , Moti Schneider公司 , 埃利亚胡·施奈德 :
区间数学在模糊专家系统中的应用。 241-259
1994年第9卷第3期
普拉门·安吉洛夫 :
模糊优化的广义方法。 261-268 阿兰·比尔曼 , 科米特·吉尔伯特 , Amr F.Fahmy先生 , B.科斯特 :
关于学习机器会犯的错误。 269-302 保罗·特伦齐亚尼 , 彼得罗·托拉索 :
在混合知识表示形式中实现时间和因果关系的集成。 303-338
1994年第9卷第4期
安东尼娅·米特洛维奇 , 伊恩·维滕 , 大卫·莫尔斯比 :
通过示例将基于相似性的学习应用于编程的实验。 341-364 米盖尔·德尔加多 , 何塞·威尔德盖 , 玛丽亚·安帕罗·维拉 :
决策问题中的语言部分信息模型。 365-378 玛丽·克里斯汀·贾昆特 , 露西娅·玛丽亚·维纳 :
功能识别模型的实现。 379-402 Giangiacomo Gerla公司 :
推特能够飞行的概率。 403-409 洪T.Nguyen , I.R.古德曼 :
概率推理的if-then规则建模。 411-418
1994年第9卷第5期
帕特里克·博斯克 , 伯纳黛特·布琼·梅尼尔 :
简介：数据库和模糊性。 419 陈国庆 , 艾蒂安·科尔 , 雅克·范登布尔克 :
FFD传递闭包的计算算法和模糊函数依赖（FFD）的完全公理化。 421-439 胡安·库贝罗 , 玛丽亚·安帕罗·维拉 :
模糊关系数据库中模糊函数依赖的一种新定义。 441-448 玛丽亚·安帕罗·维拉 , 胡安·库贝罗 , 胡安·米盖尔·麦地那 , 奥尔加池塘 :
模糊关系数据库的逻辑方法。 449-460 努雷丁·穆阿迪布 :
模糊数据库中的模糊识别：细微的关系划分。 461-473 帕特里克·博斯克 , 奥利维尔·皮弗特 , K.Farquhar公司 :
将模糊查询集成到现有数据库管理系统中：示例。 475-492
1994年第6期第9卷
T.鹧鸪 , 塔尔迪·贾贾迪 :
X射线摇摆曲线分析自评估专家系统。 493-517 拉杰德拉·斯利瓦斯塔瓦 , 格伦·沙弗 :
使用置信函数整合统计和非统计审计证据：一个变量抽样案例。 519-539 罗纳德·雅格 :
解释语言量化命题。 541-569
1994年第7期第9卷
1994年第9卷第8期
丹尼尔·奥利里 :
智能系统的验证和确认：为期五年的aaai研讨会。 653-657 李·贝克尔 , 詹姆斯·达克沃思 , 彼得·格林 :
实时专家系统的自动测试生成和评估。 659-682 阿伦·D·普雷塞 , Rajjan Shinghal先生 :
知识库验证的基础和应用。 683-701 内利·P·兹拉塔雷娃 :
知识库的验证、确认和细化框架：VVR系统。 703-737 大卫·I·戈尔德 , 罗伯特·T·普兰特 :
走向OPS5生产系统体系结构的正式规范。 739-768
1994年第9卷第9期
路易斯·莱塔 , 朱莉娅·库托 , 路易斯·德莱德斯马 , 亚历杭德罗·费尔南德斯·马加里特 :
基于知识的系统验证的形式化模型。 769-786 弗雷德·海兰德 , 布伦特·D·科曼 :
基于知识的系统开发的设计语言和洁净室方法的使用。 787-807 Scott W.法语 , 大卫·汉密尔顿 :
知识库验证和确认的综合框架。 809-837 乔纳森·李 , 甄子丹（John Yen） , 约塞特·帕斯特 :
基于任务的知识和规范获取工具。 839-851 丹尼尔·奥利里 :
走向验证和确认理论：人工制品。 853-866 佩德罗·梅塞盖尔 , 恩里克广场 :
VALID项目：目标、发展和结果。 867-892 Terano高雄 :
基于JIPDEC清单的专家系统评估指南。 893-925
1994年第9卷第10期
Khalid Md.Nor公司 , 卡米尔·努尔 , 阿祖尔·沙阿 , 勒哈·阿拉姆 , 基纳·塞梅斯塔 :
神经网络专家系统。 927-939 大卫·哈曼内克 , 乔治·J·克利尔 , Germano Resconi公司 :
关于Dempster-Shafer证据理论的模态逻辑解释。 941-951 尤诺克·帕克 :
基于证明的因果推理方法。 953-984
1994年第9卷第11期
米盖尔·贝尔蒙特·塞拉诺 , 卡洛斯·塞拉 , 拉蒙·洛佩斯·德·马塔拉斯 :
雷诺：使用模糊逻辑进行风湿病诊断的专家系统。 985-1000 詹姆斯·M·凯勒 , 拉胡·克里希纳普拉姆 , 陈志宏 , 奥尔法·纳斯拉乌伊 :
基于网络决策的模糊加性混合算子。 1001-1023 文森佐·库特罗 , 哈维尔·蒙特罗 :
聚合运算符的层次结构。 1025-1045
1994年第9卷第12期
张志明 , 水本正纯 :
模糊控制的规则自生成。 1047-1057 弗朗西斯科·里奇 :
使用学习自动机进行约束推理。 1059-1082 丹尼尔·S·杨 , Eric C.Tsang（曾荫权） :
使用模糊petri网和子方法度改进模糊知识表示和规则评估。 1083-1100
