Stefan Borgwardt, Marco Cerami, Rafael Peñaloza. Many-valued Horn Logic is Hard. In Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan, editors, Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014. Volume 1205 of CEUR Workshop Proceedings, pages 52-58, CEUR-WS.org, 2014. [doi]
Abstract is missing.