若木 利子 | 芝浦工業大学システム工学部
スポンサーリンク
概要
関連著者
-
若木 利子
芝浦工業大学システム工学部
-
若木 利子
芝浦工業大学
-
若木 利子
芝浦工業大学システム理工学部電子情報システム学科
-
若木 利子
芝浦工業大学大学院工学研究科 システム工学部
-
新田 克己
東京工業大学大学院総合理工学研究科
-
澤井 進
学習ソフトウェア情報研究センター
-
新田 克己
東京工業大学 大学院 総合理工学研究科 知能システム科学専攻
-
関口 知之
芝浦工業大学大学院工学研究科電気電子情報工学専攻
-
富田 一夫
Nttデータクリエイション株式会社
-
向井 孝徳
芝浦工業大学大学院 工学研究科
-
新田 克己
東京工業大学
-
井上 克巳
国立情報学研究所
-
國藤 進
北陸先端科学技術大学院大学
-
向井 孝徳
芝浦工業大学大学院工学研究科 システム工学部
-
宮下 裕充
芝浦工業大学大学院工学研究科 システム工学部
-
福本 太郎
新潟大学大学院自然科学研究科 工学部情報工学科
-
沢村 一
新潟大学
-
Sawamura Hajime
Faculty Of Engeneering Niigata University
-
福本 太郎
新潟大学大学院
-
龍沢 昌宏
芝浦工業大学システム工学部電子情報システム学科
-
伊藤 浩太
芝浦工業大学システム工学部
-
沢村 一
新潟大学工学部 情報工学科
-
新田 克己
東京工大 大学院総合理工学研究科
-
坂間 千秋
和歌山大学
-
佐藤 健
国立情報学研究所
-
國藤 進
北陸先端科学技術大学院大学知識科学研究科
-
佐藤 健
国立情報学研究所:総合研究大学院大学
-
井上 克巳
神戸大学工学部
-
松永 久美子
新潟大学大学院自然科学研究科 工学部情報工学科
-
沢村 一
新潟大学大学院自然科学研究科 工学部情報工学科
-
池田 満
北陸先端科学技術大学院大学
-
原田 雅史
芝浦工業大学システム工学部電子情報システム学科
-
淡嶋 綾子
芝浦工業大学システム工学部電子情報システム学科
-
沢村 一
新潟大学工学部情報工学科
-
望月 昇
芝浦工業大学システム工学部
-
新田 克巳
東京工業大学大学院知能システム科学専攻
-
新田 克巳
東京工業大学大学院総合理工学研究科
-
武田 豊
芝浦工業大学システム工学部
-
深山 竜太
芝浦工業大学システム工学部電子情報システム学科
-
宮嶋 徹
芝浦工業大学システム工学部電子情報システム学科
-
大久保 崇行
芝浦工業大学システム工学部電子情報システム学科
-
納田 憲一
芝浦工業大学システム工学部電子情報システム学科
-
立川 正和
芝浦工業大学大学院工学研究科
-
内田 邦晃
芝浦工業大学システム工学部
-
澤井 進
(財)学習ソフトウェア情報研究センター
-
原田 雅史
芝浦工業大学 システム工学部 電子情報システム学科
-
坂間 千秋
和歌山大学システム工学部
-
今井 恭
芝浦工業大学システム工学部電子情報システム学科
-
竹澤 亮
芝浦工業大学システム工学部電子情報システム学科
-
下 幸司
芝浦工業大学 システム工学部
-
澤井 進
財団法人学習ソフトウェア情報研究センター
-
板倉 弘幸
芝浦工業大学大学院電気工学専攻
-
田村 雅樹
北陸先端科学技術大学院大学情報科学研究科
-
関口 知之
芝浦工業大学大学院工学研究科/システム工学部
著作論文
- セマンティックWeb推論と議論エージェントシステムとの統合(「自動化:推論,発見,学習,データマイニング」及び一般)
- 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
- 優先的解集合の論理プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
- ラフ集合理論援用によるWebページのテキスト分類
- 1W-8 論証ダイアグラムの分析と議論計算を統合したJ Araucariaツールの開発(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2Z-3 解集合プログラミングによるアブダクションを用いた発想的議論の計算(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2Z-1 多値論理EALPの知識表現による一貫性制約を用いた議論の意味論の計算(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 生成と検査の論理プログラムの統合による極小限定・定理証明器の構築
- 生成と検査の論理プログラムの統合による優先順位付き極小限定・定理証明器の構築
- 生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換(「さまざまな分野の形式的検証最前線」及びAI一般)
- 暗黙知・形式知を用いたeラーニング用Web検索エンジン
- ラフ集合理論援用によるWebページの自動分類とその評価
- ラフ集合理論援用によるWebページのテキスト分類 (特集:「ネットワークが創発する知能」および一般)
- セマンティック Web 推論と議論エージェント推論の統合
- セマンティックWeb推論と議論エージェント推論の統合
- アブダクションによる極小限定プリファレンスの発見
- 2V-5 発想的議論を用いた譲歩と妥協の形式化に基づくエージェント間交渉(マルチエージェント(2),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- Computing argumentation semantics in answer set programming (「スキルサイエンス」「論理プログラミング」及び一般)
- 極小限定モデル生成系(さまざまな分野の形式的検証最前線」及び一般)
- 2Z-2 価値に基づく議論の解集合プログラミングによる計算(人工知能一般(3),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 2R-6 議論に基づく交渉システムの実装(マルチエージェント(2),学生セッション,人工知能と認知科学)
- 1R-4 議論に基づく推薦システムの構築 : Google検索エンジンのユーザーインターフェースへの応用(マルチエージェント(1),学生セッション,人工知能と認知科学)
- 動的プリファレンスを扱う議論エージェントシステムの構築(「Webインテリジェンス」及び一般)
- 4V-6 動的プリファレンスを扱う議論エージェントシステムの構築(マルチエージェント(2),学生セッション,人工知能と認知科学)
- 4V-5 不完全論証の完全論証の補強による協調的議論エージェントシステムの実現(マルチエージェント(2),学生セッション,人工知能と認知科学)
- 3V-9 解集合プログラミングによる議論の意味論の計算(マルチエージェント(1),学生セッション,人工知能と認知科学)
- 2U-5 オントロジーマッピングによるLOMとCRM間のメタデータ変換(ゲーム・知識ベース,学生セッション,人工知能と認知科学)
- 3S-1 Araucariaツールの形式論証から拡張論理プログラムの自動生成(XMLと応用,学生セッション,データベースとメディア)
- 潜在的問題分析支援システムの教育への一応用
- 確率一般化LR構文解析器生成系の実現とゲノム解析への応用
- D-5-7 確率一般化LR構文解析器生成系の実現とゲノムへの応用検討
- D-5-11 暗黙知・形式知によるe-learning用Webページ検索エンジン(D-5.言語理解とコミュニケーション,一般講演)