Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics

James J. Lu, Neil V. Murray, Erik Rosenthal. Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. In Zbigniew W. Ras, Setsuo Ohsuga, editors, Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings. Volume 1932 of Lecture Notes in Computer Science, pages 301-310, Springer, 2000. [doi]

Abstract

Abstract is missing.