兼岩 憲 | 情報通信研究機構
スポンサーリンク
概要
関連著者
-
兼岩 憲
情報通信研究機構
-
東条 敏
北陸先端科学大学院大学 情報科学研究科
-
兼岩 憲
国立情報学研究所情報学基礎研究系
-
兼岩 憲
北陸先端科学技術大学院大学情報科学研究科情報処理学専攻
-
兼岩 憲
情報通信研究機構知識創成コミュニケーション研究センター
-
加藤 義清
情報通信研究機構
-
乾 健太郎
情報通信研究機構
-
黒橋 禎夫
情報通信研究機構
-
佐藤 健
国立情報学研究所
-
加藤 義清
宇宙航空研究開発機構 総合技術研究本部
-
乾 健太郎
奈良先端科学技術大学院大学
-
宮森 恒
情報通信研究機構
-
佐藤 健
国立情報学研究所:総合研究大学院大学
-
東条 敏
北陸先端科学技術大学院大学情報科学研究科
-
乾 健太郎
東北大学大学院情報科学研究科:奈良先端科学技術大学院大学情報科学研究科
-
加藤 義清
(独)情報通信研究機構
-
角 薫
情報通信研究機構
-
角 薫
情報通信研究機構知識処理グループ
-
宮森 恒
情報通信研究機構知識処理グループ
-
赤峯 享
情報通信研究機構知識処理グループ
-
乾 健太郎
情報通信研究機構|東北大学大学院情報科学研究科
-
兼岩 憲
情報通信研究機構知識処理グループ
-
赤峯 享
情報通信研究機構
-
溝口 理一郎
大阪大学産業科学研究所
-
宇野 毅明
東京工業大学 システム科学専攻
-
宇野 毅明
情報学研究所
-
兼岩 憲
(独)情報通信研究機構
-
宇野 毅明
国立情報学研究所:総合研究大学院大学
著作論文
- 強い否定と古典論理の否定をもつ一階述語論理(人工知能,認知科学)
- 否定的意味が内在するソートを含んだソート階層の論理(システムLSIの設計技術と設計自動化)
- 法的推論のための論理型イベント言語(知識処理,インタラクションの理解とデザイン)
- オントロジーは人が書くべきか?(編集委員今年の抱負2009:経糸から横糸まで)
- 情報の信頼性分析に向けた評価データおよびプロトタイプシステムWISDOM
- 情報の信頼性分析に向けた評価データおよびプロトタイプシステムWISDOM(QA・Web検索)
- OWLの推論とその計算量(セマンティックWebと計算機科学)
- UMLクラス図の論理プログラミングへの変換によるデバッグについて (テーマ:特集「スキルサイエンス」および一般)
- DL : Description Logics(「哲学とAIにおける対象世界モデリング」〔第6回〕)
- ファジィ記述論理(現実テキストからの知識表現と推論の実現)
- 特集「現実テキストからの知識表現と推論の実現」にあたって
- 人工知能に論理は必要か?(編集委員2007年の抱負)
- 形式オントロジーと順序ソート論理の拡張
- オントロジー構築に対する概念階層の整合性
- 形式オントロジーによる順序ソート論理の拡張 (特集 オントロジー)
- ソート述語を導入した論理プログラミングの完全性
- ソートと述語の二つの階層をもつ論理のホーン節計算の完全性
- イベントとプロパティの区別を導入した型階層論理
- 法律知識の事象的/属性的読みを区別した推論システム
- 語彙項目の否定を導入した推論機構
- 述語の型階層と二面性を導入した状況推論システム (&特集>「記号論理とAI」)