Knowledgebases as Structured Theories

José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas. Knowledgebases as Structured Theories. In Kesav V. Nori, Sanjeev Kumar, editors, Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings. Volume 338 of Lecture Notes in Computer Science, pages 469-486, Springer, 1988.

Abstract

Abstract is missing.