linear logic array 线性逻辑阵列
Linear Logic System 线性逻辑体系
noncommutative linear logic 非可换线性逻辑
Linear Temporal Logic 线性时序逻辑
linear-time temporal logic 线性时序逻辑
linear time Logic 线性时序逻辑
Linear Timed Logic 使用线性时延逻辑
propositional linear temporal logic 命题线性时序逻辑
linear temporal logic ltl 线性时态逻辑
Since the service interface definition can be represented by ontology concepts, and the service behavior can be represented using linear logic formulas. So we can use inference rules of linear logic to check the matchability and satisfiability of service message.
由于有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,因此我们又可以使用线性逻辑的演绎方法对服务组合结果的数据可匹配性进行验证,为了适应服务组合的需要我们还对线性逻辑的演绎定理进行了适当扩展。
参考来源 - 基于语义的自动化服务组合研究Since the birth of linear logic, the topic of it and substructural logics has drawn the attention of many researchers.
自线性逻辑的概念诞生以来，关于线性逻辑及其子结构逻辑的研究已经引起了广泛关注。
参考来源 - 任务逻辑·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐