Declarative Learning Based Programming
Papers
On Declarative Modeling of Structured Pattern Mining
PDFLearning Constraints and Optimization Criteria
PDFRELOOP: A Python-Embedded Declarative Language for Relational Optimization
PDFConstructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning
PDFJudgeD: A Probabilistic Datalog with Dependencies
PDF