Starting out with the qualitative, topological constraint calculus RCC8 proposed by Randell, Cui, and Cohn, this work presents answers to a variety of open questions regarding RCC8. The open issues concerning computational properties are solved by exploiting a broad variety of results and methods from logic and theoretical computer science. Questions concerning practical performance are addressed by large-scale empirical computational experiments. The most impressive result is probably the complete classification of computational properties for all fragments of RCC8.
Starting out with the qualitative, topological constraint calculus RCC8 proposed by Randell, Cui, and Cohn, this work presents answers to a variety of open questions regarding RCC8. The open issues concerning computational properties are solved by exploiting a broad variety of results and methods from logic and theoretical computer science. Questions concerning practical performance are addressed by large-scale empirical computational experiments. The most impressive result is probably the complete classification of computational properties for all fragments of RCC8.
Qualitative Spatial Reasoning with Topological Information
212
Qualitative Spatial Reasoning with Topological Information
212Paperback(2002)
Product Details
| ISBN-13: | 9783540433460 |
|---|---|
| Publisher: | Springer Berlin Heidelberg |
| Publication date: | 04/08/2002 |
| Series: | Lecture Notes in Computer Science , #2293 |
| Edition description: | 2002 |
| Pages: | 212 |
| Product dimensions: | 6.10(w) x 9.25(h) x 0.02(d) |