Brian R. Gaines. Logical foundations for knowledge representation in intelligent systems. In Zbigniew W. Ras, Maria Zemankova, editors, Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems, ISMIS 1986, Knoxville, Tennessee, USA, October 22-24, 1986. pages 366-380, ACM, 1986. [doi]
Abstract is missing.