{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T19:02:56Z","timestamp":1767034976922,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031569395"},{"type":"electronic","value":"9783031569401"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-56940-1_20","type":"book-chapter","created":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T11:01:40Z","timestamp":1711623700000},"page":"363-380","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Diagnosis with\u00a0ASP for\u00a0Non-groundable Domains"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0919-9947","authenticated-orcid":false,"given":"Moritz","family":"Bayerkuhnlein","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9185-0147","authenticated-orcid":false,"given":"Diedrich","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,3,29]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Arias, J., Carro, M., Chen, Z., Gupta, G.: Justifications for goal-directed constraint answer set programming. arXiv preprint arXiv:2009.10238 (2020)","DOI":"10.4204\/EPTCS.325.12"},{"issue":"3\u20134","key":"20_CR2","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1017\/S1471068418000285","volume":"18","author":"J Arias","year":"2018","unstructured":"Arias, J., Carro, M., Salazar, E., Marple, K., Gupta, G.: Constraint answer set programming without grounding. Theory Pract. Logic Program. 18(3\u20134), 337\u2013354 (2018)","journal-title":"Theory Pract. Logic Program."},{"issue":"12","key":"20_CR3","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"issue":"2","key":"20_CR4","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1017\/S1471068419000450","volume":"20","author":"F Calimeri","year":"2020","unstructured":"Calimeri, F., et al.: ASP-Core-2 input language format. Theory Pract. Logic Program. 20(2), 294\u2013309 (2020). https:\/\/doi.org\/10.1017\/S1471068419000450","journal-title":"Theory Pract. Logic Program."},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"KL Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Springer, Boston (1978). https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_11"},{"issue":"3","key":"20_CR6","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L Console","year":"1991","unstructured":"Console, L., Torasso, P.: A spectrum of logical definitions of model-based diagnosis. Comput. Intell. 7(3), 133\u2013141 (1991)","journal-title":"Comput. Intell."},{"issue":"1\u20133","key":"20_CR7","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(1\u20133), 347\u2013410 (1984)","journal-title":"Artif. Intell."},{"issue":"1","key":"20_CR8","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":"20_CR9","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R., Cohen, D., et al.: Constraint Processing. Morgan Kaufmann, Burlington (2003)"},{"key":"20_CR10","unstructured":"Friedrich, G., Gottlob, G., Nejdl, W.: Physical impossibility instead of fault models. In: AAAI, vol. 90, pp. 331\u2013336 (1990)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Friedrich, G., Nejdl, W.: MOMO-model-based diagnosis for everybody. In: Sixth Conference on Artificial Intelligence for Applications, pp. 206\u2013213. IEEE (1990)","DOI":"10.1109\/CAIA.1990.89191"},{"key":"20_CR12","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. CoRR abs\/1705.09811 (2017)"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-72200-7_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2007","unstructured":"Gebser, M., Schaub, T., Thiele, S.: GrinGo: a new grounder for answer set programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS, vol. 4483, pp. 266\u2013271. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72200-7_24"},{"key":"20_CR14","unstructured":"Gupta, G., et al.: Automating commonsense reasoning with ASP and s(CASP). In: Proceedings of 2nd Workshop on Goal-directed Execution of Answer Set Programs (GDE 2022) (2022)"},{"issue":"3","key":"20_CR15","first-page":"13","volume":"37","author":"T Janhunen","year":"2016","unstructured":"Janhunen, T., Nimel\u00e4, I.: The answer set programming paradigm. AI Mag. 37(3), 13\u201324 (2016)","journal-title":"AI Mag."},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10515-014-0141-7","volume":"23","author":"D Jannach","year":"2016","unstructured":"Jannach, D., Schmitz, T.: Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach. Autom. Softw. Eng. 23, 105\u2013144 (2016)","journal-title":"Autom. Softw. Eng."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Keuning, H., Jeuring, J., Heeren, B.: Towards a systematic review of automated feedback generation for programming exercises. In: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, pp. 41\u201346 (2016)","DOI":"10.1145\/2899415.2899422"},{"key":"20_CR18","unstructured":"de Kleer, J.: Focusing on probable diagnoses. In: AAAI, vol. 91, pp. 842\u2013848 (1991)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-031-18843-5_10","volume-title":"Scalable Uncertainty Management","author":"I Kuhlmann","year":"2022","unstructured":"Kuhlmann, I., Gessler, A., Laszlo, V., Thimm, M.: A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure. In: Dupin de Saint-Cyr, F., \u00d6zt\u00fcrk-Escoffier, M., Potyka, N. (eds.) SUM 2022. LNCS, vol. 13562, pp. 139\u2013153. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-18843-5_10"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Ligeza, A.: Towards constructive abduction. In: KEOD, pp. 352\u2013357 (2015)","DOI":"10.5220\/0005625603520357"},{"key":"20_CR21","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-319-64474-5_8","volume-title":"Advanced Solutions in Diagnostics and Fault Tolerant Control","author":"A Ligeza","year":"2018","unstructured":"Ligeza, A.: Constraint programming for constructive abduction. A case study in diagnostic model-based reasoning. In: Koscielny, J., Syfert, M., Sztyber, A. (eds.) DPS 2017. AISC, vol. 635, pp. 94\u2013105. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-64474-5_8"},{"key":"20_CR22","unstructured":"Marple, K., Salazar, E., Chen, Z., Gupta, G.: The s(ASP) predicate answer set programming system. The Association for Logic Programming Newsletter (2017)"},{"key":"20_CR23","series-title":"Informatik-Fachberichte","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-76980-1_31","volume-title":"Verteilte K\u00fcnstliche Intelligenz und kooperatives Arbeiten","author":"I Mozeti\u010d","year":"1991","unstructured":"Mozeti\u010d, I., Holzbaur, C., Novak, F., Santo-Zarnik, M.: Model-Based Analogue Circuit Diagnosis with CLP(R). In: Brauer, W., Hern\u00e1ndez, D. (eds.) Verteilte K\u00fcnstliche Intelligenz und kooperatives Arbeiten. Informatik-Fachberichte, vol. 291, pp. 343\u2013353. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/978-3-642-76980-1_31"},{"issue":"1","key":"20_CR24","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":"20_CR25","unstructured":"Struss, P., Dressler, O.: \u201cPhysical Negation\u201d integrating fault models into the general diagnostic engine. In: IJCAI, vol. 89, pp. 1318\u20131323 (1989)"},{"key":"20_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1007\/978-3-030-55789-8_45","volume-title":"Trends in Artificial Intelligence Theory and Applications Artificial Intelligence Practices","author":"F Wotawa","year":"2020","unstructured":"Wotawa, F.: On the use of answer set programming for model-based diagnosis. In: Fujita, H., Fournier-Viger, P., Ali, M., Sasaki, J. (eds.) IEA\/AIE 2020. LNCS, vol. 12144, pp. 518\u2013529. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55789-8_45"},{"key":"20_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1007\/978-3-031-08530-7_46","volume-title":"Advances and Trends in Artificial Intelligence Theory and Practices in Artificial Intelligence","author":"F Wotawa","year":"2022","unstructured":"Wotawa, F., Dumitru, V.A.: The Java2CSP debugging tool utilizing constraint solving and model-based diagnosis principles. In: Fujita, H., Fournier-Viger, P., Ali, M., Wang, Y. (eds.) IEA\/AIE 2022. LNCS, vol. 13343, pp. 543\u2013554. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08530-7_46"},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Wotawa, F., Kaufmann, D.: Model-based reasoning using answer set programming. Appl. Intell. 1\u201319 (2022)","DOI":"10.1007\/s10489-022-03272-2"},{"issue":"4","key":"20_CR29","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1016\/j.jlap.2012.03.002","volume":"81","author":"F Wotawa","year":"2012","unstructured":"Wotawa, F., Nica, M., Moraru, I.: Automated debugging based on a constraint model of the program and a test case. J. Logic Algebraic Program. 81(4), 390\u2013407 (2012)","journal-title":"J. Logic Algebraic Program."}],"container-title":["Lecture Notes in Computer Science","Foundations of Information and Knowledge Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-56940-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T05:03:15Z","timestamp":1731646995000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-56940-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031569395","9783031569401"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-56940-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 March 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"FoIKS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Foundations of Information and Knowledge Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sheffield","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"foiks2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/foiks2024.github.io","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42","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":"18","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":"3","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":"43% - 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":"3","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}