Carl P. L. Schultz, Mehul Bhatt. Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning. In Parisa KordJamshidi, editor, Declarative Learning Based Programming, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. Volume WS-16-07 of AAAI Workshops, AAAI Press, 2016. [doi]
Abstract is missing.