Pages that link to "Item:Q5240208"
From MaRDI portal
The following pages link to Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments (Q5240208):
Displaying 8 items.
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming (Q4559799) (← 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)
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments (Q5240208) (← links)
- Qualitative reasoning about 2D cardinal directions using answer set programming (Q6488805) (← links)