{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T10:53:36Z","timestamp":1769943216639,"version":"3.49.0"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032135612","type":"print"},{"value":"9783032135629","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T00:00:00Z","timestamp":1765756800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T00:00:00Z","timestamp":1765756800000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-13562-9_43","type":"book-chapter","created":{"date-parts":[[2025,12,14]],"date-time":"2025-12-14T11:01:05Z","timestamp":1765710065000},"page":"566-584","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["ABA Disputes in\u00a0ASP: Advancing Argument Games Through Multi-shot Solving"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6342-0756","authenticated-orcid":false,"given":"Martin","family":"Diller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6613-6061","authenticated-orcid":false,"given":"Piotr","family":"Gorczyca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,12,15]]},"reference":[{"issue":"3","key":"43_CR1","first-page":"25","volume":"38","author":"K Atkinson","year":"2017","unstructured":"Atkinson, K., et al.: Towards artificial argumentation. AI Mag. 38(3), 25\u201336 (2017)","journal-title":"AI Mag."},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Besin, V., Hecher, M., Woltran, S.: On the structural complexity of grounding - tackling the ASP grounding bottleneck via epistemic programs and treewidth. In: ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0372, pp. 247\u2013254. IOS Press (2023)","DOI":"10.3233\/FAIA230277"},{"key":"43_CR3","unstructured":"Black, E., Maudet, N., Parsons, S.: Argumentation-based dialogue. In: Gabbay, D., Giacomin, M., Simari, G.R., Thimm, M. (eds.) Handbook of Formal Argumentation, vol. 2, pp. 511\u2013575 (2021)"},{"issue":"4","key":"43_CR4","doi-asserted-by":"publisher","first-page":"772","DOI":"10.1017\/S1471068424000267","volume":"24","author":"E B\u00f6hl","year":"2024","unstructured":"B\u00f6hl, E., Ellmauthaler, S., Gaggl, S.A.: Winning snake: design choices in multi-shot ASP. Theory Pract. Log. Program. 24(4), 772\u2013789 (2024)","journal-title":"Theory Pract. Log. Program."},{"issue":"3","key":"43_CR5","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1017\/S1471068419000474","volume":"20","author":"G Brewka","year":"2020","unstructured":"Brewka, G., Diller, M., Heissenberger, G., Linsbichler, T., Woltran, S.: Solving advanced argumentation problems with answer set programming. Theory Pract. Log. Program. 20(3), 391\u2013431 (2020)","journal-title":"Theory Pract. Log. Program."},{"key":"43_CR6","unstructured":"Buraglio, G., Dvor\u00e1k, W., K\u00f6nig, M., Ulbricht, M.: Justifying argument acceptance with collective attacks: discussions and disputes. In: IJCAI, pp. 3281\u20133288. ijcai.org (2024)"},{"issue":"3","key":"43_CR7","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1017\/S1471068424000115","volume":"24","author":"B Callewaert","year":"2024","unstructured":"Callewaert, B., Vennekens, J.: Multi-shot answer set programming for flexible payroll management. Theory Pract. Log. Program. 24(3), 453\u2013481 (2024)","journal-title":"Theory Pract. Log. Program."},{"key":"43_CR8","unstructured":"Caminada, M.: Argumentation semantics as formal discussion. In: Baroni, P., Gabbay, D., Giacomin, M. (eds.) Handbook of Formal Argumentation, pp. 487\u2013518 (2018)"},{"issue":"5\u20136","key":"43_CR9","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M Caminada","year":"2007","unstructured":"Caminada, M., Amgoud, L.: On the evaluation of argumentation formalisms. Artif. Intell. 171(5\u20136), 286\u2013310 (2007)","journal-title":"Artif. Intell."},{"issue":"4","key":"43_CR10","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1017\/S147106842300025X","volume":"23","author":"P Cappanera","year":"2023","unstructured":"Cappanera, P., Gavanelli, M., Nonato, M., Roma, M.: Logic-based benders decomposition in answer set programming for chronic outpatients scheduling. Theory Pract. Log. Program. 23(4), 848\u2013864 (2023)","journal-title":"Theory Pract. Log. Program."},{"key":"43_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2015.12.004","volume":"233","author":"R Craven","year":"2016","unstructured":"Craven, R., Toni, F.: Argument graphs and assumption-based argumentation. Artif. Intell. 233, 1\u201359 (2016)","journal-title":"Artif. Intell."},{"key":"43_CR12","unstructured":"Cyras, K., Fan, X., Schulz, C., Toni, F.: Assumption-based argumentation: disputes, explanations, preferences. In: Baroni, P., Gabbay, D., Giacomin, M. (eds.) Handbook of Formal Argumentation, pp. 365\u2013408 (2018)"},{"key":"43_CR13","unstructured":"Diller, M., Dvo\u0159\u00e1k, W., P\u00fchrer, J., Wallner, J.P., Woltran, S.: Applications of ASP in formal argumentation. In: Proceedings of the Second Workshop on Theory and Applications of Answer Set Programming (2018)"},{"key":"43_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-030-89391-0_9","volume-title":"Logic and Argumentation","author":"M Diller","year":"2021","unstructured":"Diller, M., Gaggl, S.A., Gorczyca, P.: Flexible dispute derivations with forward and backward arguments for assumption-based argumentation. In: Baroni, P., Benzm\u00fcller, C., W\u00e1ng, Y.N. (eds.) CLAR 2021. LNCS (LNAI), vol. 13040, pp. 147\u2013168. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89391-0_9"},{"key":"43_CR15","unstructured":"Diller, M., Gaggl, S.A., Gorczyca, P.: Strategies in flexible dispute derivations for assumption-based argumentation. In: SAFA@COMMA. CEUR Workshop Proceedings, vol.\u00a03236, pp. 59\u201372 (2022)"},{"issue":"3","key":"43_CR16","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1017\/S1471068418000583","volume":"19","author":"Y Dimopoulos","year":"2019","unstructured":"Dimopoulos, Y., Gebser, M., L\u00fchne, P., Romero, J., Schaub, T.: plasp 3: towards effective ASP planning. Theory Pract. Log. Program. 19(3), 477\u2013504 (2019)","journal-title":"Theory Pract. Log. Program."},{"issue":"2","key":"43_CR17","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"key":"43_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2024.104230","volume":"337","author":"T Eiter","year":"2024","unstructured":"Eiter, T., et al.: Adaptive large-neighbourhood search for optimisation in answer-set programming. Artif. Intell. 337, 104230 (2024)","journal-title":"Artif. Intell."},{"issue":"4","key":"43_CR19","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1017\/S1471068422000217","volume":"22","author":"MMS El-Kholany","year":"2022","unstructured":"El-Kholany, M.M.S., Gebser, M., Schekotihin, K.: Problem decomposition and multi-shot ASP solving for job-shop scheduling. Theory Pract. Log. Program. 22(4), 623\u2013639 (2022)","journal-title":"Theory Pract. Log. Program."},{"issue":"3","key":"43_CR20","first-page":"53","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53\u201368 (2016)","journal-title":"AI Mag."},{"issue":"1","key":"43_CR21","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1017\/S1471068418000054","volume":"19","author":"M Gebser","year":"2019","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Multi-shot ASP solving with clingo. Theory Pract. Log. Program. 19(1), 27\u201382 (2019)","journal-title":"Theory Pract. Log. Program."},{"key":"43_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-14726-0_2","volume-title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","author":"M Gebser","year":"2015","unstructured":"Gebser, M., Kaminski, R., Obermeier, P., Schaub, T.: Ricochet robots reloaded: a case-study in multi-shot ASP solving. In: Eiter, T., Strass, H., Truszczy\u0144ski, M., Woltran, S. (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS (LNAI), vol. 9060, pp. 17\u201332. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-14726-0_2"},{"key":"43_CR23","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, pp. 1070\u20131080. MIT Press (1988)"},{"issue":"3","key":"43_CR24","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1017\/S147106842400005X","volume":"24","author":"S Hahn","year":"2024","unstructured":"Hahn, S., Sabuncu, O., Schaub, T., Stolzmann, T.: Clingraph: a system for asp-based visualization. Theory Pract. Log. Program. 24(3), 533\u2013559 (2024)","journal-title":"Theory Pract. Log. Program."},{"key":"43_CR25","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.artint.2025.104311","volume":"342","author":"M J\u00e4rvisalo","year":"2025","unstructured":"J\u00e4rvisalo, M., Lehtonen, T., Niskanen, A.: ICCMA 2023: 5th international competition on computational models of argumentation. Artif. Intell. 342, 104\u2013311 (2025)","journal-title":"Artif. Intell."},{"key":"43_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-030-29765-7_6","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"A Keshavarzi Zafarghandi","year":"2019","unstructured":"Keshavarzi Zafarghandi, A., Verbrugge, R., Verheij, B.: Discussion games for preferred semantics of abstract dialectical frameworks. In: Kern-Isberner, G., Ognjanovi\u0107, Z. (eds.) ECSQARU 2019. LNCS (LNAI), vol. 11726, pp. 62\u201373. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29765-7_6"},{"key":"43_CR27","first-page":"265","volume":"71","author":"T Lehtonen","year":"2021","unstructured":"Lehtonen, T., Wallner, J.P., J\u00e4rvisalo, M.: Declarative algorithms and complexity results for assumption-based argumentation. J. Artif. Int. Res. 71, 265\u2013318 (2021)","journal-title":"J. Artif. Int. Res."},{"key":"43_CR28","unstructured":"Modgil, S., Prakken, H.: Abstract rule-based argumentation. In: Baroni, P., Gabbay, D., Giacomin, M. (eds.) Handbook of Formal Argumentation, pp. 287\u2013364 (2018)"},{"key":"43_CR29","unstructured":"Prakken, H.: Historical overview of formal argumentation. In: Baroni, P., Gabbay, D., Giacomin, M., van\u00a0der Torre, L. (eds.) Handbook of Formal Argumentation, chap.\u00a02. College Publications (2018)"},{"key":"43_CR30","doi-asserted-by":"crossref","unstructured":"Sugimori, I., et al.: Large neighborhood prioritized search for combinatorial optimization with answer set programming. In: KR (2024)","DOI":"10.24963\/kr.2024\/72"},{"key":"43_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2012.09.010","volume":"195","author":"F Toni","year":"2013","unstructured":"Toni, F.: A generalised framework for dispute derivations in assumption-based argumentation. Artif. Intell. 195, 1\u201343 (2013)","journal-title":"Artif. Intell."},{"key":"43_CR32","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888921000011","volume":"36","author":"A Vassiliades","year":"2021","unstructured":"Vassiliades, A., Bassiliades, N., Patkos, T.: Argumentation and explainable artificial intelligence: a survey. Knowl. Eng. Rev. 36, e5 (2021)","journal-title":"Knowl. Eng. Rev."}],"container-title":["Lecture Notes in Computer Science","PRIMA 2025: Principles and Practice of Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-13562-9_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T21:43:35Z","timestamp":1769895815000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-13562-9_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,15]]},"ISBN":["9783032135612","9783032135629"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-13562-9_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,15]]},"assertion":[{"value":"15 December 2025","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":"PRIMA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Principles and Practice of Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Modena","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"prima2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conferences-website.github.io\/prima2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}