Qualitative spatial logics for buffered geometries

DOI10.1613/JAIR.5140MaRDI QIDQ2818239zbMATHOpenAlexWikidataFDO

Authors Heshan Du, Natasha Alechina

Publication date 7 September 2016

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

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 6928613
• Spatial logics with connectedness predicates
• Formal qualitative spatial augmentation of the simple feature access model
• Reasoning about qualitative spatial relationships
• scientific article; zbMATH DE number 1872152

Cited in

(5)

• A Logic of East and West
• Formal qualitative spatial augmentation of the simple feature access model
• scientific article; zbMATH DE number 6928613 (Why is no real title available?)
• scientific article; zbMATH DE number 5295702 (Why is no real title available?)
• scientific article; zbMATH DE number 5222366 (Why is no real title available?)

This page was built for publication: Qualitative spatial logics for buffered geometries

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2818239)