講演番号 | 題目/著者 |
---|---|
F-023 | 言葉ベースで表現された述語知識の推論処理法 北野 正樹, 石川 勉, |
F-024 | オントロジ上の推論機構と推論エンジンの設計開発 湯本 純也, 富樫 敦, |
F-025 | Webページのテーブルに着目したオントロジ構築及び,比較情報抽出方式の提案 境 美樹, 佐藤 宏之, 村山 隆彦, |
F-026 | 健康福祉に関する領域オントロジの構築 青木 浩之, 大益 知佳, 板橋 吾一, 富樫 敦, 野口 正一, |
F-027 | トピックマップを用いたLSI設計知識の共有システムの開発 中林 啓司, |
F-028 | The Implementation of a Proof Search System for Isabelle 何 成, 鈴木 秀男, 小林 英恒, |