发表刊物：Thirty-Sixth AAAI Conference on Artificial Intelligence
是否译文：否
发表时间：2022-03-01
论文类型：会议论文
合写作者：胡畔
胡畔
副教授
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
点击次数：