Roman Barták, Ondrej Kuzelka, Filip Zelezný. Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem. In Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010. Volume WS-10-08 of AAAI Workshops, AAAI, 2010. [doi]
Abstract is missing.