线性时态逻辑LTL 相关硕士博士期刊学术论文 - 搜论网

线性时态逻辑LTL相关论文

基于描述逻辑的模糊时空知识表示与推理研究

随着语义Web的不断发展和应用,描述逻辑以易于理解的形式化表示和完善的推理机制等特点,成为语义Web中实现知识表示和推理的逻辑基......

学位

模糊时空对象拓扑关系模糊时空知识知识表示与推理模糊描述逻辑 f-ALC(S) f-ALC(S)-LTL tableau算法线性时态逻辑LTL

看过本文同时还关注