Teresa Alsinet, David Barroso, Ramón Béjar, Félix Bou, Marco Cerami, Francesc Esteva. On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. In Weiru Liu, V. S. Subrahmanian, Jef Wijsen, editors, Scalable Uncertainty Management - 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings. Volume 8078 of Lecture Notes in Computer Science, pages 325-330, Springer, 2013. [doi]
Abstract is missing.