Wang, Yuhui; Sui, Yuefei R-calculus for pseudo-subconcept-minimal change in description logic ALC. (Chinese. English summary) Zbl 1463.68079 J. Softw. 30, No. 12, 3683-3693 (2019). MSC: 68T27 03B42 68T30 PDFBibTeX XMLCite \textit{Y. Wang} and \textit{Y. Sui}, J. Softw. 30, No. 12, 3683--3693 (2019; Zbl 1463.68079) Full Text: DOI
Xiao, Wenjie; Zhu, Zhaohui Belief revision based on incomplete valuations. (Chinese. English summary) Zbl 1224.68165 J. Softw. 21, No. 1, 47-54 (2010). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{W. Xiao} and \textit{Z. Zhu}, J. Softw. 21, No. 1, 47--54 (2010; Zbl 1224.68165) Full Text: DOI
Luan, Shangmin; Dai, Guozhong An approach to the revision of a finite belief set. (Chinese. English summary) Zbl 1042.03017 J. Softw. 14, No. 5, 911-917 (2003). MSC: 03B42 68T27 68T30 PDFBibTeX XMLCite \textit{S. Luan} and \textit{G. Dai}, J. Softw. 14, No. 5, 911--917 (2003; Zbl 1042.03017)