Algorithms for Computing Minimal Conflicts |
| |
| Authors: | Luan, Shangmin Magnani, Lorenzo Dai, Guozhong |
| |
| Affiliation: | 1 Institute of Software. Chinese Academy of Sciences. Beijing (P. R. of China) and School of Computer Science and Technology. Beijing Institute of Technology. Beijing (P. R. of China). E-mail: shangmin{at}iscas.cn, 2 Department of Philosophy and Computational Philosophy Laboratory. University of Pavia. Pavia (Italy) and Sun Yat-sen University. Guangzhou (P. R. China). E-mail: lmagnani{at}unipv.it, 3 Institute of Software. Chinese Academy of Sciences. Beijing (P. R. China). E-mail: guozhong{at}admin.iscas.ac.cn |
| |
| Abstract: | |
| |
| Keywords: | model-based diagnosis minimal conflict algorithm observation |
| 本文献已被 Oxford 等数据库收录！ |
|
