Distances between States and between Predicates.

Bart Jacobs Abraham Westerbaan

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

distance measure
distance function
euclidean distance
databases
state transition
decision trees
user defined
dissimilarity measure
initial state
partial knowledge
function symbols