Towards Refinement of Definite Logic Programs

Henryk Jan Komorowski, Silvia Trcek. Towards Refinement of Definite Logic Programs. In Zbigniew W. Ras, Maria Zemankova, editors, Methodologies for Intelligent Systems, 8th International Symposium, ISMIS 94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings. Volume 869 of Lecture Notes in Computer Science, pages 315-325, Springer, 1994.

Abstract

Abstract is missing.