×
威廉·伍兹（William A.Woods）。;詹姆斯·施莫尔泽（James G.Schmolze）。

KL-ONE家族。 （英文） Zbl 0800.68874号

计算。数学。应用。 23，编号2-5，133-177（1992）.

引用于14文件

MSC公司：

68立方英尺 知识表示
68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）

关键词：

知识表示系统;人工智能社区;KL-一;链接;语义网络
PDF格式BibTeX公司 XML格式引用
\textit{W.A.Woods}和\textit{J.G.Schmolze}，计算。数学。申请。23，编号2--5，133--177（1992；Zbl 0800.68874）
全文： 内政部

参考文献：

[1] （Collins，A.；Smith，E.E.，《认知科学阅读》（1988），Morgan Kaufman：Morgan Koufman San Mateo，CA）
[2] （BBN第3605号报告（1978年5月），Bolt Beranek和Newman Inc），以及
[3] 伍兹，W.A。；Brachman，R.J.，《自然语言理解研究》（第1号季度技术进步报告：77年9月1日至77年11月30日，BBN第3742号报告（1977年12月），Bolt Beranek and Newman Inc）
[4] Brachman，R.J。；Schmolze，J.G.，《KL-ONE知识表示系统概述》，认知科学，9，2，171-216（1985年4月-6月）
[5] Mark，W.，《领事系统中的表示和推理》，（第七届国际人工智能联合会议（IJCAI-81）（1981年8月），不列颠哥伦比亚省温哥华
[6] Mark，W.，领事系统中的自然语言帮助，（Morgan，H.L.，AFIPS会议记录（1982年6月），国家计算机会议，AFIPS出版社），475-479
[7] Mark，W.，《在领事系统中使用数据库组织》（数据抽象、数据库和概念建模研讨会论文集（1981年2月），SIGART/SIGPLAN/SIGMOD（ACM）联合出版物）
[8] Wilczynski，D.，领事系统中的知识获取，（第七届国际人工智能联合会议记录（IJCAI-81）（1981））
[9] Neches，R。；斯瓦图特，W.R。；Moore，J.D.，《通过明确的开发模型增强专家系统的维护和解释》，IEEE软件工程学报，SE-111337-1351（1985年11月）
[10] 斯瓦图特，W.R。；Smolian，S.W.，《关于使专家系统更像专家》，专家系统，4，3，196-207（1987年8月）
[11] 贝特曼，J。；卡斯珀，R。；舒茨，J。；Steiner，E.，《翻译过程的新观点》（《EACL-89会议录》，计算语言学协会欧洲分会第四届会议
[12] Kasper，R.，《系统语法的实验解析器》（Coling-88，第十二届国际计算语言学会议（1988年8月）），匈牙利布达佩斯
[13] Kasper，R.，《统一与分类：基于信息的句法分析实验》（Unification and classification:An experimental in information based parsing），《句法分析技术国际研讨会论文集》（1989年8月），宾夕法尼亚州匹兹堡
[14] 阿伦斯，Y。；米勒，L。；夏皮罗，S.C。；Sondheimer，N.K.，《用户界面显示器的自动构建》，（第七届全国人工智能会议论文集（AAAI-88）（1988年8月）），808-813，明尼苏达州圣保罗。
[15] Fairchild第618号技术报告（1982年5月），另见
[16] MacGregor，R.，《基于分类的知识表示系统的进化技术》（Sowa，J.，《语义网络原理：知识表示的探索》（1991），Morgan-Kaufman:Morgan-Koufman-San Mateo，CA）·Zbl 0758.68018号
[17] Brachman，R.J.，《IS-A是什么和不是什么：语义网络中弓形虫链接的分析》，IEEE计算机，第16、10、30-36页（1983年10月）
[18] Fahlman，《NETL：代表和使用现实世界知识的系统》（1979），麻省理工出版社·Zbl 0444.68083号
[19] 伍兹，W.A.，《不要责怪工具》，计算智能，3，3，228-237（1987年8月）
[20] Woods，W.A.，《知识表示中的重要问题》，IEEE会议记录，74，10（1986年10月）
[21] Woods，W.A.，《实时知识系统的并行算法》，（Wood，W.A，《自然语言理解研究：第6号季度进展报告》）。《自然语言理解研究：第六季度进展报告》，1978年12月1日至1979年2月28日。自然语言理解研究：第6号季度进展报告。自然语言理解研究：第6号季度进展报告，1978年12月1日至1979年2月28日，技术报告4181（1979年4月）·Zbl 0368.68081号
[22] 伍兹，W.A.，《JARGON语言》（伍兹，W.A.，自然语言理解理论研究，年度报告。自然语言理解的理论研究，年报告，1978年5月1日至1979年4月30日。自然语言理解理论研究，年度报告。自然语言理解理论研究，年度报告，1978-1979年5月1日，BBN报告4332（1979年4月），马萨诸塞州剑桥·Zbl 0368.68081号
[23] Brachman，R.J。；波布罗，R.J。；科恩，P.R。；Klovstad，J.W。；韦伯，B.L。；Woods，W.A.，（技术报告4274（1979），Bolt Beranek and Newman Inc：Bolt Beranaek and New man Inc Cambridge，MA）
[24] 利普基斯，T。；Mark，W.，领事分类器，（《技术报告》（1981年），南加州大学/信息科学研究所：南加州大学（USC）/信息科学学院玛丽娜·德尔雷伊（Marina del Rey，CA），领事注5
[25] Lipkis，T.A.，KL-ONE分类器，（Schmolze，J.G.；Brachman，R.J.，《1981年KL-ONE研讨会论文集》。1981年KL-ONE研讨会论文集，第4842号报告（1982年6月），Bolt Beranek and Newman Inc），128-145
[26] Schmolze，J.G。；Lipkis，T.A.，《KL-ONE知识表示系统中的分类》，（第八届国际人工智能联合会议（IJCAI-83）（1983年8月），西德卡尔斯鲁厄
[27] R.J.Brachman，我在树上撒了谎，AI杂志，VI，3，80-93（1985年秋季）
[28] Woods，W.A.，《理解包容和分类学：进步的框架》（Sowa，John，《语义网络原则：知识表示的探索》（1991），Morgan-Kaufmann:Morgan-Koufmann-San Mateo，CA）
[29] Brachman，R.J.，《论语义网络的认识论地位》，（Findler，N.V.，联想网络：计算机对知识的表示和使用（1979），学术出版社：纽约学术出版社），3-50·Zbl 0473.68088号
[30] Newell，A.，《人工智能的知识水平》，18，1，87-127（1982）
[31] 新泽西州格林菲尔德。；Yonke，M.D.，AIPS：决策者信息呈现系统，BBNREP 4228，BBN（1979年12月）
[32] 医学博士扬克。；Greenfeld，N.R.（BBN第4228号报告（1979年12月）），本文件的修订版也可通过以下方式获得：
[33] Zdybel，F。；新泽西州格林菲尔德。；医学博士扬克。；Gibbons，J.，《信息呈现系统》，（第七届国际人工智能联合会议（IJCAI-81）（1981）），978-984，不列颠哥伦比亚省温哥华。
[34] 贝茨，M。；Stallard，D。；Moser，M.，IRUS可移植自然语言数据库接口，（Kerschberg，L.，《专家数据库系统》（1985），卡明斯出版公司：卡明斯出版社，门洛·帕克，加利福尼亚州）
[35] （Grosz，B.；Spark Jones，K.；Webber，B.L.，《自然语言处理阅读》（1986），Morgan Kaufman：Morgan Koufman San Mateo，CA）
[36] Woods，W.A.，《用机器进行自然语言通信：一个持续的目标》（Reitman，W.，《商业人工智能应用》（1984），Ablex Corporation:Ablex公司，新泽西州诺伍德），195-209年
[37] Yen，J.，《推理规则特殊性的原则方法》，（第八届全国人工智能会议论文集（AAA-990）。第八届全国人工智能大会论文集（AAA-990），马萨诸塞州波士顿（1990年7月）
[38] Yen，J。；Neches，R。；MacGregor，R.，《使用术语模型增强基于规则的范式》，（第二届人工智能国际研讨会论文集（1989年10月），墨西哥蒙特雷
[39] Yen，J.，《关于基于术语包容系统中模式特异性的推理》（技术报告TAMU 90-003（1990年2月），德克萨斯农工大学计算机科学系）
[40] Brachman，R.J。；Levesque，H.J.，《KL-One中的断言》（Schmolze，J.G.；Blachman，R.J.），《1981年KL-One研讨会论文集》。1981年KL-One研讨会论文集，第4842号报告（1982年），博尔特·伯内克和纽曼公司），8-17
[41] Brachman，R.J。；Fikes，R.E。；Levsque，H.J.，KRYPTON：整合术语和断言，（第三届全国人工智能会议论文集（AAAI-83）（1983年8月）），31-35，华盛顿特区。
[42] Jang，Y。；Patil，R.，KOLA：一种知识组织语言（Kingsland，Lawrence C.，第13届医疗保健计算机应用研讨会（1989），IEEE计算机学会出版社）
[43] Jang，Y.，KOLA：知识组织语言（技术报告LCS TR-396（1988），麻省理工学院计算机科学实验室）
[44] 卡内基梅隆大学计算机科学系技术报告CMU-CS-88-182。；可参见卡内基梅隆大学计算机科学系CMU-CS-88-182技术报告。
[45] Schmolze，J.G.，支持术语的术语知识表示系统，（第一届知识表示和推理原则国际会议论文集（KR89）。第一届知识表示与推理原则国际会议记录（KR89），加拿大多伦多（1989年5月）
[46] 菲宁，T。；弗里茨森，R。；McEntire，R。；McKay，D。；O'Hare，A.，《智能系统服务器：向复杂系统交付人工智能》（The intellegent system server：Delivery AI to complex systems），（《第一届人工智能工具、架构、语言和算法国际研讨会论文集》，弗吉尼亚州费尔法克斯市，第一届国际人工智能工具，架构、语言与算法研讨会论文集（1989年10月））
[47] 菲宁，T。；Fritzson，R.，《如何在知识库服务器的设计中提供知识注释》（AAAI知识系统开发工具和语言春季研讨会（1989年3月））
[48] McKay，D。；菲宁，T。；O'Hare，A.，《智能数据库接口：集成人工智能和数据库系统》，（第八届全国人工智能会议论文集（AAAI-90）。第八届全国人工智能会议记录（AAAI-90），马萨诸塞州波士顿（1990年7月）
[49] Decio，E。；彼得林，P。；Spaminaato，L.，推动术语障碍，（知识表示和编程中的继承层次研讨会论文集。意大利维亚雷吉奥知识表示和程序设计中的继承层级研讨会论文集（1989年2月））
[50] Bergmann，H。；Gerlach，M.，QUIRK-Implementierung einer TBox-zur Representation begrifflichen Wissens，（汉堡大学技术报告WISBER报告M11（1987年6月），（德语）
[51] Poesio，M.，《QUARK参考手册》（技术报告WISBER报告M22（1988年6月），汉堡大学）
[52] 库巴拉基斯，M。；Mylopoulos，J。；斯坦利，M。；Borgida，A.，《Telos:特性和形式化》（多伦多大学计算机科学系技术报告KRR-TR-89-4（1989））
[53] Trost，H。；Pfahringer，B.，VIE-KL:混合知识表示的实验（技术报告TR-88-8（1988），Oesterrechisches Forschungsinstitut fuer Artificial Intelligence:Oesterrichisches forschungsnstitut fuer Artifical Intelligent-Wien）
[54] 冯·勒克，K。；内贝尔，B。；Peltason，C。；Schmiedel，A.，《BACK系统的剖析》（KIT Report 41（1987年1月），柏林理工大学计算机科学系：西德柏林理工学院计算机科学系）
[55] 内贝尔，B。；von Luck，K.，《BACK中的混合推理》，（Ras，Z.W.；Saitta，L.，《智能系统方法论》，第3卷（1988年），北荷兰：荷兰阿姆斯特丹北荷兰），260-269
[56] 内贝尔，B。；von Luck，K.，《混合知识表示系统中的集成和平衡问题》（Morik，K.和GWAI-87）。第十一届德国人工智能研讨会（1987年），德国柏林斯普林格-弗拉格：114-123
[57] Peltason，C。；Schmiedel，A。；Kindermann，C。；Quantz，J.，The BACK system reviewed，（技术报告KIT Report 75（1989年8月），柏林理工大学计算机科学系：柏林理工大学计算机科学系）
[58] Beck，H.W。；Gala，S.K。；Navathe，S.B.，《分类作为CANDIDE语义数据模型中的查询处理inchnique》，（IEEE数据工程会议论文集。IEEE数据工程学会议论文集，加利福尼亚州洛杉矶（1989年2月））
[59] Borgida，A。；Brachman，R.J。；McGuinness，D.L。；Resnick，L.A.，CLASSIC:对象的结构数据模型，（1989年ACM SIGMOD国际数据管理会议论文集（1989年6月），ACM:ACM波特兰，俄勒冈州）
[60] Brachman，R.J。；McGuinness，D.L。；Patel-Schneider，P.F。；莱斯尼克，洛杉矶。；Borgida，A.，《与经典一起生活：何时以及如何使用类似KL-ONE的语言》（Sowa，J.，《语义网络原理：知识表示的探索》（1991），Morgan-Kaufmann:Morgan-Koufmann-San Mateo，CA）·兹伯利0939.68837
[61] Guarino，N.，DRL:Prolog中的术语和关系知识，（Kodratoff，Y.，《第八届欧洲人工智能会议论文集》（ECAI-88）Muenchen（1988年8月1日至5日））
[62] Guarino，N.，《表示多种Prolog知识库的领域结构》（Levi，G.；Boscarol，M.；Aiello，L.，《逻辑和函数编程基础》（1988），Springer-Verlag:Springer-Verlag Berlin）·Zbl 0645.68101号
[63] Guarino，N.，《DRL中的属性和扩展等价性》，（Radig，B.；Saitta，L.，《第三届智能系统方法学国际研讨会论文集》（ISMIS-88），都灵（1988年10月12日至15日），北荷兰），1988年
[64] Guarino，N.，术语知识的性质和结构：DRL方法，（意大利人工智能协会第一届会议论文集）。意大利人工智能协会第一届会议记录，特伦托（1989年11月）
[65] AI第37号技术报告（1984年10月），扩展版可用作A
[66] 卡佩利，A。；莫雷蒂，L。；Vincesi，C.，KL-CONC：与SI-Net交互的语言（第八届国际人工智能联合会议论文集（IJCAI-83）（1983））
[67] 卡佩利，A。；Moretti，L.，《SI-Nets范式中的自然语言方法》，（ACL-Europe第一届会议论文集。ACL-Euroe第一届大会论文集，比萨（1983））
[68] 卡佩利，A。；Caracoglia，G。；Moretti，L.，知识表示系统的分块机制，控制论与系统，17，4，277-287（1986）
[69] 阿多尼，G。；卡佩利，A。；Gaglio，S。；Moretti，L.，《集成逻辑编程和结构知识表示》，《人工智能、认知科学和应用认识论集成研究杂志》，4，1（1987）
[70] Fikes，R.R。；Henderson，A.，《关于支持在办公室工作中使用程序》，（第一届全国人工智能会议记录（AAAI-80）。第一届全国人工智能会议记录（AAAI-80），加利福尼亚州斯坦福（1980）
[71] Fikes，R.R.，《KloneTalk的亮点》（Schmolze，J.G.；Brachman，R.J.，《1981年KL-ONE研讨会论文集》，1981年KL-ONE研讨会文献集，第4842号报告（1982年），Bolt Beranek and Newman Inc），8-17
[72] Vilain，M.，KL-TWO，混合知识表示系统，（BBN技术报告5694（1984年9月），BBN实验室）
[73] Vilain，M.，《混合表示系统的受限语言架构》，（第九届国际人工智能联合会议论文集（IJCAI-85）。第九届国际人工智能联合会议论文集（IJCAI-85），加利福尼亚州洛杉矶（1985年8月），547-551
[74] 弗里曼，M.W。；Leitner，H.H.，KNET Extensions，《计算语言学杂志》（1981年7月至9月）
[75] 弗里曼，M.W。；Hirschman，L。；McKay，D.P。；Palmer，M.S.，KNET:一个基于逻辑的关联网络系统（发表于第三届知识表示研讨会。发表于加利福尼亚州圣巴巴拉市第三次知识表示研讨会（1983年10月））
[76] 弗里曼，M。；Hirschman，L。；McKay，D。；Palmer，M.，KNET:基于逻辑的专家系统关联网络框架（1983），SDC-A Burroughs公司研发部，技术报告
[77] Abrett，G。；Burstein，M.H.，KREME知识编辑环境，《国际人机研究杂志》，27，2103-126（1987）
[78] Mays，E。；阿普特，C。；格雷斯默，J。；Kastner，J.，《K-Rep:一种以对象为中心的知识表示语言的经验》，（IEEE AI应用会议论文集。IEEE人工智能应用会议论文集中，加利福尼亚州圣地亚哥（1988年3月））
[79] 也可作为Fairchild第639号技术报告或FLAIR第16号技术报告获得。；也可作为Fairchild第639号技术报告或FLAIR第16号技术报告获得。
[80] Brachman，R.J。；吉尔伯特，V.P。；Levesque，H.J.，《一个基本的混合推理系统：KRYPTON的知识和符号级说明》，（第九届国际人工智能联合会议论文集（IJCAI-85）。第九届国际人工智能联合会议记录（IJCAI-85），加利福尼亚州洛杉矶（1985年8月），532-539
[81] 普列塔特，美国。；Luck，V.，LILOG中的知识表示，（技术报告IWBS报告第90号（1989年11月），IBM，德国，科学中心，知识系统研究所）·Zbl 0747.68076号
[82] MacGregor，R.M.，演绎模式匹配器，（第七届全国人工智能会议论文集（AAAI-88）。第七届全国人工智能会议记录（AAAI-88），明尼苏达州圣保罗（1988年8月），403-408
[83] 麦克格雷戈，R。；Yen，J.，三军情报局的知识表示项目，技术报告技术报告RR-87-199，南加州大学/三军情报局（1987）
[84] Bittencourt，G.，《知识表示的统一形式主义》（第三届智能系统方法学国际研讨会论文集）。第三届智能系统方法学国际研讨会论文集，意大利都灵（1988年10月），111-121
[85] Bittencourt，G.，《混合系统体系结构及其语义》（第四届智能系统方法学国际研讨会论文集）。第四届智能系统方法学国际研讨会论文集，北卡罗来纳州夏洛特（1989年10月）
[86] 埃德尔曼，J。；Owsnicki，B.，《知识表示系统中的数据模型：案例研究》（Rollinger，C.R.；Horn，W.，GWAI-86 und 2，《奥地利人工智能技术指南》（1986），《施普林格-弗拉格：施普林格柏林》，德国），69-74
[87] Owsnicki-Klewe，B.，《作为一致性维护任务的配置》（Hoeppner，W.，GWAI-88）。第十二届德国人工智能研讨会（1988年），施普林格-弗拉格：柏林施普林格，德国），77-87
[88] Moser，M.G.，NIKL概述，KL-ONE的新实现，（Sidner，C.；Bates，M.；Bobrow，R.；Goodman，B.；Haas，A.；Ingria，R.；Israel，D.；McAllester，D.；Moser，M.；Schmolze，J.；Vilain，M.，自然语言理解的知识表示研究，年度报告（1982-1983年9月1日至8月31日）。《自然语言理解的知识表征研究》，年度报告（1982-31年9月1日至1983年8月），BBN第5421号报告（1983年），Bolt Beranek and Newman Inc：Bolt Beranek and New man Inc Cambridge，MA），7-26
[89] Robins，G.（《NIKL手册》（1986年），南加州大学信息科学研究所：南加州大学玛丽娜·德尔·雷伊信息科学研究院），（草稿）
[90] Kaczmarek，T.S。；贝茨，R。；Robins，G.，NIKL的最新发展，（第五届全国人工智能会议论文集（AAAI-86）。第五届全国人工智能会议记录（AAAI-86），宾夕法尼亚州费城（1986年8月），978-987
[91] Schmolze，J.G。；Mark，W.S.，NIKL经验，计算智能，6，1（1991）
[92] Kobsa，A.，《利用知识：SB-ONE知识表示工作台的组件》（Sowa，J.，《语义网络原理：知识表示的探索》（1991），Morgan-Kaufman:Morgan-Koufman-San Mateo，CA）
[93] Allgayer，J。；Reddig，C.，《KL-ONE的长相需要如何应对复数名词短语的自然语言范围和方面》（Blaesius，K.H.；Hedstueck，U.；Rollinger，C.R.，《人工智能中的分类和类型》（1990），Springer-Verlag:Springer-Verlag Berlin，德国）·Zbl 0747.68085号
[94] Han，S.，基于框架和喇叭子句的混合知识表示，（博士论文（1989年），韩国科学技术高级研究院计算机科学系：韩国科学技术高级研究院计算机科学系，韩国首尔）
[95] 韩，S。；Shin，D.W。；Kim，Y。；Jun，Y.P。；Maeng，S.R。；Cho，J.W.，混合知识表示的逻辑编程方法，（应用人工智能：国际期刊，2（1988），半球出版公司），93-127
[96] 韩，S。；Cho，J.W.，Sphinx-a hybrid knowledge representation system，《第五代计算机系统国际会议论文集》，东京（1988年11月），1211-1220
[97] Patel-Schneider，P.F.，AI第56号技术报告（1987年5月），另见
[98] Brachman，R.J。；Levesque，H.J.，基于框架的描述语言中包含的可处理性，（第四届全国人工智能会议论文集（1984年8月）），34-37，（AAAI-84）
[99] Nebel，B.，《术语周期》（技术报告KIT-报告58（1987年11月），柏林科技大学：德国柏林科技大学）·Zbl 0943.68182号
[100] Nebel，B.，《术语循环：语义和计算属性》（Sowa，J.，《语义网络原理：知识表示的探索》（1991），Morgan-Kaufmann:Morgan-Koufmann-San Mateo，CA）·Zbl 0758.68018号
[101] Brachman，R.J。；Levesque，H.，《知识表示能力》（Competence in knowledge representation），第二届全国人工智能会议论文集，（AAAI-82）。第二届全国人工智能会议记录（AAAI-82），宾夕法尼亚州匹兹堡（1982年8月）
[102] 多伊尔，J。；Patil，R.S.，《语言限制、分类和表示服务的效用》，（麻省理工学院人工智能实验室：麻省理工学院人工智能实验室，马萨诸塞州剑桥）
[103] 施密特-沙乌β，M。；Smolka，G.（IWBS Report 68（1989年6月），IBM德国科学中心，IWBS:IBM德国科学研究中心，IWBS斯图加特，德国），也可作为
[104] Rich，C.，《知识表示语言和谓词演算：如何既吃又吃》（《第二届全国人工智能会议论文集》（AAAI-82）（1982年8月），193-196年
[105] Rich，C.，《程序推理系统的分层结构》（第九届国际人工智能联合会议论文集（IJCAI-85）。第九届国际人工智能联合会议记录（IJCAI-85），加利福尼亚州洛杉矶（1985年8月），540-546
[106] Feldman，Y.A。；Rich，C.，《面包、碎肉和蛋糕：自动演绎美食指南》（第五届以色列人工智能研讨会论文集。第五届以色列人人工智能研讨会会议论文集，以色列特拉维夫（1988年12月））
[107] Hayes，P.J.，《框架的逻辑》（Metzing，D.，《框架概念和文本理解》（1979），Walter de Gruyter和Co:Walter de Gluyter and Co Berlin），46-61
[108] 夏皮罗，南卡罗来纳州。；Rapaport，W.J.，SNePS被视为一个完全内涵的命题语义网络，（Cercone，Nick；McCalla，Gordon，《知识前沿：知识表征的论文》（1987），Springer-Verlag:Springer-Verlag New York）
[109] 舒伯特，L.K.，《扩展语义网络的表达能力》，人工智能，7，2，163-198（Summer，1976）
[110] 舒伯特，L.K。；Goebel，R.G。；Cercone，N.J.，《用于理解和推理的语义网的结构和组织》，（Findler，N.V.，《联想网络：计算机对知识的表示和使用》（1979），学术出版社：纽约学术出版社），121-175
[111] Levesque，H.J.，《不完整知识库的正式处理》（博士论文（1981），多伦多大学计算机科学系：加拿大多伦多大学计算科学系）
[112] Levesque，H.J.，《与不完整知识库的相互作用：正式处理》，（第七届国际人工智能联合会议论文集，（IJCAI-81）。第七届国际人工智能联合会议记录（IJCAI-81），加拿大不列颠哥伦比亚省温哥华（1981年8月）
[113] Brachman，R.J。；Levesque，H.J.，《知识表示和推理中的表达性和可驾驭性》，计算智能，3，2，78-93（1987）
[114] Stickel，S.E.，《理论解析的自动演绎》，（第九届国际人工智能联合会议论文集（IJCAI-85）。第九届国际人工智能联合会议论文集（IJCAI-85），加利福尼亚州洛杉矶，1985年8月。第九届国际人工智能联合会议记录（IJCAI-85）。第九届国际人工智能联合会议记录（IJCAI-85），加利福尼亚州洛杉矶，1985年8月，技术说明340（1984年10月），人工智能中心，SRI国际），1181-1186
[115] Nebel，B.，《BACK中术语推理的计算复杂性》，人工智能，34，3，371-383（1988年4月）·Zbl 0646.68110号
[116] 帕特尔·施梅德，P.F。；Levesque，H.J。；Brachman，R.J.，ARGON：《知识表示与信息检索》，（《第一届人工智能应用会议论文集》（1984），IEEE计算机学会：IEEE计算机协会，科罗拉多州丹佛）
[117] Patel-Schneider，P.F.，（AI技术报告第45号（1985年），斯伦贝谢帕洛阿尔托研究公司），也可作为·Zbl 0675.03015号
[118] Etherington，D.W.，《关于有例外的继承层次结构》，（第五届全国人工智能会议论文集（AAAI-86）。第五届全国人工智能会议记录（AAAI-86），宾夕法尼亚州费城（1986年8月），104-108
[119] McAllester，D.A.，《真理维护展望》（AI Memo 551（1980年8月），麻省理工学院人工智能实验室）
[120] McAllester，D.A.，推理实用程序包用户手册，（AI Memo 667（1982年4月），麻省理工学院人工智能实验室）
[121] MacGregor，R.，织机用户手册，（技术报告工作文件ISI/WP-22（1990），南加州大学/信息科学研究所）
[122] Laird，J.E。；A.纽厄尔。；Rosenbloom，P.S.，SOAR:通用智能架构，人工智能，33，1（1987年9月）
[123] Peltason，C.，The scheme of Posidonius Using taxonomic reasoning in design，（第二届人工智能在工程中的应用国际会议论文集。第二届工程中人工智能应用国际会议文献集，马萨诸塞州坎布里奇（1987年8月）），299-314
[124] Codd，E.F.，数据库管理中的数据模型，数据抽象、数据库和概念建模研讨会论文集，ACM SIGMOD，11，2，112-114（1981）
[125] 阿塔迪，G。；Simi，M.，《OMEGA的一致性和完整性，知识表示逻辑》（第七届国际人工智能联合会议论文集（IJCAI-81）。第七届国际人工智能联合会议记录（IJCAI-81），加拿大不列颠哥伦比亚省温哥华（1981年），504-510
[126] 阿塔迪，G。；Simi，M.，《用于构建知识库的面向描述逻辑》，IEEE学报，74，10（1986年10月）
[127] Rich，C。；Waters，R.C.，《自动编程：神话与前景》，IEEE计算机，21，8，40-51（1988年8月）
[128] Rich，C。；Waters，R.C.，《程序员的学徒：研究综述》，IEEE Computer，第21、11、11-25页（1988年11月）
[129] McAllester，D。；Givan，R。；Fatima，T.，《一阶推理的分类学语法》，（第一届知识表示与推理原则国际会议论文集（KR89）（1989）），289-300·Zbl 0709.68090号
[130] Aít-Kaci，H.，基于部分有序类型结构演算的格理论计算方法，（宾夕法尼亚大学计算机科学系博士论文（1984）：宾夕法尼亚大学计算机系，宾夕法尼亚州菲拉分校）
[131] 艾特·卡奇，H。；Nasr，R.，LOGIN:一种内建继承的逻辑编程语言，《逻辑编程杂志》，3，3，185-215（1986）·Zbl 0599.68013号
[132] 斯莫尔卡，G。；艾特·卡西，H.，《继承层次：语义与统一》，《符号计算杂志》，第7期，第3/4期，第343-370页（1989年）·Zbl 0678.68009号
[133] Patel-Schneider，P.F.，《NIKL中包含的不确定性》，人工智能，第39、2页（1989年6月）
[134] Schmidt-Schnuβ，M.，KL-ONE中的代换是不可判定的，（Brachman，R.J.；Levsque，H.J.；Reiter，R.，《第一届知识表示与推理原则国际会议论文集》（KR89）。第一届知识表示和推理原则国际会议记录（KR89），安大略省多伦多（1989年5月），421-431·Zbl 0709.68096号
[135] Smolka，G.，（《统一形式主义-语法、语义和实现研讨会论文集》，《统一形式化-语法、语义学和实现研讨会文献集》，标题（1988年4月），（待发表）·Zbl 0754.68108号
[136] 内贝尔，B。；Smolka，G.，（IWBS报告81（1989年9月），IBM德国科学中心，IWBS:IBM德国科学研究中心，IWBS斯图加特，德国），也可作为·Zbl 0747.68075号
[137] 多尼尼，F。；霍兰德，B。；Lenzerini，M。；Spacamela，A.M。；Nardi，D。；Nutt，W.，《概念描述语言可处理性的前沿》（Dfki-report，Dfki，Postfach，2080，6750（1989），凯泽斯劳滕：德国凯泽斯劳滕）
[138] Hollower，B.，一些属性概念描述语言的子集算法，（硕士论文（1989），FB Informatik，凯泽斯劳滕大学，6750 Kaiserlaautern：FB Information，凯泽斯劳滕学院，6750德国凯泽斯劳滕大学）
[139] Smolka，G.，《带子段的特征逻辑》（LILOG Report 33（1988年5月），IWBS，IDM Deutschland，Postfach 80 08 80:IWBS、IDM Deutschland、Postfach 80 08 80 7000 Stuttgart 80）
[140] （IWBS Report 82（1989年10月），IBM德国科学中心，IWBS：IBM德国科学研究中心，IWBS斯图加特，德国），也可作为
[141] Patel-Schneider，P.F.，术语逻辑的四值语义，人工智能，38，3，319-351（1989年4月）·Zbl 0664.03024号
[142] 斯莫利尔，S.W。；Swartout，W.R.，《来自知识表征前沿的报告》（1988年10月），草稿
[143] 多伊尔，J。；Patil，R.S.，《知识表征的两篇论文：语言限制、分类分类和表征服务的效用》，《人工智能》，48，3，261-297（1991年4月）
[144] Haas，A.R.，《信念与行动的句法理论》，《人工智能》，第28、3、245-292页（1986年5月）·Zbl 0607.68082号
[145] （Grosz，B.；Jones，K.S.；Webber，B.L.，《自然语言处理阅读》（1986），Morgan-Kaufman:Morgan-Koufman San Mateo，CA），再版于
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。