Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem.
Roman Bartk, Ondrej Kuzelka, Filip Zelezn
VenueA*AAAI
Year2010
ProceedingsAbstraction, Reformulation, and Approximation
DBLP recordconf/aaai/BartakKZ10 ↗
Browse the full AAAI paper archive.