{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,14]],"date-time":"2025-12-14T15:58:28Z","timestamp":1765727908440,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030893903"},{"type":"electronic","value":"9783030893910"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89391-0_9","type":"book-chapter","created":{"date-parts":[[2021,10,14]],"date-time":"2021-10-14T11:33:44Z","timestamp":1634211224000},"page":"147-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation"],"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-0003-2425-6089","authenticated-orcid":false,"given":"Sarah Alice","family":"Gaggl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Gorczyca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,15]]},"reference":[{"issue":"3","key":"9_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1080\/11663081.2014.959332","volume":"24","author":"L Amgoud","year":"2014","unstructured":"Amgoud, L., Besnard, P., Vesic, S.: Equivalence in logic-based argumentation. J. Appl. Non Class. Logics 24(3), 181\u2013208 (2014)","journal-title":"J. Appl. Non Class. Logics"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/19462166.2013.869764","volume":"5","author":"P Besnard","year":"2014","unstructured":"Besnard, P., et al.: Introduction to structured argumentation. Argum. Comput. 5(1), 1\u20134 (2014)","journal-title":"Argum. Comput."},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63\u2013101 (1997)","journal-title":"Artif. Intell."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bondarenko, A., Toni, F., Kowalski, R.A.: An assumption-based framework for non-monotonic reasoning. In: LPNMR, pp. 171\u2013189. MIT Press (1993)","DOI":"10.7551\/mitpress\/4307.003.0016"},{"key":"9_CR5","unstructured":"Booth, R., Caminada, M., Marshall, B.: DISCO: a web-based implementation of discussion games for grounded and preferred semantics. In: COMMA. Frontiers in Artificial Intelligence and Applications, vol. 305, pp. 453\u2013454. IOS Press (2018)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Borg, A., Stra\u00dfer, C.: Relevance in structured argumentation. In: IJCAI, pp. 1753\u20131759. ijcai.org (2018)","DOI":"10.24963\/ijcai.2018\/242"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-319-28460-6_4","volume-title":"Theory and Applications of Formal Argumentation","author":"M Caminada","year":"2015","unstructured":"Caminada, M.: A discussion game for grounded semantics. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2015. LNCS (LNAI), vol. 9524, pp. 59\u201373. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-28460-6_4"},{"key":"9_CR8","unstructured":"Caminada, M.: Argumentation semantics as formal discussion. In: Baroni, P., Gabbay, D., Giacomin, M. (eds.) Handbook of Formal Argumentation, pp. 487\u2013518. College Publications (2018)"},{"key":"9_CR9","unstructured":"Cerutti, F., Gaggl, S.A., Thimm, M., Wallner, J.P.: Foundations of implementations for formal argumentation. In: Baroni, P., Gabbay, D., Giacomin, M. (eds.) Handbook of Formal Argumentation, pp. 689\u2013768. College Publications (2018)"},{"key":"9_CR10","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":"9_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-54373-9_4","volume-title":"Theory and Applications of Formal Argumentation","author":"R Craven","year":"2014","unstructured":"Craven, R., Toni, F., Williams, M.: Graph-based dispute derivations in assumption-based argumentation. In: Black, E., Modgil, S., Oren, N. (eds.) TAFA 2013. LNCS (LNAI), vol. 8306, pp. 46\u201362. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54373-9_4"},{"key":"9_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. College Publications (2018)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/978-3-540-30227-8_39","volume-title":"Logics in Artificial Intelligence","author":"S Doutre","year":"2004","unstructured":"Doutre, S., Mengin, J.: On sceptical versus credulous acceptance for abstract argument systems. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 462\u2013473. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30227-8_39"},{"issue":"2","key":"9_CR14","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."},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.artint.2005.07.002","volume":"170","author":"PM Dung","year":"2006","unstructured":"Dung, P.M., Kowalski, R.A., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170(2), 114\u2013159 (2006)","journal-title":"Artif. Intell."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-0-387-98197-0_10","volume-title":"Argumentation in Artificial Intelligence","author":"PM Dung","year":"2009","unstructured":"Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. In: Simari, G.R., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 199\u2013218. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-0-387-98197-0_10"},{"issue":"10\u201315","key":"9_CR17","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/j.artint.2007.05.003","volume":"171","author":"PM Dung","year":"2007","unstructured":"Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artif. Intell. 171(10\u201315), 642\u2013674 (2007)","journal-title":"Artif. Intell."},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1613\/jair.4107","volume":"49","author":"PM Dung","year":"2014","unstructured":"Dung, P.M., Thang, P.M.: Closure and consistency in logic-associated argumentation. J. Artif. Intell. Res. 49, 79\u2013109 (2014)","journal-title":"J. Artif. Intell. Res."},{"issue":"6","key":"9_CR19","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1016\/j.ijar.2011.01.005","volume":"52","author":"V Efstathiou","year":"2011","unstructured":"Efstathiou, V., Hunter, A.: Algorithms for generating arguments and counterarguments in propositional logic. Int. J. Approx. Reason. 52(6), 672\u2013704 (2011)","journal-title":"Int. J. Approx. Reason."},{"key":"9_CR20","unstructured":"Gaertner, D., Toni, F.: Hybrid argumentation and its properties. In: COMMA. Frontiers in Artificial Intelligence and Applications, vol. 172, pp. 183\u2013195. IOS Press (2008)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Jakobovits, H., Vermeir, D.: Dialectic semantics for argumentation frameworks. In: ICAIL, pp. 53\u201362. ACM (1999)","DOI":"10.1145\/323706.323715"},{"key":"9_CR22","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":"9_CR23","doi-asserted-by":"crossref","unstructured":"Keshavarzi Zafarghandi, A., Verbrugge, R., Verheij, B.: A discussion game for the grounded semantics of abstract dialectical frameworks. In: COMMA. Frontiers in Artificial Intelligence and Applications, vol. 326, pp. 431\u2013442. IOS Press (2020)","DOI":"10.24963\/kr.2021\/40"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-319-61581-3_6","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"T Lehtonen","year":"2017","unstructured":"Lehtonen, T., Wallner, J.P., J\u00e4rvisalo, M.: From structured to abstract argumentation: assumption-based acceptance via AF reasoning. In: Antonucci, A., Cholvy, L., Papini, O. (eds.) ECSQARU 2017. LNCS (LNAI), vol. 10369, pp. 57\u201368. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61581-3_6"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Lehtonen, T., Wallner, J.P., J\u00e4rvisalo, M.: Reasoning over assumption-based argumentation frameworks via direct answer set programming encodings. In: AAAI, pp. 2938\u20132945. AAAI Press (2019)","DOI":"10.1609\/aaai.v33i01.33012938"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-0-387-98197-0_6","volume-title":"Argumentation in Artificial Intelligence","author":"S Modgil","year":"2009","unstructured":"Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Simari, G.R., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 105\u2013129. Springer, Boston (2009). https:\/\/doi.org\/10.1007\/978-0-387-98197-0_6"},{"key":"9_CR27","unstructured":"Modgil, S., Prakken, H.: Abstract rule-based argumentation. In: Baroni, P., Gabbay, D., Giacomin, M. (eds.) Handbook of Formal Argumentation, pp. 287\u2013364. College Publications (2018)"},{"issue":"2","key":"9_CR28","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H Prakken","year":"2010","unstructured":"Prakken, H.: An abstract framework for argumentation with structured arguments. Argum. Comput. 1(2), 93\u2013124 (2010)","journal-title":"Argum. Comput."},{"issue":"1","key":"9_CR29","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H Prakken","year":"1997","unstructured":"Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non Class. Logics 7(1), 25\u201375 (1997)","journal-title":"J. Appl. Non Class. Logics"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.ijar.2019.04.010","volume":"112","author":"H Strass","year":"2019","unstructured":"Strass, H., Wyner, A., Diller, M.: EMIL: extracting meaning from inconsistent language: towards argumentation using a controlled natural language interface. Int. J. Approx. Reason. 112, 55\u201384 (2019)","journal-title":"Int. J. Approx. Reason."},{"issue":"6","key":"9_CR31","doi-asserted-by":"publisher","first-page":"1071","DOI":"10.1093\/logcom\/exp032","volume":"19","author":"PM Thang","year":"2009","unstructured":"Thang, P.M., Dung, P.M., Hung, N.D.: Towards a common framework for dialectical proof procedures in abstract argumentation. J. Log. Comput. 19(6), 1071\u20131109 (2009)","journal-title":"J. Log. Comput."},{"key":"9_CR32","unstructured":"Thimm, M., Rienstra, T.: Approximate reasoning with ASPIC+ by argument sampling. In: SAFA@COMMA. CEUR Workshop Proceedings, vol. 2672, pp. 22\u201333. CEUR-WS.org (2020)"},{"key":"9_CR33","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."},{"issue":"1","key":"9_CR34","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1080\/19462166.2013.869878","volume":"5","author":"F Toni","year":"2014","unstructured":"Toni, F.: A tutorial on assumption-based argumentation. Argum. Comput. 5(1), 89\u2013117 (2014)","journal-title":"Argum. Comput."},{"key":"9_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/3-540-40006-0_17","volume-title":"Logics in Artificial Intelligence","author":"GAW Vreeswik","year":"2000","unstructured":"Vreeswik, G.A.W., Prakken, H.: Credulous and sceptical argument games for preferred semantics. In: Ojeda-Aciego, M., de Guzm\u00e1n, I.P., Brewka, G., Moniz Pereira, L. (eds.) JELIA 2000. LNCS (LNAI), vol. 1919, pp. 239\u2013253. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-40006-0_17"},{"key":"9_CR36","unstructured":"Yun, B., Oren, N., Croitoru, M.: Efficient construction of structured argumentation systems. In: COMMA. Frontiers in Artificial Intelligence and Applications, vol. 326, pp. 411\u2013418. IOS Press (2020)"}],"container-title":["Lecture Notes in Computer Science","Logic and Argumentation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89391-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T23:15:22Z","timestamp":1725923722000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89391-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030893903","9783030893910"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89391-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"15 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CLAR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic and Argumentation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"clar2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.xixilogic.org\/events\/clar2021\/","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":"58","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":"20","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":"10","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":"34% - 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)"}},{"value":"5 invited papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}