conftrace_

qualitative temporal reasoning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

allen's interval algebra (1) sublinear partitioning (1) np-hard reasoning (1) temporal constraint network (1) plan verification (1) hierarchical task network (1) dynamic programming (1)

Papers

HTN Plan Verification by Qualitative Temporal Reasoning AAAI 2026 Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning IJCAI 2023