{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:39:49Z","timestamp":1725889189531},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319600413"},{"type":"electronic","value":"9783319600420"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-60042-0_48","type":"book-chapter","created":{"date-parts":[[2017,6,3]],"date-time":"2017-06-03T08:32:44Z","timestamp":1496478764000},"page":"440-445","source":"Crossref","is-referenced-by-count":2,"title":["Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines"],"prefix":"10.1007","author":[{"given":"Roxane","family":"Koitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"L\u00fcftenegger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,4]]},"reference":[{"issue":"5","key":"48_CR1","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L Console","year":"1991","unstructured":"Console, L., Dupre, D.T., Torasso, P.: On the relationship between abduction and deduction. J. Logic Comput. 1(5), 661\u2013690 (1991)","journal-title":"J. Logic Comput."},{"issue":"3","key":"48_CR2","doi-asserted-by":"crossref","first-page":"319","DOI":"10.2307\/249008","volume":"13","author":"FD Davis","year":"1989","unstructured":"Davis, F.D.: Perceived usefulness, perceived ease of use, and user acceptance of information technology. MIS Q. 13(3), 319\u2013340 (1989)","journal-title":"MIS Q."},{"key":"48_CR3","unstructured":"de Kleer, J.: A general labeling algorithm for assumption-based truth maintenance. In: Proceedings of the AAAI, pp. 188\u2013192. Morgan Kaufmann, Saint Paul, August 1988"},{"key":"48_CR4","unstructured":"Koitz, R., Wotawa, F.: Finding explanations: an empirical evaluation of abductive diagnosis algorithms. In: Proceedings of the International Conference on Defeasible and Ampliative Reasoning, pp. 36\u201342. CEUR-WS.org (2015)"},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"Koitz, R., Wotawa, F.: Integration of failure assessments into the diagnostic process. In: Annual Conference of the Prognostics and Health Management Society (2016)","DOI":"10.36001\/phmconf.2016.v8i1.2536"},{"issue":"1","key":"48_CR6","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"48_CR7","unstructured":"Struss, P., Sachenbacher, M., Carl\u00e9n, C.: Insights from building a prototype for model-based on-board diagnosis of automotive systems. In: Proceedings of the International Workshop on Principles of Diagnosis (2000)"},{"key":"48_CR8","unstructured":"Williams, B.C., Nayak, P.P.: A model-based approach to reactive self-configuring systems. In: Proceedings of the Seventh International Workshop on Principles of Diagnosis, pp. 267\u2013274 (1996)"},{"issue":"2","key":"48_CR9","doi-asserted-by":"crossref","first-page":"189","DOI":"10.30638\/eemj.2010.028","volume":"9","author":"F Wotawa","year":"2010","unstructured":"Wotawa, F., Rodriguez-Roda, I., Comas, J.: Environmental decision support systems based on models and model-based reasoning. Environ. Eng. Manag. J. 9(2), 189\u2013195 (2010)","journal-title":"Environ. Eng. Manag. J."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence: From Theory to Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-60042-0_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,24]],"date-time":"2024-06-24T15:11:53Z","timestamp":1719241913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-60042-0_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319600413","9783319600420"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60042-0_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}