A Logical Model of Knowledge

Martin Nilsson. A Logical Model of Knowledge. In IJCAI. pages 374-376, 1983.

Abstract

Abstract is missing.