山崎 進 | 岡山大学工学部情報工学科
スポンサーリンク
概要
関連著者
-
山崎 進
岡山大学工学部情報工学科
-
黒瀬 義則
岡山大学大学院自然科学研究科
-
黒瀬 義則
岡山大学工学部情報工学科
-
西井 康浩
岡山大学工学部情報工学科
-
加藤 弘之樹
富士ゼロックス株式会社
-
寺本 光秋
岡山大学工学部情報工学科
-
川田 哲博
岡山大学工学部情報工学科
-
石場 直彦
岡山大学工学部情報工学科
-
足立 亘
岡山大学工学部
著作論文
- 調整と無限導出を伴うアブダクティブ手続き
- 拡張論理プログラムに対する矛盾解消アブダクションの枠組
- 一般プログラムに対する矛盾解消交替演算子
- 3値アブダクション枠組における一貫性制約と意味論
- 3値アブダクティブ証明手続き
- 3値アブダクション枠組の意味論
- 一般プログラムに対する矛盾解消交替演算子
- 3値論理におけるアブダクション
- 状況理論に基づくプランニング争点解消手法
- 安全でないSLDNF導出に基づくアブダクション手続きの正当性
- 矛盾による否定と二重否定問題
- 一般論理プログラムに対する安全でないSLDNF導出と最小不動点意味論
- データフローネットワークに基づく論理プログラムの計算機構と意味論(ソフトウェア科学・工学における数理的方法)