{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:49:13Z","timestamp":1742914153952,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030557881"},{"type":"electronic","value":"9783030557898"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-55789-8_45","type":"book-chapter","created":{"date-parts":[[2020,9,3]],"date-time":"2020-09-03T23:07:57Z","timestamp":1599174477000},"page":"518-529","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On the Use of Answer Set Programming for Model-Based Diagnosis"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0462-2283","authenticated-orcid":false,"given":"Franz","family":"Wotawa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,4]]},"reference":[{"key":"45_CR1","doi-asserted-by":"publisher","unstructured":"Abreu, R., Hofer, B., Perez, A., Wotawa, F.: Using constraints to diagnose faulty spreadsheets. Softw. Qual. J., 1\u201326 (2014). https:\/\/doi.org\/10.1007\/s11219-014-9236-4","DOI":"10.1007\/s11219-014-9236-4"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1049\/ise.1993.0002"},{"key":"45_CR3","unstructured":"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)"},{"key":"45_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-15675-5_11","volume-title":"Logics in Artificial Intelligence","author":"Y Chen","year":"2010","unstructured":"Chen, Y., Wan, H., Zhang, Y., Zhou, Y.: dl2asp: implementing default logic via answer set programming. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 104\u2013116. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15675-5_11"},{"key":"45_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55481-0","volume-title":"Programming in Prolog","author":"WF Clocksin","year":"2003","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 5th edn. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-55481-0","edition":"5"},{"key":"45_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R Davis","year":"1984","unstructured":"Davis, R.: Diagnostic reasoning based on structure and behavior. Artif. Intell. 24, 347\u2013410 (1984)","journal-title":"Artif. Intell."},{"key":"45_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-03754-2_2","volume-title":"Reasoning Web. Semantic Technologies for Information Systems","author":"T Eiter","year":"2009","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Tessaris, S., et al. (eds.) Reasoning Web 2009. LNCS, vol. 5689, pp. 40\u2013110. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03754-2_2"},{"key":"45_CR8","doi-asserted-by":"publisher","unstructured":"Felfernig, A., Schubert, M., Zehentner, C.: An efficient diagnosis algorithm for inconsistent constraint sets. AI EDAM 26(1), 53\u201362 (2012). https:\/\/doi.org\/10.1017\/S0890060411000011","DOI":"10.1017\/S0890060411000011"},{"issue":"2","key":"45_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G Friedrich","year":"1999","unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artif. Intell. 111(2), 3\u201339 (1999)","journal-title":"Artif. Intell."},{"key":"45_CR10","doi-asserted-by":"publisher","unstructured":"Jannach, D., Schmitz, T.: Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach. Autom. Softw. Eng., 1\u201340 (2014). https:\/\/doi.org\/10.1007\/s10515-014-0141-7","DOI":"10.1007\/s10515-014-0141-7"},{"issue":"1","key":"45_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J de Kleer","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97\u2013130 (1987)","journal-title":"Artif. Intell."},{"key":"45_CR12","doi-asserted-by":"publisher","unstructured":"Luna, J.M., Fournier-Viger, P., Ventura, S.: Frequent itemset mining: a 25 years review. Wiley Interdiscip. Rev. Data Mining Knowl. Discov. 9(6) (2019). https:\/\/doi.org\/10.1002\/widm.1329","DOI":"10.1002\/widm.1329"},{"key":"45_CR13","unstructured":"Mathonet, R., Cotthem, H.V., Vanryckeghem, L.: DANTES \u2013 an expert system for real-time network troubleshooting. In: Proceedings IJCAI, pp. 527\u2013530. Morgan Kaufmann, Milano, August 1987"},{"key":"45_CR14","unstructured":"Milde, H., Guckenbiehl, T., Malik, A., Neumann, B., Struss, P.: Integrating model-based diagnosis techniques into current work processes - three case studies from the INDIA project. AI Commun. 13 (2000). Special Issue on Industrial Applications of Model-Based Reasoning"},{"key":"45_CR15","unstructured":"Nica, I., Pill, I., Quaritsch, T., Wotawa, F.: The route to success - a performance comparison of diagnosis algorithms. In: IJCAI, pp. 1039\u20131045. IJCAI\/AAAI (2013)"},{"key":"45_CR16","doi-asserted-by":"crossref","unstructured":"Pell, B., et al.: A remote-agent prototype for spacecraft autonomy. In: Proceedings of the SPIE Conference on Optical Science, Engineering, and Instrumentation, Volume on Space Sciencecraft Control and Tracking in the New Millennium. Bellingham, Waschington, U.S.A., Society of Professional Image Engineers (1996)","DOI":"10.1117\/12.255150"},{"key":"45_CR17","unstructured":"Picardi, C., et al.: IDD: integrating diagnosis in the design of automotive systems. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 628\u2013632. IOS Press, Lyon (2002)"},{"key":"45_CR18","unstructured":"Rajan, K., et al.: Remote agent: an autonomous control system for the new millennium. In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), Berlin, August 2000"},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132) (1980)","DOI":"10.1016\/0004-3702(80)90014-4"},{"issue":"1","key":"45_CR20","doi-asserted-by":"publisher","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":"45_CR21","unstructured":"Sachenbacher, M., Struss, P., Carl\u00e9n, C.M.: A prototype for model-based on-board diagnosis of automotive systems. AI Commun. 13 (2000). Special Issue on Industrial Applications of Model-Based Reasoning"},{"key":"45_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1007\/3-540-48035-8_72","volume-title":"Developments in Applied Artificial Intelligence","author":"F Wotawa","year":"2002","unstructured":"Wotawa, F., Stumptner, M., Mayer, W.: Model-based debugging or how to diagnose programs automatically. In: Hendtlass, T., Ali, M. (eds.) IEA\/AIE 2002. LNCS (LNAI), vol. 2358, pp. 746\u2013757. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-48035-8_72"},{"key":"45_CR23","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1007\/978-3-030-05645-2_15","volume-title":"Predictive Maintenance in Dynamic Systems: Advanced Methods, Decision Support Tools and Real-World Applications","author":"F Wotawa","year":"2019","unstructured":"Wotawa, F.: Reasoning from first principles for self-adaptive and autonomous systems. In: Lughofer, E., Sayed-Mouchaweh, M. (eds.) Predictive Maintenance in Dynamic Systems, pp. 427\u2013460. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-05645-2_15"}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-55789-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,15]],"date-time":"2020-12-15T10:27:18Z","timestamp":1608028038000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-55789-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030557881","9783030557898"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-55789-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"4 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IEA\/AIE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kitakyushu","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"33","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ieaaie2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jsasaki3.wixsite.com\/ieaaie2020\/organizations","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Microsoft CMT","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"119","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"62","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"52% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4,35","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}