动态逻辑相关论文
实时系统、嵌入式系统等反应式系统（Reactive Systems）往往具有“同步”特性,即模块间通信时间可忽略不计,同一时刻多个信号可同时发......
在基于UML的软件开发过程中，各种UML图形从不同侧面描绘着所开发的软件系统，这些图形之间存在着信息的重叠，从而导致UML模型的一致性......
随着Web服务技术的迅速发展，越来越多的Web服务运行在Internet上，但单个Web服务功能有限，难以满足日益增长和不断变化的用户需求。因......
该文主要探讨了在企业业务流程重组(企业再造)过程中存在的问题及其解决途径.对于流程分析,作者首次提出了动态逻辑分析法.在具体......
价值观对于世界观和方法论来说具有链接功能。价值观与世界观、方法论比较,其理论内容、逻辑指向、社会功能均具有相对独立性;价值......
随着计算机网络以及基于网络的分布式计算的发展，对于Agent系统的研究，已成为 人工智能领域中一个新的研究热点，也成为分布式......
当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶......
该文提出一种论证安全协议之安全性质的非单调动态逻辑.针对信息安全的特定需要,给出了一组与加密、解密、签名、认证和密钥分配等......
在某种程度上说,认知逻辑似乎有些脱离一般的认识论研究。本文旨在说明介于这两个领域之间的“桥梁”依然存在。而且,事实上它们之......
