Anti-unification and the theory of semirings.

Published in: Theor. Comput. Sci. (2020)

Keyphrases

analogy making
anti unification
human cognition
higher order
domain knowledge
case based reasoning
software engineering
description logics
computational model
theoretical framework
inductive logic programming
computational models