Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra

Thi-Minh-Tam Nguyen, Viet-Trung Vu, The-Vinh Doan, Duc-Khanh Tran. Resolution in Linguistic First Order Logic Based on Linear Symmetrical Hedge Algebra. In Anne Laurent, Olivier Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager, editors, Information Processing and Management of Uncertainty in Knowledge-Based Systems - 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part I. Volume 442 of Communications in Computer and Information Science, pages 345-354, Springer, 2014. [doi]

Abstract

Abstract is missing.