|
JAIST Repository >
JAIST >
Theses >
Master of Science（Information Science） >
H25) (Jun.2013 - Mar.2014 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/12021
|
| Title: | エージェント間の通信チャネルの変化に対応した動作機構の構築 |
| Authors: | 廣瀬, 伸也 |
| Authors(alternative): | ひろせ, しんや |
| Keywords: | マルチエージェント
multi agent
認識論理
epistemic logic
チャネル間通信
communication channel |
| Issue Date: | Mar-2014 |
| Description: | Supervisor:東条 敏
情報科学研究科
修士 |
| Title(English): | Constructing a model checker for multi-agent epistemic logic with changing communication channels between agents |
| Authors(English): | Hirose, Shinya |
| Language: | jpn |
| URI: | http://hdl.handle.net/10119/12021 |
| Appears in Collections: | M-IS. 2013年度(H25) (Jun.2013 - Mar.2014)
|
All items in DSpace are protected by copyright, with all rights reserved.
|
