The following pages link to (Q5283015):
Displaying 5 items.
- Reasoning about cardinal directions between extended objects: the NP-hardness result (Q420805) (← links)
- Algebraic foundations for qualitative calculi and networks (Q1733063) (← links)
- On qualitative route descriptions. Representation, agent models, and computational complexity (Q2341261) (← links)
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (Q3449232) (← links)
- Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084) (← links)