A Library of Anti-Unification Algorithms

Abstract. Generalization problems arise in many branches of artificial intelli-gence: machine learning, analogical and case-based reasoning, cognitive mod-eling, knowledge discovery, etc. Anti-unification is a technique used often to solve generalization problems. In this paper we describe an open-source library of some newly developed anti-unification algorithms in various theories: for first-and second-order unranked terms, higher-order patterns, and nominal terms.