太田 好彦 | 職業能力開発大学校情報工学科
スポンサーリンク
概要
関連著者
-
太田 好彦
職業能力開発大学校情報工学科
-
井上 克巳
豊橋技術科学大学情報工学系
-
中島 誠
大分大学工学部知能情報システム工学科
-
長谷川 隆三
九州大学大学院システム情報科学研究院
-
井上 克巳
(財)新世代コンピュータ技術開発機構
-
長谷川 隆三
(財)新世代コンピュータ技術開発機構
-
太田 好彦
(財)新世代コンピュータ技術開発機構
-
長谷川 隆三
九州大学大学院システム情報科学研究科知能システム学専攻
-
越村 三幸
九州大学大学院システム情報科学研究院
-
井上 克巳
神戸大学工学部
-
井上 克巳
新世代コンピュータ技 術開発機構
-
長谷川 隆三
(財)次世代コンピュータ技術開発機構
-
太田 好彦
新世代コンピュータ技術開発機構
著作論文
- モデル生成型定理証明器を用いたアブダクションの計算における効率化手法
- モデル生成に基づく並列アブダクション
- モデル生成に基づく並列アブダクション
- ノンホーンマジックセット法と関連性テストとの等価性
- 上昇型定理証明の探索効率を高めるノンホーン・マジックセット
- 段階的前向き仮説推論システム
- ATMSを用いた前向き仮説推論システムにおける効率的な推論方式
- ATMSによるRete-Likeネットワークの逐次構築