A method to compute truth-value propagation in weighted fuzzy logic | IEEE Conference Publication | IEEE Xplore