Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces (Q464617): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68T27 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6362035 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
qualitative spatial reasoning | |||
| Property / zbMATH Keywords: qualitative spatial reasoning / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
spatial logic | |||
| Property / zbMATH Keywords: spatial logic / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Euclidean space | |||
| Property / zbMATH Keywords: Euclidean space / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
connectedness | |||
| Property / zbMATH Keywords: connectedness / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
satisfiability | |||
| Property / zbMATH Keywords: satisfiability / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
complexity | |||
| Property / zbMATH Keywords: complexity / rank | |||
Normal rank | |||
Revision as of 13:40, 30 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces |
scientific article |
Statements
Spatial reasoning with \(\mathcal{RCC} 8\) and connectedness constraints in Euclidean spaces (English)
0 references
27 October 2014
0 references
qualitative spatial reasoning
0 references
spatial logic
0 references
Euclidean space
0 references
connectedness
0 references
satisfiability
0 references
complexity
0 references
