String Unification is Essentially Infinitary.

Michael Hoche Jörg H. Siekmann Peter Szabó

Published in: FLAP (2016)

Keyphrases

data structure
higher order
pattern matching
edit distance
theorem proving
suffix tree
theorem prover
data sets
string similarity
string matching
knuth bendix
levenshtein distance
probabilistic model
decision trees
information retrieval
machine learning
data mining