勝野 裕文 | Ntt基礎研究所:(現)nttコミュニケーション科学基礎研究所
スポンサーリンク
概要
関連著者
-
勝野 裕文
Ntt基礎研究所:(現)nttコミュニケーション科学基礎研究所
-
勝野 裕文
Ntt 基礎研
-
磯崎 秀樹
日本電信電話(株)NTTコミュニケーション科学基礎研究所
-
磯崎 秀樹
Ntt基礎研究所
-
勝野 裕文
電電・武蔵野通研
-
梅村 晃広
Ntt基礎研究所:(現)株式会社nttデータオープンシステムセンタ
-
梅村 晃広
Ntt基礎研究所
著作論文
- 信念変更と論理
- アブダクション
- 2. 演繹データベースの形式的意味論 (演繹データベース)
- 動的環境におけるエージェント知識の効率的モデル検査法
- マルチエージェント環境における遡行的信念推定アルゴリズム
- トランザクション論理におけるプログラム変換