Personal Information

VIEW MORE
Home > Scientific Research > Paper Publications

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

Date of Publication:2022-03-01 Hits:

Journal:Thirty-Sixth AAAI Conference on Artificial Intelligence
Translation or Not:no
Date of Publication:2022-03-01
Indexed by:会议论文

Pre One:Modular materialisation of Datalog programs

Recommend this article

 沪ICP备05052060 版权所有©上海交通大学

Click:  | The Last Update Time:..