Demonstrator for CertainTrust

CertainTrust provides a means for the evaluation of propositional logic terms under uncertainty.

AND =
OR =
cFusion =
wFusion =

Technische Universität Darmstadt Software-Cluster