Restricted Higher-Order Anti-Unification for Analogy Making - Krumnack, Ulf; Schwering, Angela; Gust, Helmar; Kühnberger, Kai-Uwe (AI 2007: Advances in Artificial Intelligence, 2007)
Keywords: Artificial intelligence; Basic Substitution; Complexity Measure; Data mining; Function Symbol; General Generalization; Mathematical theory of computation; Target Domain