Trace semantics via determinization.

Bart Jacobs Alexandra Silva Ana Sokolova

Published in: J. Comput. Syst. Sci. (2015)

Keyphrases

formal semantics
semantic information
data mining
data sets
genetic algorithm
learning algorithm
domain knowledge
logic programming
semantic representation
model theoretic