Pages that link to "Item:Q3449232"
From MaRDI portal
The following pages link to ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (Q3449232):
Displaying 5 items.
- First-order stable model semantics with intensional functions (Q2321299) (← links)
- Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084) (← links)
- (Q5020581) (← 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)
