Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas

Edgar Altamirano, Gonzalo Escalada-Imaz. Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas. In Salem Benferhat, Philippe Besnard, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings. Volume 2143 of Lecture Notes in Computer Science, pages 792-804, Springer, 2001. [doi]

Abstract

Abstract is missing.