Bhatt, Mehul, University of Bremen, Germany
-
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence - Declarative Learning Based Programming
Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning
Abstract PDF