Nonclassical Models for Logic Programs

Valentinas Kriauciukas. Nonclassical Models for Logic Programs. In Harold Boley, Michael M. Richter, editors, Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings. Volume 567 of Lecture Notes in Computer Science, pages 179-190, Springer, 1991.

Abstract

Abstract is missing.