2. 演繹データベースの形式的意味論 (<特集>演繹データベース)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1990-02-15
著者
関連論文
- 信念変更と論理
- アブダクション
- 2. 演繹データベースの形式的意味論 (演繹データベース)
- 79-16あるデータベース計算機の概念と能力
- 動的環境におけるエージェント知識の効率的モデル検査法
- 2Q-7 オブジェクトの包含・接触に基づくモーションデータベースの検索
- オブジェクトの包含・接触に基づくモーションデータベースの検索
- 長尾 真, 淵 一博 著, 岩波講座, 情報科学-7, "論理と意味", 岩波書店, A5判, 202p., \2,200, 1983
- 79-30 データベース正規化理論への上級者向き紹介
- マルチエージェント環境における遡行的信念推定アルゴリズム
- トランザクション論理におけるプログラム変換