Login / Signup

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

Ulrich BauerElizabeth MunchYusu Wang
Published in: SoCG (2015)
Keyphrases
  • strong equivalence
  • logic programs
  • reeb graph
  • quality metrics
  • answer set programming
  • stable models
  • knowledge base
  • expert systems
  • answer sets
  • fixpoint
  • classical logic