conftrace_

interval algebra

4 papers

Explore in graph

Co-occurring keywords

constraint satisfaction problem (21) temporal reasoning (313) primitive positive interpretation (1) rectangle algebra (1) exponential algorithm (4) safety critical system (4) interval temporal algebra (1) violation rate (1) allen algebra (1) complexity classification (3)

Papers

Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach IJCAI 2021
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning UAI 2021
Classification Transfer for Qualitative Reasoning Problems IJCAI 2018
Event Detection in Complex Scenes Using Interval Temporal Constraints ICCV 2013