トランザクション論理におけるプログラム変換
スポンサーリンク
概要
- 論文の詳細を見る
- 1994-06-20
著者
関連論文
- 曲線に関する定性的演算規則
- エージェント同士の知識の推定と更新 (&特集>「記号論理とAI」)
- エージェント指向プログラミングの実現に向けて : 他者の信念の推定法 ( マルチエージェント)
- 全米人工知能会議 AAAI-96 報告
- プレゼンテーションのためのフリーソフトウェア
- 信念推定算法の終助詞選択への適用
- ICMAS '95報告
- Zero-suppressed-BDDによる制約充足問題解法の性質 : 組合せ集合演算による非単調性の解明
- トランザクション論理におけるプログラム変換
- トランザクション論理プログラミングの実装とプランニングへの応用
- マルチエージェント環境における遡行的信念推定アルゴリズム
- トランザクション論理におけるプログラム変換