ISDTM相关论文
ISDTM, based on an augmented Allen's interval temporal logic (IT1) and first-order predicate calculus, is a formal t......
期刊