Resolution in linguistic first order logic based on linear symmetrical hedge algebra

Published in International Conference on Information Processing and Management of Uncertainty (IPMU) in Knowledge-Based Systems, 2014

Recommended citation: 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 International Conference on Information Processing and Management of Uncertainty (IPMU) in Knowledge-Based Systems, pp. 345-354. Springer, Cham, 2014. https://link.springer.com/chapter/10.1007/978-3-319-08795-5_36