{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:20:37Z","timestamp":1760170837235},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399916"},{"type":"electronic","value":"9783642399923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39992-3_11","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T10:08:18Z","timestamp":1376474898000},"page":"96-110","source":"Crossref","is-referenced-by-count":4,"title":["The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic"],"prefix":"10.1007","author":[{"given":"Sjur Kristoffer","family":"Dyrkolbotn","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.jal.2013.03.009","volume":"11","author":"O. Arieli","year":"2013","unstructured":"Arieli, O., Caminada, M.W.A.: A QBF-based formalization of abstract argumentation semantics. Journal of Applied Logic\u00a011(2), 229\u2013252 (2013)","journal-title":"Journal of Applied Logic"},{"key":"11_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-540-45062-7_36","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"P. Baroni","year":"2003","unstructured":"Baroni, P., Giacomin, M.: Solving semantic problems with odd-length cycles in argumentation. In: Nielsen, T.D., Zhang, N.L. (eds.) ECSQARU 2003. LNCS (LNAI), vol.\u00a02711, pp. 440\u2013451. Springer, Heidelberg (2003)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.artint.2012.08.004","volume":"193","author":"R. Baumann","year":"2012","unstructured":"Baumann, R.: Normal and strong expansion equivalence for argumentation frameworks. Artif. Intell.\u00a0193, 18\u201344 (2012)","journal-title":"Artif. Intell."},{"key":"11_CR4","unstructured":"Baumann, R.: What does it take to enforce an argument? Minimal change in abstract argumentation. In: De Raedt, L., Bessi\u00e8re, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F., Lucas, P.J.F. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol.\u00a0242, pp. 127\u2013132. IOS Press (2012)"},{"issue":"2","key":"11_CR5","first-page":"89","volume":"28","author":"J.-Y. B\u00e9ziau","year":"1998","unstructured":"B\u00e9ziau, J.-Y.: A sequent calculus for \u0141ukasiewicz\u2019s three-valued logic based on Suszko\u2019s bivalent semantics. Bulletin of the Section of Logic\u00a028(2), 89\u201397 (1998)","journal-title":"Bulletin of the Section of Logic"},{"key":"11_CR6","unstructured":"Caminada, M.W.A.: Comparing two unique extension semantics for formal argumentation: Ideal and eager. In: BNAIC 2007, pp. 81\u201387 (2007)"},{"issue":"56","key":"11_CR7","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M.W.A. Caminada","year":"2007","unstructured":"Caminada, M.W.A., Amgoud, L.: On the evaluation of argumentation formalisms. Artificial Intelligence\u00a0171(56), 286\u2013310 (2007)","journal-title":"Artificial Intelligence"},{"issue":"2-3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s11225-009-9218-x","volume":"93","author":"M.W.A. Caminada","year":"2009","unstructured":"Caminada, M.W.A., Gabbay, D.M.: A logical account of formal argumentation. Studia Logica\u00a093(2-3), 109\u2013145 (2009)","journal-title":"Studia Logica"},{"key":"11_CR9","first-page":"121","volume-title":"Proceedings of the 2006 Conference on Computational Models of Argument: Proceedings of COMMA 2006","author":"M.W.A. Caminada","year":"2006","unstructured":"Caminada, M.W.A.: Semi-stable semantics. In: Proceedings of the 2006 Conference on Computational Models of Argument: Proceedings of COMMA 2006, pp. 121\u2013130. IOS Press, Amsterdam (2006)"},{"issue":"10-15","key":"11_CR10","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2007.05.001","volume":"171","author":"T.J.M. Bench Capon","year":"2007","unstructured":"Bench Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artif. Intell.\u00a0171(10-15), 619\u2013641 (2007)","journal-title":"Artif. Intell."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. 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. Artificial Intelligence\u00a077, 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"issue":"1015","key":"11_CR12","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/j.artint.2007.05.003","volume":"171","author":"P.M. Dung","year":"2007","unstructured":"Dung, P.M., Mancarella, P., Toni, F.: Computing ideal sceptical argumentation. Artificial Intelligence\u00a0171(1015), 642\u2013674 (2007)","journal-title":"Artificial Intelligence"},{"key":"11_CR13","unstructured":"Dyrkolbotn, S.: Doing argumentation using theories in graph normal form. In: Rendsvig, R.K. (ed.) ESSLLI 2012 Student Session Proceedings (2012)"},{"key":"11_CR14","unstructured":"Dyrkolbotn, S., Walicki, M.: Propositional discourse logic. Synthese (to appear)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-21940-5_12","volume-title":"Argumentation in Multi-Agent Systems","author":"D. Grossi","year":"2011","unstructured":"Grossi, D.: Argumentation in the view of modal logic. In: McBurney, P., Rahwan, I., Parsons, S. (eds.) ArgMAS 2010. LNCS, vol.\u00a06614, pp. 190\u2013208. Springer, Heidelberg (2011)"},{"key":"11_CR16","unstructured":"Grossi, D.: On the logic of argumentation theory. In: van der Hoek, W., Kaminka, G.A., Lesp\u00e9rance, Y., Luck, M., Sen, S. (eds.) AAMAS, pp. 409\u2013416. IFAAMAS (2010)"},{"key":"11_CR17","unstructured":"Grossi, D., Gabbay, D.: When are two arguments the same? Invariance in abstract argumentation. Technical Report\u00a04, University of Liverpool (2012)"},{"issue":"14-15","key":"11_CR18","doi-asserted-by":"publisher","first-page":"1985","DOI":"10.1016\/j.artint.2011.06.003","volume":"175","author":"E. Oikarinen","year":"2011","unstructured":"Oikarinen, E., Woltran, S.: Characterizing strong equivalence for argumentation frameworks. Artificial Intelligence\u00a0175(14-15), 1985\u20132009 (2011)","journal-title":"Artificial Intelligence"},{"key":"11_CR19","unstructured":"Verheij, B.: Two approaches to dialectical argumentation: Admissible sets and argumentation stages. In: Proceedings of the Biannual International Conference on Formal and Applied Practical Reasoning (FAPR) Workshop, pp. 357\u2013368, Universiteit (1996)"},{"issue":"2-3","key":"11_CR20","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s11225-009-9210-5","volume":"93","author":"Y. Wu","year":"2009","unstructured":"Wu, Y., Caminada, M.W.A., Gabbay, D.M.: Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Studia Logica\u00a093(2-3), 383\u2013403 (2009)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39992-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T15:29:04Z","timestamp":1558020544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39992-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399916","9783642399923"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39992-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}