An incremental approach to automatic algorithm design. - Shangmin Luan; Wei Li 022 (J. Comput. Sci. Technol., 1999)

Operational and Complete Approaches to Belief Revision. - Wei Li 022; Shangmin Luan (J. Comput. Sci. Technol., 2000)

An Algorithm for Diagnosing System with Structured Description. - Shangmin Luan; Guozhong Dai (ICCSA (2), 2003)

Fast Algorithms for Revision of Some Special Propositional Knowledge Bases. - Shangmin Luan; Guozhong Dai (J. Comput. Sci. Technol., 2003)

A Programmable Approach to Maintenance of a Finite Knowledge Base. - Shangmin Luan; Guozhong Dai; Wei Li 022 (J. Comput. Sci. Technol., 2003)

A Computational Approach for Belief Change. - Shangmin Luan; Guozhong Dai (CIS (1), 2005)

A programmable approach to revising knowledge bases. - Shangmin Luan; Guozhong Dai; Wei Li 022 (Sci. China Ser. F Inf. Sci., 2005)

Algorithms for Computing Minimal Conflicts. - Shangmin Luan; Lorenzo Magnani; Guozhong Dai (Log. J. IGPL, 2006)

An Algebraic Approach to Model-Based Diagnosis. - Shangmin Luan; Lorenzo Magnani; Guozhong Dai (Model-Based Reasoning in Science, Technology, and Medicine, 2007)

An algebraic approach to revising propositional rule-based knowledge bases. - Shangmin Luan; Guozhong Dai (Sci. China Ser. F Inf. Sci., 2008)

An approximate approach to belief revision. - Shangmin Luan; Guozhong Dai; Lorenzo Magnani (Log. J. IGPL, 2012)