Author of the publication

An Algebraic Approach to Model-Based Diagnosis.

, , and . Model-Based Reasoning in Science, Technology, and Medicine, volume 64 of Studies in Computational Intelligence, Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Luan, Shangmin
add a person with the name Luan, Shangmin
 

Other publications of authors with the same name

Algorithms for Computing Minimal Conflicts., , and . Logic Journal of the IGPL, 14 (2): 391-406 (2006)A programmable approach to revising knowledge bases., , and . Science in China Series F: Information Sciences, 48 (6): 681-692 (2005)Operational and Complete Approaches to Belief Revision., and . J. Comput. Sci. Technol., 15 (3): 202-212 (2000)An approximate approach to belief revision., , and . Logic Journal of the IGPL, 20 (2): 486-496 (2012)An Algebraic Approach to Model-Based Diagnosis., , and . Model-Based Reasoning in Science, Technology, and Medicine, volume 64 of Studies in Computational Intelligence, Springer, (2007)A Programmable Approach to Maintenance of a Finite Knowledge Base., , and . J. Comput. Sci. Technol., 18 (1): 102-108 (2003)An algebraic approach to revising propositional rule-based knowledge bases., and . Science in China Series F: Information Sciences, 51 (3): 240-257 (2008)An incremental approach to automatic algorithm design., and . J. Comput. Sci. Technol., 14 (4): 314-319 (1999)A Computational Approach for Belief Change., and . CIS (1), volume 3801 of Lecture Notes in Computer Science, page 355-360. Springer, (2005)An Algorithm for Diagnosing System with Structured Description., and . ICCSA (2), volume 2668 of Lecture Notes in Computer Science, page 695-704. Springer, (2003)