櫟 粛之 | NTTコミュニケーション科学基礎研究所
スポンサーリンク
概要
関連著者
-
櫟 粛之
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
櫟 粛之
NTTコミュニケーション科学基礎研究所
-
櫟 粛之
日本電信電話株式会社
-
櫻井 幸一
九州大学システム情報科学研究院
-
澤田 宏
NTTコミュニケーション科学基礎研究所
-
今本 健二
九州大学
-
今本 健二
九州大学システム情報科学研究院
-
新出 尚之
奈良女子大学理学部
-
櫻井 幸一
九州大学大学院 システム情報科学研究科 情報工学専攻
-
寺田 賢二
東日本電信電話株式会社ネットワーク事業推進本部研究開発センタ
-
高田 司郎
近畿大学理工学部情報学科
-
高田 司郎
近畿大学理工学部
-
高田 司郎
Atrメディア情報科学研究所
-
高田 司郎
Atr メディア情報科学研究所
-
石田 亨
NTTコミュニケーション科学研究所
-
澤田 宏
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
寺田 賢二
NTTコミュニケーション科学基礎研究所
-
今本 健二
九州大学大学院システム情報科学研究院
-
守屋 宣
日本電信電話株式会社nttコミュニケーション科学基礎研究所 : (現)近畿大学理工学部情報学科
-
守屋 宣
NTTコミュニケーション科学基礎研究所
-
高田 司郎
近畿大 理工
-
新出 尚之
奈良女子大学
-
櫻井 幸一
九州大学システム情報科学府
著作論文
- エージェントの相互信念を扱う拡張BDI logicの演繹体系
- エージェント間通信における信頼度計算手法
- インターネットエージェントのための動的スナップショットアルゴリズムと部分ロールバックアルゴリズム
- 鍵交換プロトコルのFunctionality合成について(「さまざまな分野の形式的検証最前線」及びAI一般)
- 鍵交換プロトコルの Functionality 合成について
- エージェントプログラミングとその形式的検証
- 知識と信念の推論に基づくモバイルエージェントシステム
- HDLで記述されたハードウェア設計の時相論理による検証
- HDLで記述されたハードウェア設計の時相論理による検証
- First-Order定義可能な様相命題論理体系に対する自動定理証明
- 停止性を保証する汎用様相論理定理証明手続き
- デフォルト論理に基づく知識プログラミングシステムとそのプログラム変換の理論的枠組み