Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem

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]

Authors

Roman Barták

This author has not been identified. Look up 'Roman Barták' in Google

Ondrej Kuzelka

This author has not been identified. Look up 'Ondrej Kuzelka' in Google

Filip Zelezný

This author has not been identified. Look up 'Filip Zelezný' in Google