Gelfondの論理プログラムへの変換方法に関する一考察

スポンサーリンク

概要

• 論文の詳細を見る
• 1994-06-20

著者

• 若木 利子

  東京工業大学大学院総合理工学研究科知能システム科学

• 若木 利子

  群馬職業能力開発短期大学校情報システム系

• 佐藤 健

  富士通研究所

関連論文

• 拡張論理プログラムへの意味論的関係に基づく変換による優先順位付き極小限定の計算
• 拡張論理プログラムへの優先順位付き極小限定の変換
• 論理プログラムへの翻訳による優先順位つき極小限定の計算
• Gelfondの論理プログラムへの変換方法に関する一考察

スポンサーリンク