兼岩 憲 | 北陸先端科学技術大学院大学情報科学研究科情報処理学専攻

スポンサーリンク

概要

• 同名の論文著者
• 北陸先端科学技術大学院大学情報科学研究科情報処理学専攻の論文著者

関連著者

• 兼岩 憲

  北陸先端科学技術大学院大学情報科学研究科情報処理学専攻

• 東条 敏

  北陸先端科学大学院大学 情報科学研究科

• 兼岩 憲

  情報通信研究機構

• 兼岩 憲

  独立行政法人 情報通信研究機構

著作論文

• An Order-Sorted Logic with Predicate-Hierarchy, Eventuality and Implicit Negation (Knowledge Management)(Special Issue:Doctorial Theses on Aritifical Intelligence)
• ソートと述語の二つの階層をもつ論理のホーン節計算の完全性
• イベントとプロパティの区別を導入した型階層論理
• 法律知識の事象的/属性的読みを区別した推論システム
• 語彙項目の否定を導入した推論機構
• 述語の型階層と二面性を導入した状況推論システム (&特集>「記号論理とAI」)

スポンサーリンク