{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T18:14:31Z","timestamp":1778868871655,"version":"3.51.4"},"reference-count":62,"publisher":"SAGE Publications","issue":"2","license":[{"start":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T00:00:00Z","timestamp":1772409600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Argument &amp; Computation"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:p>This paper considers various aspects of representing arguments and logical argumentation frameworks. We investigate different approaches to address consistency and minimality within such frameworks, arguing that these properties can,\u00a0and in some cases should,\u00a0be omitted from the definition of an argument. We analyze the relationship between how consistency is verified and the selection of attack rules, showing that this choice should align with the underlying logic. Based on these results, we propose compact representations of logical argumentation frameworks and examine methods for transforming one framework into another (e.g., a more concise version) without losing logical entailments.<\/jats:p>","DOI":"10.1177\/19462174261418979","type":"journal-article","created":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T00:51:18Z","timestamp":1772499078000},"page":"107-140","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":0,"title":["Representation considerations for logical argumentation frameworks: Minimality, consistency, compactness, and logical preservation"],"prefix":"10.1177","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6588-886X","authenticated-orcid":false,"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[{"name":"School of Computer Science, Tel-Aviv Academic College, Tel-Aviv, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4117-7019","authenticated-orcid":false,"given":"Christian","family":"Stra\u00dfer","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2026,3,2]]},"reference":[{"key":"e_1_3_3_2_2","first-page":"1793","article-title":"Logic-based approaches to formal argumentation","volume":"8","author":"Arieli O","year":"2021","unstructured":"Arieli O, Borg A, Heyninck J, et\u00a0al. Logic-based approaches to formal argumentation. IfCoLog J Log Appl 2021; 8: 1793\u20131898.","journal-title":"IfCoLog J Log Appl"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2013.869764"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2012.09.004"},{"key":"e_1_3_3_5_2","doi-asserted-by":"crossref","unstructured":"Prakken H. Logics of argumentation and the law. In: Glenn HP and Smith L (eds) Law and the new logics. Cambridge UK: Cambridge University Press 2017 pp. 3\u201331.","DOI":"10.1017\/9781316227329.002"},{"key":"e_1_3_3_6_2","doi-asserted-by":"crossref","unstructured":"van Berkel K Stra\u00dfer C. Reasoning with and about norms in logical argumentation. In: Proceedings of the 9th international conference on computational models of argument (COMM\u201922) (Frontiers in artificial intelligence and applications vol. 353). Amsterdam The Netherlands: IOS Press 2022 pp. 332\u2013343.","DOI":"10.3233\/FAIA220164"},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exv050"},{"key":"e_1_3_3_8_2","doi-asserted-by":"crossref","unstructured":"van Berkel K Stra\u00dfer C Zhou Z. Towards an argumentative unification of default reasoning. In: Proceedings of the 10th international conference on computational models of argument (COMM\u201924) (Frontiers in artificial intelligence and applications vol. 388). Amsterdam The Netherlands: IOS Press 2024 pp. 313\u2013324.","DOI":"10.3233\/FAIA240331"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90103-5"},{"key":"e_1_3_3_10_2","doi-asserted-by":"crossref","unstructured":"Lorini E. An epistemic theory of deductive arguments. In: Proceedings of the 22nd international conference on principles of knowledge representation and reasoning (KR\u201925) Melbourne Australia November 2025 pp. 450\u2013461. IJCAI.org.","DOI":"10.24963\/kr.2025\/44"},{"key":"e_1_3_3_11_2","doi-asserted-by":"crossref","unstructured":"Tamani N Croitoru M. Fuzzy argumentation system for decision support. In: Proceedings of the 15th international conference on information processing and management of uncertainty in knowledge-based systems (IPMU\u201914) (Communications in computer and information science vol. 442). Cham: Springer 2014 pp. 77\u201386.","DOI":"10.1007\/978-3-319-08795-5_9"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-170017"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001674"},{"key":"e_1_3_3_14_2","unstructured":"van Berkel K. A logical analysis of normative reasoning: agency action and argumentation. PhD Thesis Faculty of Informatics TU Wien 2023."},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2013.869766"},{"key":"e_1_3_3_16_2","unstructured":"Modgil S Prakken H. Abstract rule-based argumentation. In: Baroni P Gabay D Giacomin M and van der Torre L (eds) Handbook of formal argumentation. Rickmansworth UK: College Publications 2018 vol. I pp. 287\u2013364."},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00015-5"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2013.869878"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00071-6"},{"key":"e_1_3_3_20_2","doi-asserted-by":"crossref","unstructured":"Besnard P Hunter A. Argumentation based on classical logic. In: Simari G and Rahwan I (eds) Argumentation in artificial intelligence. Boston: Springer 2009 pp. 133\u2013152.","DOI":"10.1007\/978-0-387-98197-0_7"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2014.1002536"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201353"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.05.003"},{"key":"e_1_3_3_24_2","doi-asserted-by":"crossref","unstructured":"D\u2019Agostino M Modgil S. A fully rational account of structured argumentation under resource bounds. In: Bessiere C (ed.) Proceedings of the 29th international joint conference on artificial intelligence (IJCAI\u201920). California: IJCAI 2020 pp. 1841\u20131847.","DOI":"10.24963\/ijcai.2020\/255"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exy027"},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2023.103966"},{"key":"e_1_3_3_27_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_3_3_28_2","volume-title":"Introduction to logic","author":"Tarski A","year":"1941","unstructured":"Tarski A. Introduction to logic. Oxford, UK: Oxford University Press, 1941."},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2020.02.011"},{"key":"e_1_3_3_30_2","doi-asserted-by":"crossref","unstructured":"Besnard P Gr\u00e9goire \u00c9 Raddaoui B. A conditional logic-based argumentation framework. In: Liu W Subrahmanian VS and Wijsen J (eds) Proceedings of the 7th international conference on scalable uncertainty management (SUM\u201913) (Lecture notes in computer science vol. 8078). Berlin: Springer 2013 pp. 44\u201356.","DOI":"10.1007\/978-3-642-40381-1_4"},{"key":"e_1_3_3_31_2","unstructured":"Santos E Martins JP. A default logic based framework for argumentation. In: Ghallab M Spyropoulos CD Fakotakis N and Avouris NM (eds) Proceedings of the 18th European conference on artificial intelligence (ECAI\u201908) (Frontiers in artificial intelligence and applications vol. 178). Amsterdam The Netherlands: IOS Press 2008 pp. 859\u2013860."},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.12.003"},{"key":"e_1_3_3_33_2","doi-asserted-by":"crossref","unstructured":"Carnielli W Coniglio M Marcos J. Logics of formal inconsistency. In: Gabbay DM and Guenthner F (eds) Handbook of philosophical logic 2nd ed. Dordrecht: Springer 2007 vol. 14 pp. 1\u201395.","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"e_1_3_3_34_2","doi-asserted-by":"crossref","unstructured":"Carnielli W Marcos J. A taxonomy of C-systems. In: Carnielli WA Coniglio ME and D\u2019Ottaviano I (eds) Paraconsistency: the logical way to the inconsistent (Lecture notes in pure and applied mathematics vol. 228). New York: Marcel Dekker 2002 pp. 1\u201394.","DOI":"10.1201\/9780203910139.pt1"},{"key":"e_1_3_3_35_2","unstructured":"Brewka G. Preferred subtheories: an extended logical framework for default reasoning. In: Sridharan N (ed.) Proceedings of the 11th international joint conference on artificial intelligence (IJCAI\u201989). San Francisco CA: Morgan Kaufmann 1989 pp.1043\u20131048."},{"key":"e_1_3_3_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2013.10.004"},{"key":"e_1_3_3_37_2","volume-title":"Introduction to metamathematics","author":"Kleene SC","year":"1952","unstructured":"Kleene SC. Introduction to metamathematics. Amsterdam: North-Holland. Reprinted Ishi Press 2009, 1952."},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00258428"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90027-1"},{"key":"e_1_3_3_40_2","unstructured":"Belnap ND. How a computer should think. In: Ryle G (ed.) Contemporary aspects of philosophy. California: Oriel Press 1977 pp. 30\u201356."},{"key":"e_1_3_3_41_2","doi-asserted-by":"crossref","unstructured":"Belnap ND. A useful four-valued logic. In: Dunn JM and Epstein G (eds) Modern uses of multiple-valued logics. Dordrecht: Reidel Publishing Company 1977 pp. 7\u201337.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"e_1_3_3_42_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00032-0"},{"key":"e_1_3_3_43_2","doi-asserted-by":"crossref","unstructured":"Amgoud L Besnard P Vesic S. Identifying the core of logic-based argumentation systems. In: Proceedings of the 23rd IEEE conference on tools with artificial intelligence (ICTI\u201911). USA: IEEE Computer Society 2011 pp. 633\u2013636.","DOI":"10.1109\/ICTAI.2011.100"},{"key":"e_1_3_3_44_2","doi-asserted-by":"crossref","unstructured":"Arieli O Borg A Hesse M et\u00a0al. Explainable logic-based argumentation. In: Proceedings of the 9th international conference on computational models of argument (COMM\u201922) (Frontiers in artificial intelligence and applications vol. 353). Amsterdam The Netherlands: IOS Press 2022 pp. 32\u201343.","DOI":"10.3233\/FAIA220139"},{"key":"e_1_3_3_45_2","first-page":"287","article-title":"Ob odnom trechzna c\u0306nom isc\u0306islenii i ego primenenii k analizu paradoksov klassiceskogo funkcional\u0144ogo isc\u0306islenija","volume":"4","author":"Bochvar DA","year":"1938","unstructured":"Bochvar DA. Ob odnom trechzna c\u0306nom isc\u0306islenii i ego primenenii k analizu paradoksov klassiceskogo funkcional\u0144ogo isc\u0306islenija. Mat Sb 1938; 4: 287\u2013308.","journal-title":"Mat Sb"},{"key":"e_1_3_3_46_2","first-page":"136","article-title":"Off-topic: a new interpretation of weak-kleene logic","volume":"13","author":"Beall J","year":"2016","unstructured":"Beall J. Off-topic: a new interpretation of weak-kleene logic. Austral J Logic 2016; 13: 136\u2013142.","journal-title":"Austral J Logic"},{"key":"e_1_3_3_47_2","doi-asserted-by":"crossref","unstructured":"Arieli O Stra\u00dfer C. Compactness and preservation in logical argumentation frameworks. In: Proceedings of the 22nd international conference on principles of knowledge representation and reasoning (KR\u201925). IJCAI.org 2025 pp.46\u201355.","DOI":"10.24963\/kr.2025\/5"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00154326"},{"key":"e_1_3_3_49_2","first-page":"227","article-title":"Assumptive sequent-based argumentation","volume":"7","author":"Borg A","year":"2020","unstructured":"Borg A. Assumptive sequent-based argumentation. IfCoLog J Log Appl 2020; 7: 227\u2013294.","journal-title":"IfCoLog J Log Appl"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exad080"},{"key":"e_1_3_3_51_2","doi-asserted-by":"crossref","unstructured":"Corsi EA Ferm\u00fcller C. Logical argumentation principles sequents and nondeterministic matrices. In: Baltag A Seligman J and Yamada T (eds) Proceedings of logic rationality and interaction: 6th international workshop (LORI\u201917). Berlin: Springer 2017 pp. 422\u2013437.","DOI":"10.1007\/978-3-662-55665-8_29"},{"key":"e_1_3_3_52_2","unstructured":"Corsi EA. Argumentation theory and alternative semantics for non-classical logics. PhD Thesis Vienna PhD School of Informatics 2021."},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2018.1457254"},{"key":"e_1_3_3_54_2","doi-asserted-by":"crossref","unstructured":"\u00c5qvist L. Deontic logic. In: Gabbay D and Guenthner F (eds) Handbook of philosophical logic. Dordrecht: Springer 2002 vol. 8 pp. 147\u2013264.","DOI":"10.1007\/978-94-010-0387-2_3"},{"key":"e_1_3_3_55_2","doi-asserted-by":"crossref","unstructured":"Arieli O Stra\u00dfer C. On minimality and consistency tolerance in logical argumentation frameworks. In: Prakken H Bistarelli S Santini F and Taticchi C (eds.) Proceedings of the 8th international conference on computational models of argument (COMMA\u201920) (Frontiers in artificial intelligence and applications vol. 326). Amsterdam The Netherlands: IOS Press 2020 pp. 91\u2013102.","DOI":"10.3233\/FAIA200495"},{"key":"e_1_3_3_56_2","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093958482"},{"key":"e_1_3_3_57_2","unstructured":"Avron A Arieli O Zamansky A. Theory of effective propositional paraconsistent logic (Studies in logic. Mathematical logic and foundations vol. 75). Rickmansworth UK: College Publications 2018."},{"key":"e_1_3_3_58_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888911000166"},{"key":"e_1_3_3_59_2","unstructured":"Baroni P Caminada M Giacomin M. Abstract argumentation frameworks and their semantics. In: Baroni P Gabbay D Giacomin M and van der Torre L (eds) Handbook of formal argumentation. Rickmansworth UK: College Publications 2018 pp. 159\u2013236}."},{"key":"e_1_3_3_60_2","unstructured":"Besnard P Hunter A. Knowledgebase compilation for efficient logical argumentation. In: Doherty P Mylopoulos J and Welty CA (eds) Proceedings of the 10th international conference on principles of knowledge representation and reasoning (KR\u201906) Lake District of the UK June 2006 pp. 123\u2013133. Palo Alto CA USA: AAAI Press."},{"key":"e_1_3_3_61_2","unstructured":"Besnard P Hunter A. A review of argumentation based on deductive arguments. In: Baroni P Gabay D Giacomin M and van der Torre L (eds) Handbook of formal argumentation. Rickmansworth UK: College Publications 2018 pp. 437\u2013484."},{"key":"e_1_3_3_62_2","unstructured":"Hunter A. Real arguments are approximate arguments. In: Proceedings of the 22nd conference on artificial intelligence (AAAI\u201907) Vancouver July 2007 pp. 66\u201371. Palo Alto CA USA: AAAI Press."},{"key":"e_1_3_3_63_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.3.347"}],"container-title":["Argument &amp; Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/19462174261418979","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/19462174261418979","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/19462174261418979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T17:47:21Z","timestamp":1778867241000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/19462174261418979"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,2]]},"references-count":62,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["10.1177\/19462174261418979"],"URL":"https:\/\/doi.org\/10.1177\/19462174261418979","relation":{},"ISSN":["1946-2166","1946-2174"],"issn-type":[{"value":"1946-2166","type":"print"},{"value":"1946-2174","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,2]]}}}