Pages that link to "Item:Q4559799"
From MaRDI portal
The following pages link to A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (Q4559799):
Displaying 6 items.
- Modal logic S5 in answer set programming with lazy creation of worlds (Q2694545) (← links)
- Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595) (← links)
- (Q5020581) (← links)
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming (Q5140008) (← 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)
