Term-Graph Anti-Unification.

Alexander Baumgartner Temur Kutsia Jordi Levy Mateu Villaret

Published in: FSCD (2018)

Keyphrases

anti unification
graph model
analogy making
graph structure
random walk
graph theory
graph representation
higher order
first order logic
inductive logic programming
weighted graph
bipartite graph
graph mining
structured data
decision making
directed acyclic graph
inductive learning
directed graph
data points
pairwise