SPEULER: Semantics-preserving Euler Diagrams.

Rebecca Kehlbeck Jochen Görtler Yunhai Wang Oliver Deussen

Published in: IEEE Trans. Vis. Comput. Graph. (2022)

Keyphrases

uml class diagrams
formal semantics
graphical representation
logic programming
data sets
default reasoning
databases
bayesian networks
differential equations
semantic relationships
proof theory