- 交互时态信念逻辑及其模型检测
- 1
- 《南京大学学报（自然科学版）》福建农林大学计算机科学与技术系;福州大学计算机科学与技术系 宁正元 胡山立 赖贤伟 出版年：2008
- 关键词：交互时态逻辑 并发博弈结构 模型检测 知识 信念
- 多Agent合作逻辑中的动作与意图 ( EI收录)
- 2
- 《计算机研究与发展》福州大学计算机科学与技术系;福建农业大学计算机科学与技术系;中国科学院计算机科学重点实验室 赖贤伟 胡山立 出版年：2006
- 关键词：多Agent合作逻辑 动作 意图 多子集语义
- AutoCAD曲线的坐标变换和最值求取
- 3
- 《计算机应用研究》福建农林大学计算机科学系 潘晓文 出版年：2001
- 关键词：AUTOCAD 绘图软件 样条曲线 坐标变换 杠刀具
- 多Agent合作逻辑中的动作与意图
- 4
- 第一届Agent理论与应用学术会议 2006赖贤伟 胡山立 出版年：2006
- 关键词：多AGENT 合作逻辑 动作相关函数 个体意图 多子集语义
- 交互时态逻辑下的三种模糊信念算子
- 5
- 《海南师范大学学报（自然科学版）》福建农林大学计算机科学与技术系;福州大学计算机科学与技术系 赖贤伟 胡山立 宁正元 王秀丽 出版年：2008
- 关键词：交互时态逻辑 并发博弈结构 信念
