孙德刚 沈军 曹元大 刘大有 陈建中 虞强源 郭欣

移动Agent服务环境 知识与信念 模态逻辑 认知逻辑 接收者决定 可能世界语义 移动自组织网 体系结构 逻辑全知 位置辅助 移动Agent系统 广播协议 安全性 情景

吉林大学计算机科学系吉林大学符号计算与知... 符号计算与知识工程教育部开放实验 符号计算与知识工程教育部开放实验室 吉林大学计算机科学系吉林大学符号计算与知... 吉林大学计算机科学系 英国CO43XT 埃塞克斯大学电子系统工程系 北京理工大学计算机科学技术学院