兼岩 憲 | 国立情報学研究所情報学基礎研究系
スポンサーリンク
概要
関連著者
-
兼岩 憲
国立情報学研究所情報学基礎研究系
-
兼岩 憲
情報通信研究機構
-
佐藤 健
国立情報学研究所
-
溝口 理一郎
大阪大学産業科学研究所
-
佐藤 健
国立情報学研究所:総合研究大学院大学
-
東条 敏
北陸先端科学技術大学院大学情報科学研究科
-
東条 敏
北陸先端科学大学院大学 情報科学研究科
著作論文
- 否定的意味が内在するソートを含んだソート階層の論理(システムLSIの設計技術と設計自動化)
- OWLの推論とその計算量(セマンティックWebと計算機科学)
- DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
- 形式オントロジーと順序ソート論理の拡張
- オントロジー構築に対する概念階層の整合性
- ソート述語を導入した論理プログラミングの完全性