A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics | IEEE Conference Publication | IEEE Xplore