The Strong Semantics for Logic Programs

Jianhua Chen, Sukhamay Kundu. The Strong Semantics for Logic Programs. In Zbigniew W. Ras, Maria Zemankova, editors, Methodologies for Intelligent Systems, 6th International Symposium, ISMIS 91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings. Volume 542 of Lecture Notes in Computer Science, pages 490-499, Springer, 1991.

Abstract

Abstract is missing.