村田 剛志 | 国立情報学研究所情報学基礎研究系

スポンサーリンク

概要

• 村田 剛志の詳細を見る
• 同名の論文著者
• 国立情報学研究所情報学基礎研究系の論文著者

国立情報学研究所情報学基礎研究系 | 論文

• 否定的意味が内在するソートを含んだソート階層の論理(システムLSIの設計技術と設計自動化)
• OWLの推論とその計算量(セマンティックWebと計算機科学)
• DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
• 形式オントロジーと順序ソート論理の拡張
• オントロジー構築に対する概念階層の整合性

もっと見る

スポンサーリンク