上海交大研究生院主页平台管理系统胡畔--中文主页-- Modular materialisation of Datalog programs

论文成果

中文主页 - 科学研究 - 论文成果

Modular materialisation of Datalog programs

点击次数：

发表刊物：ARTIFICIAL INTELLIGENCE

ISSN号：0004-3702

是否译文：否

发表时间：2022-07-01

论文类型：期刊论文

第一作者：胡畔

上一条：: Enhancing Context-aware Reactive Planning for Unexpected Situations of On-orbit Spacecraft

下一条：: MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators