スポンサーリンク
国立情報学研究所情報学基礎研究系 | 論文
- 否定的意味が内在するソートを含んだソート階層の論理(システムLSIの設計技術と設計自動化)
- OWLの推論とその計算量(セマンティックWebと計算機科学)
- DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
- 位置透過性をもつコンポーネント構成手法とフレームワーク
- 形式オントロジーと順序ソート論理の拡張
- オントロジー構築に対する概念階層の整合性
- ソート述語を導入した論理プログラミングの完全性