| 2008 |
|---|
| 8 | EE | Shangmin Luan,
Guozhong Dai:
An algebraic approach to revising propositional rule-based knowledge bases.
Science in China Series F: Information Sciences 51(3): 240-257 (2008) |
| 2007 |
|---|
| 7 | EE | Shangmin Luan,
Lorenzo Magnani,
Guozhong Dai:
An Algebraic Approach to Model-Based Diagnosis.
Model-Based Reasoning in Science, Technology, and Medicine 2007: 467-496 |
| 2006 |
|---|
| 6 | EE | Shangmin Luan,
Lorenzo Magnani,
Guozhong Dai:
Algorithms for Computing Minimal Conflicts.
Logic Journal of the IGPL 14(2): 391-406 (2006) |
| 2005 |
|---|
| 5 | EE | Shangmin Luan,
Guozhong Dai:
A Computational Approach for Belief Change.
CIS (1) 2005: 355-360 |
| 2003 |
|---|
| 4 | EE | Shangmin Luan,
Guozhong Dai:
An Algorithm for Diagnosing System with Structured Description.
ICCSA (2) 2003: 695-704 |
| 3 | EE | Shangmin Luan,
Guozhong Dai,
Wei Li:
A Programmable Approach to Maintenance of a Finite Knowledge Base.
J. Comput. Sci. Technol. 18(1): 102-108 (2003) |
| 2 | EE | Shangmin Luan,
Guozhong Dai:
Fast Algorithms for Revision of Some Special Propositional Knowledge Bases.
J. Comput. Sci. Technol. 18(3): 388-392 (2003) |
| 2000 |
|---|
| 1 | EE | Wei Li,
Shangmin Luan:
Operational and Complete Approaches to Belief Revision.
J. Comput. Sci. Technol. 15(3): 202-212 (2000) |
