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

zbMATH Open1366.68311MaRDI QIDQ5283041FDOQ5283041

Authors: Carl R. Schultz, Mehul Bhatt 

Publication date: 18 July 2017

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

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

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (3)

• Non-monotonic spatial reasoning with answer set programming modulo theories
• ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories
• Title not available (Why is that?)

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)