Strong Equivalence of the Interleaving and Functional Distortion Metrics for Reeb Graphs.

Ulrich Bauer Elizabeth Munch Yusu Wang

Published in: CoRR (2014)

Keyphrases

strong equivalence
logic programs
reeb graph
quality metrics
stable models
logic programming
answer set programming
argumentation semantics
data model
sufficient conditions
autoepistemic logic
answer set semantics