A survey of qualitative spatial and temporal calculi: Algebraic and computational properties
- Publication Type:
- Journal Article
- Citation:
- ACM Computing Surveys, 2017, 50 (1)
- Issue Date:
- 2017-04-01
In Progress
Filename | Description | Size | |||
---|---|---|---|---|---|
79EA7C91-732D-434C-8F23-CE1003AE64A7 am.pdf | Accepted Manuscript Version | 1.32 MB |
Copyright Clearance Process
- Recently Added
- In Progress
- Open Access
This item is being processed and is not currently available.
© 2017 ACM. Qualitative spatial and temporal reasoning (QSTR) is concerned with symbolic knowledge representation, typically over infinite domains. The motivations for employing QSTR techniques include exploiting computational properties that allow efficient reasoning to capture human cognitive concepts in a computational framework. The notion of a qualitative calculus is one of the most prominent QSTR formalisms. This article presents the first overview of all qualitative calculi developed to date and their computational properties, together with generalized definitions of the fundamental concepts and methods that now encompass all existing calculi. Moreover, we provide a classification of calculi according to their algebraic properties.
Please use this identifier to cite or link to this item: