conftrace_

region connection calculus

4 papers

Explore in graph

Also known as

RCC

Co-occurring keywords · papers mentioning both

spatial reasoning (2) qualitative constraint network (1) weak composition (1) redundant constraint (1) allen's interval algebra (1) object placement (1) path consistency (1) topological constraint (1) formal logic (1) learning from demonstration (1)

Papers

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming AAAI 2026 Inference of Human-derived Specifications of Object Placement via Demonstration IJCAI 2025 Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction IJCAI 2017 On Redundant Topological Constraints (Extended Abstract) IJCAI 2017