Relations Between Spatial Calculi About Directions and Orientations

DOI10.1613/jair.4631zbMath1343.68227OpenAlexW1928076360WikidataQ129489797 ScholiaQ129489797MaRDI QIDQ3449765

Till Mossakowski, Reinhard Moratz

Publication date: 5 November 2015

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.4631

zbMATH Keywords

universal algebraqualitative spatial reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Applications of universal algebra in computer science (08A70) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

Unnamed Item ⋮ Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning