智能规划和调度中的许多时态（或时序）问题可以表达为析取时态问题（DTP）．目前，多数析取时态问题求解器将析取时态问题看作约束可满足问题（C......

时态推理是人工智能领域的重要研究方向。析取时态问题（disjunctivetemporalproblem，DTP）是一类表达力极强的定量时态模型，被广泛应用......