緒方 典裕 | 大阪大学言語文化部

スポンサーリンク

概要

• 緒方 典裕の詳細を見る
• 同名の論文著者
• 大阪大学言語文化部の論文著者

関連著者

• 緒方 典裕

  大阪大学言語文化部

著作論文

• Dynamic Epistemic Logics, Dynamic Doxastic LogicsのKripke Systemの観点からのサーベイ(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• TL2000-12 領域オントロジーと領域言語

スポンサーリンク