{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:06:54Z","timestamp":1742990814149,"version":"3.40.3"},"publisher-location":"Cham","reference-count":83,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031802829"},{"type":"electronic","value":"9783031802836"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-80283-6_5","type":"book-chapter","created":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T06:45:32Z","timestamp":1738392332000},"page":"78-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Tutorial in\u00a0Proof-Theoretic Approaches to\u00a0Logical Argumentation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5246-1824","authenticated-orcid":false,"given":"Kees","family":"van Berkel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4117-7019","authenticated-orcid":false,"given":"Christian","family":"Stra\u00dfer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,2]]},"reference":[{"issue":"10","key":"5_CR1","doi-asserted-by":"publisher","first-page":"1062","DOI":"10.1002\/int.20307","volume":"23","author":"L Amgoud","year":"2008","unstructured":"Amgoud, L., Cayrol, C., Lagasquie-Schiex, M., Livet, P.: On bipolarity in argumentation frameworks. Int. J. Intell. Syst. 23(10), 1062\u20131093 (2008)","journal-title":"Int. J. Intell. Syst."},{"key":"5_CR2","unstructured":"Amgoud, L., Cayrol, C.: On the acceptability of arguments in preference-based argumentation. arXiv preprint arXiv:1301.7358 (2013)"},{"key":"5_CR3","unstructured":"Amgoud, L., Maudet, N., Parsons, S.: Modeling dialogues using argumentation. In: International Conference on Multi-Agent Systems, p. 0031. IEEE Computer Society (2000)"},{"issue":"3\u20134","key":"5_CR4","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/j.artint.2008.11.006","volume":"173","author":"L Amgoud","year":"2009","unstructured":"Amgoud, L., Prade, H.: Using arguments for making and explaining decisions. Artif. Intell. 173(3\u20134), 413\u2013436 (2009)","journal-title":"Artif. Intell."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Arieli, O., van Berkel, K., Strasser, C.: Defeasible normative reasoning: a proof-theoretic integration of logical argumentation. In: Proceedings of AAAI24, the 38th Annual AAAI Conference on Artificial Intelligence, no.\u00a09, pp. 10450\u201310458. AAAI Press (2024)","DOI":"10.1609\/aaai.v38i9.28913"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Arieli, O., Borg, A., Hesse, M., Stra\u00dfer, C.: Explainable logic-based argumentation. In: Toni, F., Polberg, S., Booth, R., Caminada, M., Kido, H. (eds.) Frontiers in Artificial Intelligence and Applications: Computational Models of Argument, proceedings (COMMA22), vol.\u00a0353, pp. 32 \u2013 43. IOS press (2022). https:\/\/doi.org\/10.3233\/FAIA220139","DOI":"10.3233\/FAIA220139"},{"key":"5_CR7","unstructured":"Arieli, O., Borg, A., Heyninck, J., Stra\u00dfer, C.: Logic-based approaches to formal argumentation. In: Gabbay, D., Giacomin, M., Simari, G.R., Thimm, M. (eds.) Handbook of Formal Argumentation, vol. 2, pp. 1793\u20131898. College Publications (2021)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Arieli, O., Borg, A., Stra\u00dfer, C.: A postulate-deriven study of logical argumentation. Artif. Intell. 103966 (2023)","DOI":"10.1016\/j.artint.2023.103966"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1080\/19462166.2014.1002536","volume":"6","author":"O Arieli","year":"2015","unstructured":"Arieli, O., Stra\u00dfer, C.: Sequent-based logical argumentation. Argument Comput. 6(1), 73\u201399 (2015)","journal-title":"Argument Comput."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"103387","DOI":"10.1016\/j.artint.2020.103387","volume":"289","author":"K Atkinson","year":"2020","unstructured":"Atkinson, K., Bench-Capon, T., Bollegala, D.: Explanation in AI and law: past, present and future. Artif. Intell. 289, 103387 (2020)","journal-title":"Artif. Intell."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/s10458-005-1166-x","volume":"11","author":"K Atkinson","year":"2005","unstructured":"Atkinson, K., Bench-Capon, T., McBurney, P.: A dialogue game protocol for multi-agent argument over proposals for action. Auton. Agent. Multi-Agent Syst. 11, 153\u2013171 (2005)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Barnes, J.: The Complete Works of Aristotle. The Revised Oxford Translation. One Volume Digital Edition. Princeton University Press, Princeton (1984)","DOI":"10.1515\/9781400835843"},{"issue":"4","key":"5_CR13","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1017\/S0269888911000166","volume":"26","author":"P Baroni","year":"2011","unstructured":"Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365\u2013410 (2011)","journal-title":"Knowl. Eng. Rev."},{"key":"5_CR14","volume-title":"Handbook of Formal Argumentation","author":"P Baroni","year":"2018","unstructured":"Baroni, P., Gabbay, D., Giacomin, M., van der Torre, L.: Handbook of Formal Argumentation, vol. 1. College Publications, UK (2018)"},{"key":"5_CR15","first-page":"161","volume":"114","author":"D Batens","year":"1986","unstructured":"Batens, D.: Dialectical dynamics within formal logics. Logique et Anal. (N.S.) 114, 161\u2013173 (1986)","journal-title":"Logique et Anal. (N.S.)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Some syntactic approaches to the handling of inconsistent knowledge bases: a comparative study. Part 1: Flat Case 58, 17\u201345 (1997)","DOI":"10.1023\/A:1004987830832"},{"key":"5_CR17","unstructured":"van\u00a0Berkel, K.: A logical analysis of normative reasoning: agency, action, and argumentation. Ph.D. thesis, TU Wien (2023)"},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"van\u00a0Berkel, K., Stra\u00dfer, C.: Reasoning with and about norms in logical argumentation. In: Toni, F., Polberg, S., Booth, R., Caminada, M., Kido, H. (eds.) Frontiers in Artificial Intelligence and Applications: Computational Models of Argument, Proceedings (COMMA22), vol.\u00a0353, pp. 332\u2013343. IOS Press (2022). https:\/\/doi.org\/10.3233\/FAIA220164","DOI":"10.3233\/FAIA220164"},{"key":"5_CR19","unstructured":"van\u00a0Berkel, K., Stra\u00dfer, C.: Towards deontic explanations through dialogue. In: Proceeding of the 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI 2024), pp. 29\u201340. CEUR-WS Workshop Proceedings (2024)"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"van\u00a0Berkel, K., Stra\u00dfer, C., Zhou, Z.: Towards an argumentative unification of default reasoning. In: Proceeding of COMMA 2024, pp. 313\u2013324. IOS Press (2024)","DOI":"10.3233\/FAIA240331"},{"key":"5_CR21","first-page":"435","volume":"1","author":"P Besnard","year":"2018","unstructured":"Besnard, P., Hunter, A.: A review of argumentation based on deductive arguments. Handb. Formal Argumentation 1, 435\u2013482 (2018)","journal-title":"Handb. Formal Argumentation"},{"key":"5_CR22","doi-asserted-by":"publisher","unstructured":"Black, E., Hunter, A.: A generative inquiry dialogue system. In: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), pp.\u00a01\u20138 (2007). https:\/\/doi.org\/10.1145\/1329125.1329417","DOI":"10.1145\/1329125.1329417"},{"key":"5_CR23","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/12387.001.0001","volume-title":"A Logical Theory of Causality","author":"A Bochman","year":"2021","unstructured":"Bochman, A.: A Logical Theory of Causality. MIT Press, Cambridge (2021)"},{"key":"5_CR24","doi-asserted-by":"publisher","unstructured":"Borg, A., Bex, F.: A basic framework for explanations in argumentation. IEEE Intell. Syst. 25\u201335 (2021). https:\/\/doi.org\/10.1109\/MIS.2021.3053102","DOI":"10.1109\/MIS.2021.3053102"},{"key":"5_CR25","doi-asserted-by":"publisher","unstructured":"Borg, A., Stra\u00dfer, C.: Relevance in structured argumentation. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, pp. 1753\u20131759 (2018). https:\/\/doi.org\/10.24963\/ijcai.2018\/242","DOI":"10.24963\/ijcai.2018\/242"},{"key":"5_CR26","first-page":"577","volume":"1","author":"K Budzynska","year":"2018","unstructured":"Budzynska, K., Villata, S., et al.: Processing natural language argumentation. Handb. Formal Argumentation 1, 577\u2013627 (2018)","journal-title":"Handb. Formal Argumentation"},{"issue":"5\u20136","key":"5_CR27","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":"2","key":"5_CR28","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1093\/analys\/24.2.33","volume":"24","author":"RM Chisholm","year":"1963","unstructured":"Chisholm, R.M.: Contrary-to-duty imperatives and deontic logic. Analysis 24(2), 33\u201336 (1963). https:\/\/doi.org\/10.1093\/analys\/24.2.33","journal-title":"Analysis"},{"key":"5_CR29","doi-asserted-by":"publisher","unstructured":"Ciabattoni, A., Parent, X., Sartor, G.: A Kelsenian deontic logic. In: Schweighofer, E. (ed.) Frontiers in Artificial Intelligence and Applications, Legal Knowledge and Information Systems, vol.\u00a0346, pp. 141\u2013150. IOS Press (2021). https:\/\/doi.org\/10.3233\/FAIA210330","DOI":"10.3233\/FAIA210330"},{"key":"5_CR30","doi-asserted-by":"publisher","unstructured":"\u010cyras, K., Rago, A., Albini, E., Baroni, P., Toni, F.: Argumentative XAI: a survey (2021). https:\/\/doi.org\/10.48550\/ARXIV.2105.11266","DOI":"10.48550\/ARXIV.2105.11266"},{"key":"5_CR31","doi-asserted-by":"publisher","unstructured":"D\u2019Agostino, M., Modgil, S.: Classical logic, argument and dialectic. Artif. Intell. 262, 15-51 (2018). https:\/\/doi.org\/10.1016\/j.artint.2018.05.003","DOI":"10.1016\/j.artint.2018.05.003"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. 77, 321\u2013358 (1995)","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. Argumentation Artif. Intell. 199\u2013218 (2009)","DOI":"10.1007\/978-0-387-98197-0_10"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Dutilh\u00a0Novaes, C.: A dialogical conception of explanation in mathematical proofs. Philos. Math. Educ. Today 81\u201398 (2018)","DOI":"10.1007\/978-3-319-77760-3_5"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Fan, X., Toni, F.: On computing explanations in argumentation. In: Bonet, B., Koenig, S. (eds.) Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 1496\u20131502 (2015)","DOI":"10.1609\/aaai.v29i1.9420"},{"issue":"4","key":"5_CR36","first-page":"941","volume":"8","author":"G Ferraro","year":"2021","unstructured":"Ferraro, G., Lam, H.P.: NLP techniques for normative mining. J. Appl. Log. - IfCoLog J. Log. Appl. 8(4), 941\u2013974 (2021)","journal-title":"J. Appl. Log. - IfCoLog J. Log. Appl."},{"key":"5_CR37","volume-title":"Handbook of Formal Argumentation","author":"D Gabbay","year":"2021","unstructured":"Gabbay, D., Giacomin, M., Simari, G.R., Thimm, M.: Handbook of Formal Argumentation, vol. 2. College Publications, UK (2021)"},{"key":"5_CR38","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"D Gabbay","year":"2013","unstructured":"Gabbay, D., Horty, J.F., Parent, X., van der Meyden, R., van der Torre, L.: Handbook of Deontic Logic and Normative Systems, vol. 1. College Publications, UK (2013)"},{"key":"5_CR39","volume-title":"The Handbook of Deontic Logic and Normative Systems","author":"D Gabbay","year":"2021","unstructured":"Gabbay, D., Horty, J.F., Parent, X., van der Meyden, R., van der Torre, L.: The Handbook of Deontic Logic and Normative Systems, vol. 2. College Publications, UK (2021)"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M.: Theoretical foundations for non-monotonic reasoning in expert systems. In: Logics and Models of Concurrent Systems, pp. 439\u2013457. Springer (1985)","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"5_CR41","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, Cambridge, MA, vol.\u00a088, pp. 1070\u20131080 (1988)"},{"issue":"176\u2013210","key":"5_CR42","first-page":"405","volume":"39","author":"G Gentzen","year":"1934","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen I, II. Math. Zeitschrift 39(176\u2013210), 405\u2013431 (1934)","journal-title":"Math. Zeitschrift"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Hansson, B.: An analysis of some deontic logics. Nous 373\u2013398 (1969)","DOI":"10.2307\/2214372"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Hart, H.L.: The ascription of responsibility and rights. In: Proceedings of the Aristotelian Society, vol.\u00a049, pp. 171\u2013194. JSTOR (1948)","DOI":"10.1093\/aristotelian\/49.1.171"},{"key":"5_CR45","unstructured":"Hilpinen, R., McNamara, P.: Deontic logic: A historical survey and introduction. In: Gabbay, D., Horty, J.F., Parent, X., van\u00a0der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 1, pp. 3\u2013136. College Publications (2013)"},{"key":"5_CR46","unstructured":"Koons, R.: Defeasible reasoning. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Summer 2022 edn. (2022)"},{"key":"5_CR47","doi-asserted-by":"crossref","unstructured":"Kraus, S., Lehman, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. 44, 167\u2013207 (1990)","DOI":"10.1016\/0004-3702(90)90101-5"},{"issue":"1","key":"5_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"DJ Lehmann","year":"1992","unstructured":"Lehmann, D.J., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55(1), 1\u201360 (1992)","journal-title":"Artif. Intell."},{"key":"5_CR49","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Harvard University Press, Cambridge (1973)"},{"key":"5_CR50","volume-title":"Bridges from Classical to Nonmonotonic Logic, Texts in Computing","author":"D Makinson","year":"2005","unstructured":"Makinson, D.: Bridges from Classical to Nonmonotonic Logic, Texts in Computing, vol. 5. King\u2019s College Publications, London (2005)"},{"key":"5_CR51","doi-asserted-by":"crossref","unstructured":"Makinson, D., van der Torre, L.: Input\/Output logics. J. Philos. Log. 383\u2013408 (2000)","DOI":"10.1023\/A:1004748624537"},{"issue":"2","key":"5_CR52","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson, D., van der Torre, L.: Constraints for input\/output logics. J. Philos. Log. 30(2), 155\u2013185 (2001)","journal-title":"J. Philos. Log."},{"key":"5_CR53","doi-asserted-by":"crossref","unstructured":"McBurney, P., Parsons, S.: Dialogue games for agent argumentation. In: Argumentation in Artificial Intelligence, pp. 261\u2013280. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_13"},{"issue":"2","key":"5_CR54","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S0140525X10000968","volume":"34","author":"H Mercier","year":"2011","unstructured":"Mercier, H., Sperber, D.: Why do humans reason? Arguments for an argumentative theory. Behav. Brain Sci. 34(2), 57\u201374 (2011)","journal-title":"Behav. Brain Sci."},{"key":"5_CR55","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2018.07.007","volume":"267","author":"T Miller","year":"2019","unstructured":"Miller, T.: Explanation in artificial intelligence: insights from the social sciences. Artif. Intell. 267, 1\u201338 (2019). https:\/\/doi.org\/10.1016\/j.artint.2018.07.007","journal-title":"Artif. Intell."},{"key":"5_CR56","doi-asserted-by":"crossref","unstructured":"Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Argumentation in Artificial Intelligence, pp. 105\u2013129. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_6"},{"issue":"1","key":"5_CR57","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1080\/19462166.2013.869766","volume":"5","author":"S Modgil","year":"2014","unstructured":"Modgil, S., Prakken, H.: The ASPIC+ framework for structured argumentation: a tutorial. Argument Comput. 5(1), 31\u201362 (2014)","journal-title":"Argument Comput."},{"key":"5_CR58","doi-asserted-by":"publisher","unstructured":"Moore, R.C.: Semantical considerations on nonmonotonic logic. 25(1), 75\u201394 (1985). https:\/\/doi.org\/10.1016\/0004-3702(85)90042-6","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"5_CR59","volume-title":"Structural Proof Theory","author":"S Negri","year":"2008","unstructured":"Negri, S., Von Plato, J., Ranta, A.: Structural Proof Theory. Cambridge University Press, Cambridge (2008)"},{"key":"5_CR60","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8851-5","volume-title":"Defeasible Deontic Logic","author":"D Nute","year":"1997","unstructured":"Nute, D.: Defeasible Deontic Logic, vol. 263. Springer, Heidelberg (1997)"},{"key":"5_CR61","unstructured":"Parent, X., van der Torre, L.: Input\/output logic. In: Gabbay, D., Horty, J.F., Parent, X., van\u00a0der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 1, pp. 499\u2013544. College Publications (2013)"},{"key":"5_CR62","unstructured":"Parent, X., van der Torre, L.: I\/O logics with a consistency check. In: Broersen, J.M., Condoravdi, C., Shyam, N., Pigozzi, G. (eds.) Deontic Logic and Normative Systems, 14th International Conference, DEON 2018, pp. 285\u2013299. College Publications (2018)"},{"key":"5_CR63","doi-asserted-by":"crossref","unstructured":"Pollock, J.: A theory of defeasible reasoning. 6, 33\u201354 (1991)","DOI":"10.1002\/int.4550060103"},{"issue":"4","key":"5_CR64","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"JL Pollock","year":"1987","unstructured":"Pollock, J.L.: Defeasible reasoning. Cogn. Sci. 11(4), 481\u2013518 (1987)","journal-title":"Cogn. Sci."},{"key":"5_CR65","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1093\/logcom\/exi046","volume":"15","author":"H Prakken","year":"2005","unstructured":"Prakken, H.: Coherence and flexibility in dialogue games for argumentation. J. Log. Comput. 15, 1009\u20131040 (2005)","journal-title":"J. Log. Comput."},{"issue":"2","key":"5_CR66","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. Argument Comput. 1(2), 93\u2013124 (2010)","journal-title":"Argument Comput."},{"key":"5_CR67","unstructured":"Prakken, H.: Historical overview of formal argumentation. In: Baroni, P., Gabbay, D., Giacomin, M., van der Torre, L., et\u00a0al. (eds.) Handbook of Formal Argumentation, vol. 1, pp. 75\u2013143. College Publications (2018)"},{"key":"5_CR68","unstructured":"Rathjen, M., Sieg, W.: Proof theory. In: Zalta, E.N., Nodelman, U. (eds.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Winter 2022 edn. (2022)"},{"key":"5_CR69","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A logic for default reasoning. 1\u20132(13) (1980)","DOI":"10.1016\/0004-3702(80)90014-4"},{"issue":"1\u20132","key":"5_CR70","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"5_CR71","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"N Rescher","year":"1970","unstructured":"Rescher, N., Manor, R.: On inference from inconsistent premises. Theor. Decis. 1, 179\u2013217 (1970)","journal-title":"Theor. Decis."},{"key":"5_CR72","volume-title":"The Right and the Good","author":"WD Ross","year":"1930","unstructured":"Ross, W.D.: The Right and the Good. Oxford University Press, Oxford (1930)"},{"key":"5_CR73","unstructured":"Saribatur, Z.G., Wallner, J.P., Woltran, S.: Explaining non-acceptability in abstract argumentation. In: Giacomo, G.D., et al. (eds.) Frontiers in Artificial Intelligence and Applications, 24th European Conference on Artificial Intelligence - ECAI 2020, vol.\u00a0325, pp. 881\u2013888. IOS Press (2020)"},{"issue":"12","key":"5_CR74","doi-asserted-by":"publisher","first-page":"2195","DOI":"10.1007\/s11229-011-9964-y","volume":"190","author":"D \u0160e\u0161elja","year":"2013","unstructured":"\u0160e\u0161elja, D., Stra\u00dfer, C.: Abstract argumentation and explanation applied to scientific debates. Synthese 190(12), 2195\u20132217 (2013)","journal-title":"Synthese"},{"key":"5_CR75","first-page":"227","volume-title":"Readings in Non-monotonic Reasoning","author":"Y Shoham","year":"1987","unstructured":"Shoham, Y.: A semantical approach to nonmonotonic logics. In: Ginsberg, M.L. (ed.) Readings in Non-monotonic Reasoning, pp. 227\u2013249. Morgan Kaufmann, Los Altos (1987)"},{"key":"5_CR76","doi-asserted-by":"crossref","unstructured":"Stalnaker, R.F.: A theory of conditionals. In: Reischer, N. (ed.) Studies in Logical Theory. Basil Blackwell (1968)","DOI":"10.1007\/978-94-009-9117-0_2"},{"key":"5_CR77","unstructured":"Stra\u00dfer, C., Antonelli, A.: Non-monotonic Logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Summer 2019 edn. (2019)"},{"key":"5_CR78","unstructured":"Stra\u00dfer, C.: Nonmonotonic Logic. Elements Series. Cambridge University Press (202x). Forthcoming"},{"key":"5_CR79","volume-title":"The Uses of Argument","author":"SE Toulmin","year":"1958","unstructured":"Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (1958)"},{"key":"5_CR80","doi-asserted-by":"crossref","unstructured":"Van Fraassen, B.C.: The logic of conditional obligation. 1, 417\u2013438 (1972)","DOI":"10.1007\/BF00255570"},{"key":"5_CR81","doi-asserted-by":"publisher","unstructured":"Vassiliades, A., Bassiliades, N., Patkos, T.: Argumentation and explainable artificial intelligence: a survey. Knowl. Eng. Rev. 36, 1\u201335 (2021). https:\/\/doi.org\/10.1017\/s0269888921000011","DOI":"10.1017\/s0269888921000011"},{"key":"5_CR82","doi-asserted-by":"crossref","unstructured":"Walton, D., Reed, C.: Diagramming, argumentation schemes and critical questions. In: Anyone Who Has a View, pp. 195\u2013211. Springer (2003)","DOI":"10.1007\/978-94-007-1078-8_16"},{"issue":"2","key":"5_CR83","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1093\/logcom\/exu017","volume":"25","author":"Y Wu","year":"2014","unstructured":"Wu, Y., Podlaszewski, M.: Implementing crash-resistance and non-interference in logic-based argumentation. J. Log. Comput. 25(2), 303\u2013333 (2014). https:\/\/doi.org\/10.1093\/logcom\/exu017","journal-title":"J. Log. Comput."}],"container-title":["Lecture Notes in Computer Science","Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80283-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T06:45:57Z","timestamp":1738392357000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80283-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031802829","9783031802836"],"references-count":83,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80283-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"2 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests which are relevant to\u00a0this work.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}}]}}