Tabulation proof procedures for fuzzy linguistic logic programming

Van Hung Le, Fei Liu 0003. Tabulation proof procedures for fuzzy linguistic logic programming. Int. J. Approx. Reasoning, 63:62-88, 2015. [doi]

Abstract

Abstract is missing.