サーカムスクリプションと安定モデル意味論(理論計算機科学とその周辺)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 平田 耕一

  九州大学総合理工学研究科情報システム学専攻

関連論文

• よい例からの理論生成アブダクション
• アブダクションによる論理プログラムの構成
• サーカムスクリプションと安定モデル意味論(理論計算機科学とその周辺)

スポンサーリンク