Declarative Learning Based Programming
Papers from the 2016 AAAI Workshop
Parisa Kordjamshidi, Chair
AAAI Technical Report WS-16-07
This technical report was published as part of The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence: Technical Reports WS-16-01 – WS-16-15 by The AAAI Press, Palo Alto, California
Contents
On Declarative Modeling of Structured Pattern Mining
Tias Guns, Sergey Paramonov, Benjamin Negrevergne
Learning Constraints and Optimization Criteria
Samuel M. Kolb
RELOOP: A Python-Embedded Declarative Language for Relational Optimization
Martin Mladenov, Danny Heinrich, Leonard Kleinhans, Felix Gonsior, Kristian Kersting
Constructive Geometric Constraint Solving as a General Framework for KR-Based Declarative Spatial Reasoning
Carl Schultz, Mehul Bhatt
JudgeD: A Probabilistic Datalog with Dependencies
Brend Wanders, Maurice van Keulen, Jan Flokstra
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.