井上 克巳 | 豊橋技術科学大学情報工学系

スポンサーリンク

概要

• 同名の論文著者
• 豊橋技術科学大学情報工学系の論文著者

関連著者

• 井上 克巳

  豊橋技術科学大学情報工学系

• 太田 好彦

  職業能力開発大学校情報工学科

• 赤埴 淳一

  日本電信電話株式会社NTTネットワークサービスシステム研究所

• 中島 誠

  大分大学工学部知能情報システム工学科

• 赤埴 淳一

  Nttコミュニケーション科学基礎研究所

• 長谷川 隆三

  新世代コンピュータ技術開発機構

• 鍋島 英知

  山梨大学大学院医学工学総合研究部

• 長谷川 隆三

  (財)新世代コンピュータ技術開発機構

• 鍋島 英知

  豊橋技術科学大学情報工学系

• 長谷川 隆三

  九州大学大学院システム情報科学研究院

• 越村 三幸

  九州大学大学院システム情報科学研究院

• 長谷川 隆三

  (財)次世代コンピュータ技術開発機構

• 長谷川 隆三

  九州大学大学院システム情報科学研究科知能システム学専攻

• 橋本 裕

  豊橋技術科学大学 情報工学系

• 向出 隆信

  豊橋技術科学大学情報工学系

もっと見る 閉じる

著作論文

• 様相節変換に基づくボトムアップ型様相論理証明法
• 信念様相論理に対する様相節変換型証明器の実現
• 様相節変換に基づくMGTP上の様相論理証明器の効率的実現
• モデル生成型定理証明器を用いたアブダクションの計算における効率化手法
• モデル生成に基づく並列アブダクション
• モデル生成に基づく並列アブダクション
• 上昇型定理証明の探索効率を高めるノンホーン・マジックセット
• アクション言語Αのためのオートマトン理論
• 定理証明器PTTPにおける対偶節生成の削減効果
• アクション言語Aを表現するオートマトンモデル
• アブダクションを用いた逐次的な自然言語理解モデル

もっと見る 閉じる

スポンサーリンク