Declarative spatial reasoning with Boolean combinations of axis-aligned rectangular polytopes

MaRDI QIDQ5283041zbMATH OpenFDO

Authors Carl R. Schultz, Mehul Bhatt

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/37039

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Qualitative spatial reasoning in a logical framework
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Region-based theory of space: algebras of regions, representation theory, and logics
• Non-monotonic spatial reasoning with answer set programming modulo theories
• Qualitative spatial reasoning with topological information

Cited in

(3)

• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Non-monotonic spatial reasoning with answer set programming modulo theories
• scientific article; zbMATH DE number 1696850 (Why is no real title available?)

This page was built for publication: Declarative spatial reasoning with Boolean combinations of axis-aligned rectangular polytopes

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