Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces

Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev

Research output: Contribution to journal › Article › peer-review

Keywords

@article{0a2d5a3a2952446ca9889c4dd107812d,

title = "Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces",

keywords = "Qualitative spatial reasoning, Spatial logic, Euclidean space, Connectedness, Satisfiability, Complexity",

author = "Roman Kontchakov and Ian Pratt-Hartmann and Michael Zakharyaschev",

year = "2014",

month = aug,

day = "7",

doi = "10.1016/j.artint.2014.07.012",

language = "English",

volume = "217",

pages = "43--75",

journal = "Artificial Intelligence",

issn = "0004-3702",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces

AU - Kontchakov, Roman

AU - Pratt-Hartmann, Ian

AU - Zakharyaschev, Michael

PY - 2014/8/7

Y1 - 2014/8/7

KW - Qualitative spatial reasoning

KW - Spatial logic

KW - Euclidean space

KW - Connectedness

KW - Satisfiability

KW - Complexity

U2 - 10.1016/j.artint.2014.07.012

DO - 10.1016/j.artint.2014.07.012

M3 - Article

SN - 0004-3702

VL - 217

SP - 43

EP - 75

JO - Artificial Intelligence

JF - Artificial Intelligence

ER -