A formal model of knowledge-based systems

Ivan Kalas. A formal model of knowledge-based systems. In Alica Kelemenová, Jozef Kelemen, editors, Trends, Techniques, and Problems in Theoretical Computer Science, 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986, Proceedings. Volume 281 of Lecture Notes in Computer Science, pages 170-181, Springer, 1986.

Abstract

Abstract is missing.