教师个人主页

胡畔   副教授

论文成果

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

发布时间：2022-01-10点击次数：

发表刊物：Thirty-Sixth AAAI Conference on Artificial Intelligence
是否译文：否
发表时间：2022-03-01
论文类型：会议论文

推荐此文


访问量：
开通时间： --
最后更新时间：--
 沪ICP备05052060 版权所有©上海交通大学

  电脑版