可更新Datalog的分布式时态逻辑扩展及应用

可更新Datalog的分布式时态逻辑扩展及应用

霍颖瑜1，马莉1，胡敬文2，钟勇1

Distributed temporal logic extended updatable datalog and its application

HUO Yingyu1, MA Li1, HU Jingwen2, ZHONG Yong1

计算机工程与应用 . 2017, (15): 101 -105 . DOI: 10.3778/j.issn.1002-8331.1703-0507