Logical Characterization of Trace Metrics.

Valentina Castiglioni Simone Tini

Published in: QAPL@ETAPS (2017)

Keyphrases

evaluation methods
logical operations
information retrieval
information systems
case study
bayesian networks
data structure
knowledge representation
evaluation metrics
evaluation criteria
logical structure
euclidean metric
logical properties
axiomatic characterization