A Generalisation of the Hyperresolution Principle to First Order Gödel Logic

Dusan Guller. A Generalisation of the Hyperresolution Principle to First Order Gödel Logic. In Kurosh Madani, António Dourado Correia, Agostinho C. Rosa, Joaquim Filipe, editors, Computational Intelligence - International Joint Conference, IJCCI 2012 Barcelona, Spain, October 5-7, 2012 Revised Selected Papers. Volume 577 of Studies in Computational Intelligence, pages 159-182, Springer, 2012. [doi]

Abstract

Abstract is missing.