Pages that link to "Item:Q1617813"
From MaRDI portal
The following pages link to A modal and relevance logic for qualitative spatial reasoning (Q1617813):
Displaying 6 items.
- Boolean connection algebras: A new approach to the Region-Connection Calculus (Q1583514) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
- ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories (Q3449232) (← links)
- Relational proof systems for spatial reasoning ★ (Q3647246) (← links)
- (Q4877439) (← links)
- (Q5445158) (← links)