Contradiction Removal Semantics with Explicit Negation

Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício. Contradiction Removal Semantics with Explicit Negation. In Michael Masuch, László Pólos, editors, Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992]. Volume 808 of Lecture Notes in Computer Science, pages 91-105, Springer, 1992.

Abstract

Abstract is missing.