Spatial logics with connectedness predicates
Kontchakov, Roman and Pratt-Hartmann, I. and Wolter, F. and Zakharyaschev, Michael (2010) Spatial logics with connectedness predicates. Logical Methods in Computer Science 6 (3), pp. 1-43. ISSN 1860-5974.
Abstract
We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological connectedness of regions and restrict the number of their connected components. We investigate the computational complexity of these logics and show that the connectedness constraints can increase complexity from NP to PSpace, ExpTime and, if component counting is allowed, to NExpTime.
Metadata
Item Type: | Article |
---|---|
School: | School of Business, Economics & Informatics > Computer Science and Information Systems |
Depositing User: | Administrator |
Date Deposited: | 31 Mar 2011 10:25 |
Last Modified: | 11 Oct 2016 12:02 |
URI: | https://eprints.bbk.ac.uk/id/eprint/3225 |
Statistics
Additional statistics are available via IRStats2.