Monadic Second Order Logic with Measure and Category Quantifiers.

Matteo Mio Michal Skrzypczak Henryk Michalewski

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

Keyphrases

similarity measure
distance measure
data mining
domain knowledge
object oriented
first order logic
incomplete information