Locally Finite, Proper and Complete Operators for Refining Datalog Programs

Floriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro. Locally Finite, Proper and Complete Operators for Refining Datalog Programs. In Zbigniew W. Ras, Maciej Michalewicz, editors, Foundations of Intelligent Systems, 9th International Symposium, ISMIS 96, Zakopane, Poland, June 9-13, 1996, Proceedings. Volume 1079 of Lecture Notes in Computer Science, pages 468-478, Springer, 1996.

Abstract

Abstract is missing.