{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T08:51:40Z","timestamp":1791363100894,"version":"4.3.1"},"reference-count":82,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T00:00:00Z","timestamp":1779753600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T00:00:00Z","timestamp":1779753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100018960","name":"National Technical University of Athens","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100018960","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Defining and reasoning about goals in multi-actor dialectical systems requires formalizing often incomplete or unclear stakeholder requirements within a goal model. This process involves actor dialogue to clarify assumptions, resolve gaps, and justify modeling decisions, making argumentation central to validating decisions collaboratively. This work explores how argumentation theories can capture the informal reasoning of multiple actors by integrating two frameworks: Argumentation-based Proof-Events (APEC), which treats goal-oriented problem solving as a social and temporal process, and Provers\u2019 System (PS), which models the internal reasoning and meta-level attributes of individual actors. By combining these, the proposed APEC-PS framework bridges internal cognitive reasoning with external collaborative dynamics, offering a more comprehensive view of actor interactions and argument structures. Rooted in symbolic AI, it employs formal logic and structured representations to enable goal-oriented defeasible reasoning. This integration is particularly well-suited for managing evolving knowledge and uncertainty in open-ended decision-making contexts. We utilize a domain-agnostic example from mathematical practices, exemplified by the Mini-Polymath 4 project, to showcase how the model\u2019s abstract and generic nature can support diverse goal-oriented applications through dynamic actor interactions without being constrained by specific domain aspects.<\/jats:p>","DOI":"10.1007\/s00766-026-00461-0","type":"journal-article","created":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T11:41:32Z","timestamp":1779795692000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A collaborative argumentation framework for goal-oriented reasoning"],"prefix":"10.1007","volume":"31","author":[{"given":"Sofia","family":"Almpani","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Asterios","family":"Gkantzounis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petros","family":"Stefaneas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,26]]},"reference":[{"key":"461_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s00766-007-0056-y","volume":"13","author":"IJ Jureta","year":"2008","unstructured":"Jureta IJ, Faulkner S, Schobbens P (2008) Clear justification of modeling decisions for goal-oriented requirements engineering. Require Eng 13:87\u2013115. https:\/\/doi.org\/10.1007\/s00766-007-0056-y","journal-title":"Require Eng"},{"key":"461_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0132-1","author":"F Dalpiaz","year":"2011","unstructured":"Dalpiaz F, Giorgini P, Mylopoulos J (2011) Adaptive socio-technical systems: a requirements-based approach. Require Eng. https:\/\/doi.org\/10.1007\/s00766-011-0132-1","journal-title":"Require Eng"},{"key":"461_CR3","doi-asserted-by":"publisher","unstructured":"Lamsweerde A (2001) Goal-oriented requirements engineering: a guided tour. In: Proceedings Fifth IEEE international symposium on requirements engineering, pp 249\u2013262 . https:\/\/doi.org\/10.1109\/ISRE.2001.948567","DOI":"10.1109\/ISRE.2001.948567"},{"key":"461_CR4","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s00766-021-00347-3","volume":"26","author":"M Daun","year":"2021","unstructured":"Daun M, Brings J, Lea K (2021) A GRL-compliant istar extension for collaborative cyber-physical systems. Require Eng 26:325\u2013370. https:\/\/doi.org\/10.1007\/s00766-021-00347-3","journal-title":"Require Eng"},{"key":"461_CR5","unstructured":"Pohl K (1996) Requirements engineering: an overview. https:\/\/api.semanticscholar.org\/CorpusID:10118361"},{"key":"461_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF02745372","volume":"2","author":"SR Smith","year":"1997","unstructured":"Smith SR (1997) Constructing and revising formal arguments in requirements engineering. Require Eng 2:199\u2013216. https:\/\/doi.org\/10.1007\/BF02745372","journal-title":"Require Eng"},{"key":"461_CR7","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1080\/07421222.2000.11045655","volume":"17","author":"D Stenmark","year":"2001","unstructured":"Stenmark D (2001) Leveraging tacit organizational knowledge. J Manag Inf Syst 17:9\u201324. https:\/\/doi.org\/10.1080\/07421222.2000.11045655","journal-title":"J Manag Inf Syst"},{"key":"461_CR8","unstructured":"Holzinger A, Biemann C, Pattichis CS, Kell DB (2017) What do we need to build explainable AI systems for the medical domain? CoRR. https:\/\/doi.org\/abs\/1712.09923"},{"key":"461_CR9","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1145\/350887.350895","volume":"9","author":"P Louridas","year":"2000","unstructured":"Louridas P, Loucopoulos P (2000) A generic model for reflective design. ACM Trans Softw Eng Methodol 9:199\u2013237","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"461_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/s10699-023-09926-9","author":"S Almpani","year":"2023","unstructured":"Almpani S, Stefaneas P (2023) Bridging informal reasoning and formal proving: the role of argumentation in proof-events. Found Sci. https:\/\/doi.org\/10.1007\/s10699-023-09926-9","journal-title":"Found Sci"},{"key":"461_CR11","unstructured":"Goguen J (2001) What is a proof. http:\/\/cseweb.ucsd.edu\/~goguen\/papers\/proof.html. Accessed 3 Mar 2022"},{"key":"461_CR12","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A Kakas","year":"1992","unstructured":"Kakas A, Kowalski R, Toni F (1992) Abductive logic programming. J Log Comput 2:719\u2013770. https:\/\/doi.org\/10.1093\/logcom\/2.6.719","journal-title":"J Log Comput"},{"key":"461_CR13","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"JL Pollock","year":"1987","unstructured":"Pollock JL (1987) Defeasible reasoning. Cogn Sci 11:481\u2013518","journal-title":"Cogn Sci"},{"key":"461_CR14","doi-asserted-by":"publisher","unstructured":"Besnard P, Hunter A (2007) Elements of argumentation. The MIT Press, Cambridge. https:\/\/doi.org\/10.1007\/978-3-540-75256-1_3","DOI":"10.1007\/978-3-540-75256-1_3"},{"key":"461_CR15","volume-title":"The uses of argument","author":"SE Toulmin","year":"1958","unstructured":"Toulmin SE (1958) The uses of argument. Cambridge University Press, Cambridge"},{"key":"461_CR16","unstructured":"Gkantzounis A, Stefaneas P (2023) On mathematical proving and algebra. In: 22nd Annual conference of the Calcutta logic circle, August 12\u201314"},{"key":"461_CR17","volume-title":"Conceptual modeling, databases, and case: an integrated view of information systems development","author":"P Loucopoulos","year":"1992","unstructured":"Loucopoulos P, Zicari R (1992) Conceptual modeling, databases, and case: an integrated view of information systems development. Wiley, New York"},{"key":"461_CR18","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1002\/(SICI)1099-1727(199722)13:2<107::AID-SDR120>3.0.CO;2-7","volume":"13","author":"DF Andersen","year":"1997","unstructured":"Andersen DF, Richardson GP (1997) Scripts for group model building. Syst Dyn Rev 13:107\u2013129","journal-title":"Syst Dyn Rev"},{"key":"461_CR19","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/TSMCC.2004.840066","volume":"36","author":"E Kavakli","year":"2006","unstructured":"Kavakli E, Loucopoulos P (2006) Experiences with goal-oriented modelling of organisational change. IEEE Trans Syst Man Cybern 36:221\u2013235","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"461_CR20","unstructured":"Mylopoulos J (1992) Conceptual modelling and telos1. Conceptual modelling, databases, and CASE: an integrated view of information system development, pp 49\u201368"},{"key":"461_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43839-8","volume-title":"Design science methodology for information systems and software engineering","author":"RJ Wieringa","year":"2014","unstructured":"Wieringa RJ (2014) Design science methodology for information systems and software engineering. Springer, Berlin"},{"issue":"6","key":"461_CR22","doi-asserted-by":"publisher","first-page":"2105","DOI":"10.1109\/TSE.2021.3051898","volume":"48","author":"D Hidellaarachchi","year":"2022","unstructured":"Hidellaarachchi D, Grundy J, Hoda R, Madampe K (2022) The effects of human aspects on the requirements engineering process: a systematic literature review. IEEE Trans Softw Eng 48(6):2105\u20132127. https:\/\/doi.org\/10.1109\/TSE.2021.3051898","journal-title":"IEEE Trans Softw Eng"},{"key":"461_CR23","doi-asserted-by":"publisher","first-page":"45","DOI":"10.2753\/MIS0742-1222240302","volume":"24","author":"K Peffers","year":"2007","unstructured":"Peffers K, Tuunanen T, Rothenberger M, Chatterjee S (2007) A design science research methodology for information systems research. J Manag Inf Syst 24:45\u201377","journal-title":"J Manag Inf Syst"},{"key":"461_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.18417\/emisa.17.2","volume":"17","author":"D Amyot","year":"2022","unstructured":"Amyot D, Akhigbe O, Baslyman M, Ghanavati S, Ghasemi M, Hassine J, Lessard L, Mussbacher G, Shen K, Yu E (2022) Combining goal modelling with business process modelling: two decades of experience with the user requirements notation standard. Enterpr Model Inf Syst Arch 17:1\u201338. https:\/\/doi.org\/10.18417\/emisa.17.2","journal-title":"Enterpr Model Inf Syst Arch"},{"key":"461_CR25","unstructured":"Dalpiaz F, Franch\u00a0HJX (2016) iStar 2.0 Language Guide. https:\/\/sites.google.com\/site\/istarlanguage\/"},{"key":"461_CR26","doi-asserted-by":"publisher","unstructured":"Ant\u00f3n A (1996) Goal-based requirements analysis. In: Proceedings of the second international conference on requirements analysis, ICRE\u201996, pp 136\u2013144. https:\/\/doi.org\/10.1109\/ICRE.1996.491438","DOI":"10.1109\/ICRE.1996.491438"},{"key":"461_CR27","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P Bresciani","year":"2004","unstructured":"Bresciani P, Perini A, Giorgini P, Giunchiglia F, Mylopoulos J (2004) Tropos: an agent-oriented software development methodology. Auton Agent Multi-Agent Syst 8:203\u2013236","journal-title":"Auton Agent Multi-Agent Syst"},{"key":"461_CR28","doi-asserted-by":"publisher","first-page":"105","DOI":"10.30595\/juita.v9i1.9827","volume":"9","author":"R Delima","year":"2021","unstructured":"Delima R, Wardoyo R, Mustofa K (2021) Goal-oriented requirements engineering: state of the art and research trend. JUITA J Informat 9:105. https:\/\/doi.org\/10.30595\/juita.v9i1.9827","journal-title":"JUITA J Informat"},{"key":"461_CR29","first-page":"1","volume":"12","author":"M Zee","year":"2020","unstructured":"Zee M, Bex F, Ghanavati S (2020) RationalGRL: a framework for argumentation and goal modeling. Arg Comput 12:1\u201355","journal-title":"Arg Comput"},{"key":"461_CR30","unstructured":"Almpani S, Stefaneas P (2017) On proving and argumentation. In: AIC 2017, 5th international workshop on artificial intelligence and cognition, Larnaka"},{"key":"461_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-011-0138-8","author":"J Lockerbie","year":"2011","unstructured":"Lockerbie J, Maiden N, Engmann J, Randall D, Jones S, Bush D (2011) Exploring the impact of software requirements on system-wide goals: a method using satisfaction arguments and i* goal modelling. Require Eng. https:\/\/doi.org\/10.1007\/s00766-011-0138-8","journal-title":"Require Eng"},{"key":"461_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10270-021-00943-5","volume":"21","author":"Y Elrakaiby","year":"2021","unstructured":"Elrakaiby Y, Borgida A, Ferrari A, Mylopoulos J (2021) Care: a refinement calculus for requirements engineering based on argumentation theory. Softw Syst Model 21:1\u201320. https:\/\/doi.org\/10.1007\/s10270-021-00943-5","journal-title":"Softw Syst Model"},{"key":"461_CR33","unstructured":"Rao AS, Georgeff MP (1991) Modeling rational agents within a bdi-architecture. In: Proceedings of the second international conference on principles of knowledge representation and reasoning. KR\u201991. Morgan Kaufmann Publishers Inc., San Francisco, pp 473\u2013484"},{"key":"461_CR34","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2019.10.026","author":"V Oliveira Gabriel","year":"2020","unstructured":"Oliveira Gabriel V, Panisson AR, Bordini RH, Adamatti DF, Billa CZ (2020) Reasoning in BDI agents using Toulmin\u2019s argumentation model. Theor Comput Sci. https:\/\/doi.org\/10.1016\/j.tcs.2019.10.026","journal-title":"Theor Comput Sci"},{"key":"461_CR35","doi-asserted-by":"crossref","unstructured":"Dennis LA, Oren N (2021) Explaining BDI agent behaviour through dialogue. In: Proceedings of the 20th international conference on autonomous agents and multiagent systems. AAMAS \u201921, Richland, SC, pp 429\u2013437","DOI":"10.65109\/BZSE9350"},{"issue":"01","key":"461_CR36","first-page":"46","volume":"14","author":"ML Errecalde","year":"2014","unstructured":"Errecalde ML, Sosa Toranzo C, Ferretti E (2014) A framework for multi-criteria argumentation-based decision making within a BDI agent. J Comput Sci Technol 14(01):46\u201354","journal-title":"J Comput Sci Technol"},{"key":"461_CR37","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1049\/ip-sen:19971026","volume":"144","author":"M Wooldridge","year":"1997","unstructured":"Wooldridge M (1997) Agent-based software engineering. IEE Proc Softw Eng 144:26\u201337","journal-title":"IEE Proc Softw Eng"},{"issue":"2","key":"461_CR38","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1109\/52.268952","volume":"11","author":"C Potts","year":"1994","unstructured":"Potts C, Takahashi K, Anton AI (1994) Inquiry-based requirements analysis. IEEE Softw 11(2):21\u201332. https:\/\/doi.org\/10.1109\/52.268952","journal-title":"IEEE Softw"},{"issue":"5","key":"461_CR39","doi-asserted-by":"publisher","first-page":"977","DOI":"10.1093\/logcom\/exad030","volume":"34","author":"GV Pitsiladis","year":"2023","unstructured":"Pitsiladis GV, Stefaneas PS (2023) A logical framework to model software development by multiple agents following a common specification. J Log Comput 34(5):977\u20131000. https:\/\/doi.org\/10.1093\/logcom\/exad030","journal-title":"J Log Comput"},{"key":"461_CR40","doi-asserted-by":"crossref","unstructured":"Moran TP, Carroll JM (1996) Overview of design rationale. Lawrence Erlbaum Associates, Inc., Mahwah, pp 1\u201319","DOI":"10.1201\/9781003064053-1"},{"key":"461_CR41","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1207\/s15327051hci0603&4_7","volume":"6","author":"G Fischer","year":"1996","unstructured":"Fischer G, Lemke A, Mccall R, M\u00f8rch A (1996) Making argumentation serve design. Hum Comput Interact 6:393\u2013419","journal-title":"Hum Comput Interact"},{"key":"461_CR42","doi-asserted-by":"crossref","unstructured":"Conklin J, Begeman ML (1988) gIBIS: a hypertext tool for exploratory policy discussion. In: Conference on computer supported cooperative work","DOI":"10.1145\/62266.62278"},{"key":"461_CR43","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.142872","volume":"18","author":"B Ramesh","year":"1992","unstructured":"Ramesh B, Dhar V (1992) Supporting systems development by capturing deliberations during requirements engineering. IEEE Trans Softw Eng 18:498\u2013510","journal-title":"IEEE Trans Softw Eng"},{"key":"461_CR44","doi-asserted-by":"publisher","unstructured":"Potts C (1989) A generic model for representing design methods. In: 11th International conference on software engineering, pp 217\u2013226. https:\/\/doi.org\/10.1109\/ICSE.1989.714422","DOI":"10.1109\/ICSE.1989.714422"},{"issue":"2","key":"461_CR45","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1057\/palgrave.kmrp.8500092","volume":"4","author":"DS Gilberto Montibeller","year":"2006","unstructured":"Gilberto Montibeller DS, Westcombe M (2006) Using decision support systems to facilitate the social process of knowledge management. Knowl Manag Res Pract 4(2):125\u2013137. https:\/\/doi.org\/10.1057\/palgrave.kmrp.8500092","journal-title":"Knowl Manag Res Pract"},{"key":"461_CR46","doi-asserted-by":"publisher","unstructured":"Martinie C, Palanque P, Winckler M, Conversy S (2010) DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. In: SIGDOC 2010\u2014proceedings of the 28th acm international conference on design of communication, pp 73\u201380. https:\/\/doi.org\/10.1145\/1878450.1878463","DOI":"10.1145\/1878450.1878463"},{"issue":"3","key":"461_CR47","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0950-5849(02)00187-8","volume":"45","author":"S Sigman","year":"2003","unstructured":"Sigman S, Liu XF (2003) A computational argumentation methodology for capturing and analyzing design rationale arising from multiple perspectives. Inf Softw Technol 45(3):113\u2013122. https:\/\/doi.org\/10.1016\/S0950-5849(02)00187-8","journal-title":"Inf Softw Technol"},{"key":"461_CR48","unstructured":"Haghighatkhah A (2014) An argumentation-based design rationale approach to reflective design of persuasive systems. In: Master\u2019s Thesis, University of Oulu, Department of Information Processing, Science . https:\/\/api.semanticscholar.org\/CorpusID:11305390"},{"key":"461_CR49","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00872529","volume":"3","author":"RP Loui","year":"1995","unstructured":"Loui RP, Norman J (1995) Rationales and argument moves. Artif Intell Law 3:159\u2013189","journal-title":"Artif Intell Law"},{"key":"461_CR50","unstructured":"Sothilingam R, Yu ESK (2023) Toward a goal-oriented argumentation approach for fair ML measures using i. In: International I* Workshop . https:\/\/api.semanticscholar.org\/CorpusID:265381321"},{"key":"461_CR51","doi-asserted-by":"crossref","unstructured":"Zhou Q, Li T, Wang Y (2022) Assisting in requirements goal modeling: a hybrid approach based on machine learning and logical reasoning. In: Proc. of the 25th international conference on model driven engineering languages and systems","DOI":"10.1145\/3550355.3552415"},{"key":"461_CR52","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/j.future.2022.12.035","volume":"142","author":"M Francia","year":"2023","unstructured":"Francia M, Giovanelli J, Pisano G (2023) HAMLET: a framework for human-centered autoML via structured argumentation. Futur Gener Comput Syst 142:182\u2013194. https:\/\/doi.org\/10.1016\/j.future.2022.12.035","journal-title":"Futur Gener Comput Syst"},{"key":"461_CR53","doi-asserted-by":"publisher","DOI":"10.3389\/frai.2023.1069455","author":"K Kilic","year":"2023","unstructured":"Kilic K, Weck S, Kampik T, Lindgren H (2023) Argument-based human-AI collaboration for supporting behavior change to improve health. Front Artif Intell. https:\/\/doi.org\/10.3389\/frai.2023.1069455","journal-title":"Front Artif Intell"},{"issue":"01","key":"461_CR54","doi-asserted-by":"publisher","first-page":"2250005","DOI":"10.1142\/S0218213022500051","volume":"31","author":"S Almpani","year":"2022","unstructured":"Almpani S, Kiouvrekis Y, Stefaneas P, Frangos P (2022) Computational argumentation for medical device regulatory classification. Int J Artif Intell Tools 31(01):2250005. https:\/\/doi.org\/10.1142\/S0218213022500051","journal-title":"Int J Artif Intell Tools"},{"key":"461_CR55","doi-asserted-by":"publisher","DOI":"10.3389\/frai.2022.955579","author":"E Dietz","year":"2022","unstructured":"Dietz E, Kakas A, Michael L (2022) Argumentation: a calculus for human-centric ai. Front Artif Intell. https:\/\/doi.org\/10.3389\/frai.2022.955579","journal-title":"Front Artif Intell"},{"key":"461_CR56","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77:321\u2013358","journal-title":"Artif Intell"},{"key":"461_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90103-5","volume":"57","author":"JL Pollock","year":"1992","unstructured":"Pollock JL (1992) How to reason defeasibly. Artif Intell 57:1\u201342","journal-title":"Artif Intell"},{"key":"461_CR58","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2013.869765","author":"P Besnard","year":"2014","unstructured":"Besnard P, Hunter A (2014) Constructing argument graphs with deductive arguments: a tutorial. Arg Comput. https:\/\/doi.org\/10.1080\/19462166.2013.869765","journal-title":"Arg Comput"},{"key":"461_CR59","doi-asserted-by":"publisher","DOI":"10.1080\/19462160903564592","author":"H Prakken","year":"2010","unstructured":"Prakken H (2010) An abstract framework for argumentation with structured arguments. Arg Comput. https:\/\/doi.org\/10.1080\/19462160903564592","journal-title":"Arg Comput"},{"key":"461_CR60","unstructured":"Besnard P, Hunter A (2018) A review of argumentation based on deductive arguments. In: Handbook of formal argumentation. College Publications. chapter 9, England, pp 437\u2013484. https:\/\/api.semanticscholar.org\/CorpusID:208651088"},{"key":"461_CR61","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10699-008-9158-3","volume":"14","author":"A Aberdein","year":"2009","unstructured":"Aberdein A (2009) Mathematics and argumentation. Found Sci 14:1\u20138. https:\/\/doi.org\/10.1007\/s10699-008-9158-3","journal-title":"Found Sci"},{"key":"461_CR62","unstructured":"Haggith M (1996) A meta-level argumentation framework for representing and reasoning about disagreement. PhD thesis, Dept. of Artificial Intelligence, University of Edinburgh"},{"key":"461_CR63","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0004-3702(96)00041-0","volume":"90","author":"GAW Vreeswijk","year":"1997","unstructured":"Vreeswijk GAW (1997) Abstract argumentation systems. Artif Intell 90:225\u2013279","journal-title":"Artif Intell"},{"key":"461_CR64","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxu057","author":"N Janjua","year":"2014","unstructured":"Janjua N, Hussain O, Hussain F, Chang E (2014) Philosophical and logic-based argumentation-driven reasoning approaches and their realization on the www: a survey. Comput J. https:\/\/doi.org\/10.1093\/comjnl\/bxu057","journal-title":"Comput J"},{"key":"461_CR65","doi-asserted-by":"publisher","unstructured":"Stefaneas P, Vandoulakis I, Martinez M, Foundalis H (2015) Collective discovery events: web-based mathematical problem-solving with codelets. Atlantis Press, Paris, pp 371\u2013389. https:\/\/doi.org\/10.2991\/978-94-6239-085-0_18","DOI":"10.2991\/978-94-6239-085-0_18"},{"key":"461_CR66","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"RA Kowalski","year":"1989","unstructured":"Kowalski RA, Sergot MJ (1989) A logic-based calculus of events. N Gener Comput 4:67\u201395","journal-title":"N Gener Comput"},{"key":"461_CR67","doi-asserted-by":"publisher","DOI":"10.1007\/s10516-023-09685-z","author":"S Almpani","year":"2023","unstructured":"Almpani S, Stefaneas P, Vandoulakis I (2023) Formalization of mathematical proof practice through an argumentation-based model. Glob Philos. https:\/\/doi.org\/10.1007\/s10516-023-09685-z","journal-title":"Glob Philos"},{"key":"461_CR68","unstructured":"Almpani S, Stefaneas P, Vandoulakis I (2017) On the role of argumentation in discovery proof-events. In: C3GI 2017, 6th international workshop on computational creativity, concept invention, and general intelligence, Madrid"},{"key":"461_CR69","doi-asserted-by":"crossref","unstructured":"Almpani S (2022) Argumentation and rule-based logic in mathematical proving and legal artificial intelligence applications. [Doctoral dissertation, National Technical University of Athens, Greece, ND: 51572]. National Archive of PhD Theses. https:\/\/doi.org\/10.12681\/eadd\/51572","DOI":"10.12681\/eadd\/51572"},{"key":"461_CR70","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1017\/S0960129500001420","volume":"2","author":"JA Goguen","year":"1992","unstructured":"Goguen JA (1992) Sheaf semantics for concurrent interacting objects. Math Struct Comput Sci 2:159\u201391","journal-title":"Math Struct Comput Sci"},{"key":"461_CR71","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0743-1066(96)00138-0","volume":"31","author":"A Kakas","year":"1997","unstructured":"Kakas A, Miller R (1997) A simple declarative language for describing narratives with actions. J Logic Programm 31:157\u2013200. https:\/\/doi.org\/10.1016\/S0743-1066(96)00138-0","journal-title":"J Logic Programm"},{"key":"461_CR72","unstructured":"Shum SB, Motta E, Domingue JB (2002) Augmenting design deliberation with compendium: the case of collaborative ontology design. In: Workshop on facilitating hypertext-augmented collaborative modelling, ACM Hypertext Conference, Maryland, June 11th\u201312th, 2002. https:\/\/api.semanticscholar.org\/CorpusID:12461724"},{"key":"461_CR73","volume-title":"Dialogue mapping: building shared understanding of wicked problems","author":"J Conklin","year":"2005","unstructured":"Conklin J (2005) Dialogue mapping: building shared understanding of wicked problems. Wiley, New York"},{"key":"461_CR74","unstructured":"Vandoulakis I (2020) Web-based collaboration: a prospective paradigm of mathematical learning. Humanistic futures of learning: Perspectives from UNESCO Chairs and UNITWIN Networks, pp 161\u2013163"},{"key":"461_CR75","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/s001650050051","volume":"11","author":"J Goguen","year":"1999","unstructured":"Goguen J (1999) Social and semiotic analyses for theorem prover user interface design. Formal Aspects Comput 11:272\u2013301","journal-title":"Formal Aspects Comput"},{"key":"461_CR76","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/2500891","volume":"56","author":"F Bex","year":"2013","unstructured":"Bex F, Lawrence J, Snaith M, Reed C (2013) Implementing the argument web. Commun ACM 56:66\u201373. https:\/\/doi.org\/10.1145\/2500891","journal-title":"Commun ACM"},{"key":"461_CR77","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.artint.2017.02.006","volume":"246","author":"A Pease","year":"2017","unstructured":"Pease A, Lawrence J, Budzynska K, Corneli J, Reed C (2017) Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation. Artif Intell 246:181\u2013219. https:\/\/doi.org\/10.1016\/j.artint.2017.02.006","journal-title":"Artif Intell"},{"key":"461_CR78","unstructured":"Pease A, Martin U (2012) Seventy four minutes of mathematics: an analysis of the third mini-polymath project. In: AISB\/IACAP World Congress 2012: symposium on mathematical practice and cognition II, pp 19\u201329"},{"key":"461_CR79","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10503-018-9474-x","volume":"33","author":"J Corneli","year":"2019","unstructured":"Corneli J, Martin U, Murray-Rust D, Nesin G, Pease A (2019) Argumentation theory for mathematical argument. Arg J 33:173\u2013214. https:\/\/doi.org\/10.1007\/s10503-018-9474-x","journal-title":"Arg J"},{"issue":"3","key":"461_CR80","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.ijhcs.2013.08.006","volume":"72","author":"L Iandoli","year":"2014","unstructured":"Iandoli L, Quinto I, De Liddo A, Buckingham Shum S (2014) Socially augmented argumentation tools: Rationale, design and evaluation of a debate dashboard. Int J Hum Comput Stud 72(3):298\u2013319. https:\/\/doi.org\/10.1016\/j.ijhcs.2013.08.006","journal-title":"Int J Hum Comput Stud"},{"key":"461_CR81","doi-asserted-by":"publisher","DOI":"10.1002\/spe.3137","author":"J Khan","year":"2022","unstructured":"Khan J, Yasin A, Fatima R, Vasan D, Khan A, Khan A (2022) Valuating requirements arguments in the online user\u2019s forum for requirements decision making: the crowdre-varg framework. Pract Exp Softw. https:\/\/doi.org\/10.1002\/spe.3137","journal-title":"Pract Exp Softw"},{"key":"461_CR82","doi-asserted-by":"publisher","first-page":"15","DOI":"10.33411\/IJIST\/2021030502","volume":"3","author":"JI Khan Jr","year":"2021","unstructured":"Khan JI Jr (2021) Requirements decision-making as a process of argumentation: a google maps case study with goal model. Int J Innov Sci Technol 3:15\u201333","journal-title":"Int J Innov Sci Technol"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-026-00461-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00766-026-00461-0","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-026-00461-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T16:43:07Z","timestamp":1782232987000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00766-026-00461-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,26]]},"references-count":82,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["461"],"URL":"https:\/\/doi.org\/10.1007\/s00766-026-00461-0","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,5,26]]},"assertion":[{"value":"13 December 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 May 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"8"}}