Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning.
VenueA*AAAI
Year2016
ProceedingsAAAI Workshop: Declarative Learning Based Programming
DBLP recordconf/aaai/SchultzB16 ↗
Browse the full AAAI paper archive.