间断区间逻辑相关硕士博士期刊学术论文 - 搜论网

间断区间逻辑相关论文

基于间断区间的时态关系处理

定义了基于间断区间的时态的逻辑的公理，分离规则，证明等概念，特别，讨论了区间分离后的时态关系确定问题以及公理的完备性。......

期刊

时态知识表示时态逻辑间断区间间断区间逻辑 temporal knowledge representation temporal reasoning tem

GTL的可靠性

给出了时态分离规则和证明两个概念，并讨论了ＧＴＬ的可靠性。...

期刊

时态知识表示时态逻辑可靠性间断区间逻辑

GTL的公理系统及其完备性

给出了ＧＴＬ的公理，并证明了ＧＴＬ的公理是完备的。...

期刊

时态逻辑间断区间逻辑公理系统

看过本文同时还关注