Jianhua Chen. A Class of Stratified Programs in Autoepistemic Logic of Knowledge and Belief. In Zbigniew W. Ras, Andrzej Skowron, editors, Foundations of Intelligent Systems, 11th International Symposium, ISMIS 99, Warsaw, Poland, June 8-11, 1999, Proceedings. Volume 1609 of Lecture Notes in Computer Science, pages 67-75, Springer, 1999.
Abstract is missing.