On the Use of Answer Set Programming for Model-Based Diagnosis-Reference-Cited by-同舟云学术

On the Use of Answer Set Programming for Model-Based Diagnosis

Published:2020 Issue: Volume: Page:518-529
ISSN:0302-9743
Container-title:Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices
language:
Short-container-title:

Author:

Wotawa Franz^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-55789-8_45

Reference23 articles.

1. Abreu, R., Hofer, B., Perez, A., Wotawa, F.: Using constraints to diagnose faulty spreadsheets. Softw. Qual. J., 1–26 (2014). https://doi.org/10.1007/s11219-014-9236-4

2. Beschta, A., Dressler, O., Freitag, H., Montag, M., Struss, P.: A model-based approach to fault localization in power transmission networks. Intell. Syst. Eng. (1992)

3. Buchanan, B.G., Shortliffe, E.H. (eds.): Rule-Based Expert Systems - The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley Publishing Company (1984)

4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);Y Chen,2010

5. Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 5th edn. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-642-55481-0

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-Based Diagnosis with ASP for Non-groundable Domains;Lecture Notes in Computer Science;2024

2. Model-based reasoning using answer set programming;Applied Intelligence;2022-04-09

3. Answer Set Planning: A Survey;Theory and Practice of Logic Programming;2022-04-01

4. Automated Diagnosis of Cyber-Physical Systems;Lecture Notes in Computer Science;2021