Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning
Type of publication: | Inproceedings |
Citation: | Schultz-Bhatt-2016-DLP-AAAI |
Publication status: | Published |
Booktitle: | Declarative Learning Based Programming, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016 |
Year: | 2016 |
Publisher: | AAAI Press |
URL: | http://www.aaai.org/ocs/index.... |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|