Author:
Zhou Huisi,Ouyang Dantong,Tian Xinliang,Zhang Liming
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science
Reference36 articles.
1. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence, 1987, 32(1): 57–95
2. Struss P, Price C. Model-based systems in the automotive industry. AI Magazine, 2003, 24(4): 17–34
3. Ardissono L, Console L, Goy A, Petrone G, Picardi C, Segnan M. Cooperative model-based diagnosis of web services. In: Proceeding of the 16th International Workshop on Principles of Diagnosis. 2005, 125–132
4. Pencolé Y, Cordier M O. A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence, 2005, 164(1–2): 121–170
5. Torlak E, Chang F S H, Jackson D. Finding minimal unsatisfiable cores of declarative specifications. In: Proceeding of the 15th International Symposium on Formal Methods. 2008, 326–341
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献