朱顶红Deliyanni;罗伯特·A·科瓦尔斯基。 逻辑和语义网络。 (英语) Zbl 0394.68063号 Commun公司。ACM公司 22, 184-192 (1979). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描的页面 引用于4文件 MSC公司: 68吨15 定理证明(演绎、解析等)(MSC2010) 68问题65 抽象数据类型;代数规范 68问题55 计算理论中的语义学 68T50型 自然语言处理 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 关键词:语义网络;推理规则;抽象数据结构;条款的表述;定理证明;逻辑程序设计;解决问题;自然语言翻译 PDF格式BibTeX公司 XML格式引用 \textit{A.Deliyanni}和\textit{R.A.Kowalski},Commun。ACM 22,184--192(1979;Zbl 0394.68063) 全文: 内政部