Nikolaus Swoboda

Learn More
This paper proposes an implementation of a Eu-ler/Venn reasoning system using directed acyclic graphs and shows that this implementation is correct with respect to a modified Shin/Hammer mathematical model of Euler/Venn Reasoning. In proving its correctness it will also be shown that the proposed implementation preserves or inherits the soundness and(More)
  • 1