Kienchung Kuo. Dynamic Autoepistemic Logic. In Zbigniew W. Ras, Maria Zemankova, editors, Methodologies for Intelligent Systems, 6th International Symposium, ISMIS 91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings. Volume 542 of Lecture Notes in Computer Science, pages 530-539, Springer, 1991.
@inproceedings{Kuo91:0, title = {Dynamic Autoepistemic Logic}, author = {Kienchung Kuo}, year = {1991}, tags = {logic}, researchr = {https://researchr.org/publication/Kuo91%3A0}, cites = {0}, citedby = {0}, pages = {530-539}, booktitle = {Methodologies for Intelligent Systems, 6th International Symposium, ISMIS 91, Charlotte, N.C., USA, October 16-19, 1991, Proceedings}, editor = {Zbigniew W. Ras and Maria Zemankova}, volume = {542}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54563-8}, }