Restricted Higher-Order Anti-Unification for Analogy Making

Ulf Krumnack, Angela Schwering, Helmar Gust, Kai-Uwe Kühnberger. Restricted Higher-Order Anti-Unification for Analogy Making. In Mehmet A. Orgun, John Thornton, editors, AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings. Volume 4830 of Lecture Notes in Computer Science, pages 273-282, Springer, 2007. [doi]

Authors

Ulf Krumnack

This author has not been identified. Look up 'Ulf Krumnack' in Google

Angela Schwering

This author has not been identified. Look up 'Angela Schwering' in Google

Helmar Gust

This author has not been identified. Look up 'Helmar Gust' in Google

Kai-Uwe Kühnberger

This author has not been identified. Look up 'Kai-Uwe Kühnberger' in Google