Roman Barták. Constraint Models for Reasoning on Unification in Inductive Logic Programming. In Darina Dicheva, Danail Dochev, editors, Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings. Volume 6304 of Lecture Notes in Computer Science, pages 101-110, Springer, 2010. [doi]
Abstract is missing.