paraconsistent semantics | BriefGPT

关键词paraconsistent semantics

搜索结果 - 1

测量声明式流程规范中的不一致性
这篇研究论文解决了测量申明性进程规范不一致性的问题，重点介绍了固定跟踪（LTLff）的线性时间逻辑的不一致性，提出了一种新的不完全一致语义作为不一致性测量的框架。提出两种基于这些语义的不一致性度量，并研究了引入方法的计算复杂性。
PDF2 years ago