位置：成果数据库 > 期刊 > 期刊详情页
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
  • ISSN号：0950-7051
  • 期刊名称：Knowledge-Based Systems
  • 时间：0
  • 页码：162-168
  • 语言：英文
  • 相关项目：基于时态认知逻辑的特征交互无界模型检测
作者： Su, Jinshu|Yang, Zhihua|Wu, Lijun|Luo, Xiangyu|Su, Kaile|
同期刊论文项目
基于时态认知逻辑的特征交互无界模型检测
期刊论文 24 会议论文 15
同项目期刊论文
基于Verics的组合Web服务有界模型检测
一种执行代价较小的Web服务动态合成方法
Testing conformance of BPEL business process based on model checking
基于时间自动机的Web服务模型检测
Web服务的形式化验证
一种Web服务特征交互自动检测方法
Competent predicate abstraction in model checking
基于时态认知逻辑的Web服务模型检测
有界模型检测的优化
模型检测课程实践教学初探
Variable Forgetting in Reasoning about Knowledge
基于固定内存和状态管理的模型检测方法
和与积数迷的符号化模型检测
一类具有“开端”结构的安全协议分析方法研究
模型检测课程建设初探
Test frame updating in CPM testing of Prolog programs
一种求解认知难题的模型检测方法
全局优化的分层动态Web服务组合
一种Web服务组合的认知模型检测方法
基于ZING的Web服务建模与验证
基于智能体的OWL-S过程模型验证