aaai 2016 论文列表Declarative Learning Based Programming, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. |
JudgeD: A Probabilistic Datalog with Dependencies.
Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning.
RELOOP: A Python-Embedded Declarative Language for Relational Optimization.
Learning Constraints and Optimization Criteria.
On Declarative Modeling of Structured Pattern Mining.