{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T17:01:56Z","timestamp":1746378116163,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031708923"},{"type":"electronic","value":"9783031708930"}],"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-70893-0_26","type":"book-chapter","created":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T11:02:54Z","timestamp":1724929374000},"page":"324-331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Explanatory Interactive Machine Learning with Counterexamples from Constrained Large Language Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5958-8425","authenticated-orcid":false,"given":"Emanuel","family":"Slany","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0787-3181","authenticated-orcid":false,"given":"Stephan","family":"Scheele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1301-0326","authenticated-orcid":false,"given":"Ute","family":"Schmid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,30]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Chung, J.J.Y., Kamar, E., Amershi, S.: Increasing diversity while maintaining accuracy: text data generation with large language models and human interventions. In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics, vol.\u00a01, pp. 575\u2013593 (2023). https:\/\/aclanthology.org\/2023.acl-long.34.pdf","DOI":"10.18653\/v1\/2023.acl-long.34"},{"key":"26_CR2","unstructured":"Hammond, K.J., Leake, D.B.: Large language models need symbolic AI. In: d\u2019Avila Garcez, A.S., Besold, T.R., Gori, M., Jim\u00e9nez-Ruiz, E. (eds.) Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, La Certosa di Pontignano, Siena, Italy, 3\u20135 July 2023. CEUR Workshop Proceedings, vol.\u00a03432, pp. 204\u2013209. CEUR-WS.org (2023). https:\/\/ceur-ws.org\/Vol-3432\/paper17.pdf"},{"key":"26_CR3","doi-asserted-by":"publisher","first-page":"1519","DOI":"10.3390\/make5040076","volume":"5","author":"L Heidrich","year":"2023","unstructured":"Heidrich, L., Slany, E., Scheele, S., Schmid, U.: FairCaipi: a combination of explanatory interactive and fair machine learning for human and machine bias reduction. Mach. Learn. Knowl. Extr. 5, 1519\u20131538 (2023). https:\/\/doi.org\/10.3390\/make5040076","journal-title":"Mach. Learn. Knowl. Extr."},{"issue":"2\u20133","key":"26_CR4","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1017\/S1471068410000566","volume":"11","author":"A Kimmig","year":"2011","unstructured":"Kimmig, A., Demoen, B., Raedt, L.D., Costa, V.S., Rocha, R.: On the implementation of the probabilistic logic programming language ProbLog. Theory Pract. Log. Program. 11(2\u20133), 235\u2013262 (2011). https:\/\/doi.org\/10.1017\/S1471068410000566","journal-title":"Theory Pract. Log. Program."},{"key":"26_CR5","unstructured":"Nye, M.I., Tessler, M.H., Tenenbaum, J.B., Lake, B.M.: Improving coherence and consistency in neural sequence models with dual-system, neuro-symbolic reasoning. In: Ranzato, M., Beygelzimer, A., Dauphin, Y.N., Liang, P., Vaughan, J.W. (eds.) Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, 6\u201314 December 2021, Virtual, pp. 25192\u201325204 (2021). https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/d3e2e8f631bd9336ed25b8162aef8782-Abstract.html"},{"key":"26_CR6","unstructured":"Raedt, L.D., Dries, A., Thon, I., den Broeck, G.V., Verbeke, M.: Inducing probabilistic relational rules from probabilistic examples. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25\u201331 July 2015, pp. 1835\u20131843. AAAI Press (2015). http:\/\/ijcai.org\/Abstract\/15\/261"},{"key":"26_CR7","doi-asserted-by":"publisher","unstructured":"Ribeiro, M.T., Lundberg, S.M.: Adaptive testing and debugging of NLP models. In: Muresan, S., Nakov, P., Villavicencio, A. (eds.) Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2022, Dublin, Ireland, 22\u201327 May 2022, pp. 3253\u20133267. Association for Computational Linguistics (2022). https:\/\/doi.org\/10.18653\/V1\/2022.ACL-LONG.230","DOI":"10.18653\/V1\/2022.ACL-LONG.230"},{"key":"26_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.4539","volume":"53","author":"P Shivaswamy","year":"2015","unstructured":"Shivaswamy, P., Joachims, T.: Coactive learning. J. Artif. Intell. Res. 53, 1\u201340 (2015). https:\/\/doi.org\/10.1613\/jair.4539","journal-title":"J. Artif. Intell. Res."},{"key":"26_CR9","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-031-08341-9_31","volume-title":"AIAI 2022","author":"E Slany","year":"2022","unstructured":"Slany, E., Ott, Y., Scheele, S., Paulus, J., Schmid, U.: CAIPI in practice: towards explainable interactive medical image classification. In: Maglogiannis, I., Iliadis, L., Macintyre, J., Cortez, P. (eds.) AIAI 2022, vol. 652, pp. 389\u2013400. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08341-9_31"},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-031-50396-2_16","volume-title":"ECAI 2023","author":"E Slany","year":"2024","unstructured":"Slany, E., Scheele, S., Schmid, U.: Bayesian CAIPI: a probabilistic approach to explanatory and interactive machine learning. In: Nowaczyk, S., et al. (eds.) ECAI 2023, vol. 1947, pp. 285\u2013301. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-50396-2_16"},{"key":"26_CR11","doi-asserted-by":"publisher","unstructured":"Teso, S., Kersting, K.: Explanatory interactive machine learning. In: Proceedings of the 2019 AAAI\/ACM Conference on AI, Ethics, and Society, AIES 2019, Honolulu, HI, USA, 27\u201328 January 2019, pp. 239\u2013245. ACM (2019). https:\/\/doi.org\/10.1145\/3306618.3314293","DOI":"10.1145\/3306618.3314293"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Yang, Z., Ishay, A., Lee, J.: Coupling large language models with logic programming for robust and general reasoning from text. In: Findings of the Association for Computational Linguistics: ACL 2023, pp. 5186\u20135219 (2023). https:\/\/aclanthology.org\/2023.findings-acl.321.pdf","DOI":"10.18653\/v1\/2023.findings-acl.321"},{"key":"26_CR13","unstructured":"Zecevic, M., Willig, M., Dhami, D.S., Kersting, K.: Causal Parrots: Large Language Models May Talk Causality But are Not Causal (2023). https:\/\/doi.org\/10.48550\/arXiv.2308.13067"}],"container-title":["Lecture Notes in Computer Science","KI 2024: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-70893-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,29]],"date-time":"2024-08-29T11:08:19Z","timestamp":1724929699000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-70893-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031708923","9783031708930"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-70893-0_26","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":"30 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"KI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"German Conference on Artificial Intelligence (K\u00fcnstliche Intelligenz)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"W\u00fcrzburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","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":"25 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"47","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.informatik.uni-wuerzburg.de\/ki24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}