Pages that link to "Item:Q4593084"
From MaRDI portal
The following pages link to Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084):
Displaying 4 items.
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (Q4559799) (← links)
- Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (Q5140026) (← links)
- Qualitative reasoning about 2D cardinal directions using answer set programming (Q6488805) (← links)