An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification

DOI10.1007/978-3-540-73847-3_19zbMath1201.68084OpenAlexW1492878226MaRDI QIDQ5426043

Koichiro Doi, Tetsuya Yamashita, Akihiro Yamamoto

Publication date: 15 November 2007

Published in: Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73847-3_19

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

This page was built for publication: An Efficient Algorithm for Computing Kernel Function Defined with Anti-unification