{"type":"ScholarlyArticle","title":"A Study of Unrestricted Abstract Argumentation Frameworks","authors":[{"name":"Ringo Baumann","slug":"ringo-baumann","given":"Ringo","family":"Baumann","affiliation":"Leipzig University , Germany"},{"name":"Christof Spanring","slug":"christof-spanring","given":"Christof","family":"Spanring","affiliation":"University of Liverpool , United Kingdom; TU Wien , Austria"}],"abstract":"Research in abstract argumentation typically per-tains to finite argumentation frameworks (AFs). Ac-tual or potential infinite AFs frequently occur if theyare used for the purpose of nonmonotonic entail-ment, so-called instantiation-based argumentation,or if they are involved as modeling tool for dia-logues, n-person-games or action sequences. Apartfrom these practical cases a profound analysis yieldsa better understanding of how the nonmonotonic the-ory of abstract argumentation works in general. Inthis paper we study a bunch of abstract propertieslike SCC-recursiveness, expressiveness or intertrans-latability for unrestricted AFs.","doi":"10.24963/ijcai.2017/112","url":"https://ijcai.org/proceedings/2017/112","pdf":"https://ijcai.org/proceedings/2017/0112.pdf","markdown":"https://ijcai.org/proceedings/2017/112.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/112","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":112,"pages":{"first":807,"last":813},"keywords":["Knowledge Representation, Reasoning, and Logic: Non-monotonic Reasoning","Knowledge Representation, Reasoning, and Logic: Computational models of Argument"],"videos":[],"references":[{"position":1,"raw":"[Baroni and Giacomin, 2007] Pietro Baroni and Massimili- ano Giacomin. On principle-based evaluation of extension- based argumentation semantics. Artif. Intell., 171:675-700, 2007.","title":"Pietro Baroni and Massimiliano Giacomin. On principle-based evaluation of extensionbased argumentation semantics","authors":"Giacomin Baroni","year":"2007","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baroni et al., 2005] Pietro Baroni, Massimiliano Giacomin, and Giovanni Guida. Scc-recursiveness: A general schema for argumentation semantics. Artif. Intell., 168(1-2):162- 210, 2005.","title":"Scc-recursiveness: A general schema for argumentation semantics","authors":"Pietro Baroni, Massimiliano Giacomin, Giovanni Guida","year":"2005","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baroni et al., 2011] Pietro Baroni, Martin Caminada, and Massimiliano Giacomin. An introduction to argumentation semantics. KER, 26:365-410, 2011.","title":"An introduction to argumentation semantics","authors":"Pietro Baroni, Martin Caminada, Massimiliano Giacomin","year":"2011","venue":"KER","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baroni et al., 2013] Pietro Baroni, Federico Cerutti, Paul E. Dunne, and Massimiliano Giacomin. Automata for infinite argumentation structures. Artif. Intell., 203:104-150, 2013.","title":"Automata for infinite argumentation structures","authors":"Pietro Baroni, Federico Cerutti, Paul E Dunne, Massimiliano Giacomin","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Baroni et al., 2014] Pietro Baroni, Massimiliano Giacomin, and Beishui Liao. On topology-related properties of ab- stract argumentation semantics. A correction and extension to dynamics of argumentation systems: A division-based method. Artif. Intell., 212:104-115, 2014.","title":"On topology-related properties of abstract argumentation semantics. A correction and extension to dynamics of argumentation systems: A division-based method","authors":"Pietro Baroni, Massimiliano Giacomin, Beishui Liao","year":"2014","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Baumann and Spanring, 2015] Ringo Baumann and Chris- tof Spanring. Infinite argumentation frameworks -on the existence and uniqueness of extensions. In Essays Ded- icated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060, pages 281-295. Springer, 2015.","title":"Ringo Baumann and Christof Spanring. Infinite argumentation frameworks -on the existence and uniqueness of extensions","authors":"Spanring Baumann","year":"2015","venue":"Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Baumann and Strass, 2012] Ringo Baumann and Hannes Strass. Default reasoning about actions via abstract ar- gumentation. In COMMA, pages 297-309, 2012.","title":"Ringo Baumann and Hannes Strass. Default reasoning about actions via abstract argumentation","authors":"Strass Baumann","year":"2012","venue":"COMMA","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Baumann and Strass, 2016] Ringo Baumann and Hannes Strass. An abstract logical approach to characterizing strong equivalence in logic-based knowledge representation form- alisms. In KR, pages 525-528, 2016.","title":"An abstract logical approach to characterizing strong equivalence in logic-based knowledge representation formalisms","authors":"Strass Baumann, Ringo Baumann, Hannes Strass","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Baumann et al., 2016a] Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Christof Spanring, Hannes Strass, and Stefan Woltran. On rejected arguments and implicit con- flicts: The hidden power of argumentation semantics. Artif. Intell., 241:244-284, 2016.","title":"On rejected arguments and implicit conflicts: The hidden power of argumentation semantics","authors":"Baumann","year":"2016","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Baumann et al., 2016b] Ringo Baumann, Thomas Lins- bichler, and Stefan Woltran. Verifiability of argumentation semantics. In COMMA, pages 83-94, 2016.","title":"Verifiability of argumentation semantics","authors":"Baumann","year":"2016","venue":"COMMA","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Baumann, 2011] Ringo Baumann. Splitting an argumenta- tion framework. In LPNMR, volume 6645 of Lecture Notes in Computer Science, pages 40-53. Springer, 2011.","title":"Splitting an argumentation framework","authors":"Ringo Baumann","year":"2011","venue":"LPNMR","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Baumann, 2012] Ringo Baumann. What does it take to en- force an argument? minimal change in abstract argument- ation. In ECAI, volume 242, pages 127-132. IOS Press, 2012.","title":"What does it take to enforce an argument? minimal change in abstract argumentation","authors":"Ringo Baumann, Baumann","year":"2012","venue":"ECAI","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Belardinelli et al., 2015] Francesco Belardinelli, Davide Grossi, and Nicolas Maudet. Formal analysis of dialogues on infinite argumentation frameworks. In IJCAI, pages 861-867, 2015.","title":"Formal analysis of dialogues on infinite argumentation frameworks","authors":"Francesco Belardinelli, Davide Grossi, Nicolas Maudet","year":"2015","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/126"},{"position":14,"raw":"[Bench-Capon and Dunne, 2007] Trevor J. M. Bench-Capon and Paul E. Dunne. Argumentation in artificial intelligence. Artif. Intell., 171(10-15):619-641, 2007.","title":"Argumentation in artificial intelligence","authors":"J M Trevor, Paul E Bench-Capon, Dunne","year":"2007","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Caminada and Oren, 2014] Martin W. A. Caminada and Nir Oren. Grounded semantics and infinitary argumentation frameworks. In BNAIC, 2014.","title":"Grounded semantics and infinitary argumentation frameworks","authors":"W A Martin, Nir Caminada, Oren","year":"2014","venue":"BNAIC","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Dung, 1995] Phan Minh Dung. On the acceptability of ar- guments and its fundamental role in nonmonotonic reason- ing, logic programming and n-person games. Artif. Intell., 77:321-357, 1995.","title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","authors":"Phan Minh, Dung","year":"1995","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Dunne et al., 2015] Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, and Stefan Woltran. Characteristics of multiple viewpoints in abstract argumentation. Artif. Intell., 228:153-178, 2015.","title":"Characteristics of multiple viewpoints in abstract argumentation","authors":"Paul E Dunne, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran","year":"2015","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Dvořák and Spanring, 2016] Wolfgang Dvořák and Christof Spanring. Comparing the expressiveness of argumentation semantics. JLogCom, page exw008, 2016.","title":"Comparing the expressiveness of argumentation semantics","authors":"Spanring Dvořák, Wolfgang Dvořák, Christof Spanring","year":"2016","venue":"JLogCom","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Dvořák and Woltran, 2011] Wolfgang Dvořák and Stefan Woltran. On the intertranslatability of argumentation se- mantics. J. Artif. Intell. Res., 41:445-475, 2011.","title":"On the intertranslatability of argumentation semantics","authors":"Woltran Dvořák, Wolfgang Dvořák, Stefan Woltran","year":"2011","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Dvořák and Gaggl, 2012] Wolfgang Dvořák and Sarah Alice Gaggl. Incorporating stage semantics in the scc-recursive schema for argumentation semantics. In NMR, 2012.","title":"Incorporating stage semantics in the scc-recursive schema for argumentation semantics","authors":"Gaggl Dvořák, Wolfgang Dvořák, Sarah Alice Gaggl","year":"2012","venue":"NMR","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Gabbay and Grossi, 2014] Dov M. Gabbay and Davide Grossi. When are two arguments the same? equivalence in abstract argumentation. In Johan van Benthem on Logic and Information Dynamics, pages 677-701. 2014.","title":"When are two arguments the same? equivalence in abstract argumentation","authors":"Dov M Gabbay, Davide Grossi","year":"2014","venue":"Johan van Benthem on Logic and Information Dynamics","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Gaggl and Strass, 2014] Sarah Alice Gaggl and Hannes Strass. Decomposing Abstract Dialectical Frameworks. In COMMA, volume 266, pages 281-292. IOS Press, 2014.","title":"Sarah Alice Gaggl and Hannes Strass. Decomposing Abstract Dialectical Frameworks","authors":"Strass Gaggl","year":"2014","venue":"COMMA","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Gaggl and Woltran, 2013] Sarah Alice Gaggl and Stefan Woltran. The cf2 argumentation semantics revisited. JLog- Com, 23:925-949, 2013.","title":"The cf2 argumentation semantics revisited","authors":"Alice Sarah, Stefan Gaggl, Woltran","year":"2013","venue":"JLog-Com","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Oikarinen and Woltran, 2011] Emilia Oikarinen and Stefan Woltran. Characterizing strong equivalence for argumenta- tion frameworks. Artif. Intell., 175:1985-2009, 2011.","title":"Characterizing strong equivalence for argumentation frameworks","authors":"Woltran Oikarinen, Emilia Oikarinen, Stefan Woltran","year":"2011","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Prakken, 2010] Henry Prakken. An abstract framework for argumentation with structured arguments. Argument and Computation, 1(2):93-124, 2010.","title":"An abstract framework for argumentation with structured arguments","authors":"Henry Prakken, Prakken","year":"2010","venue":"Argument and Computation","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Rahwan and Simari, 2009] Iyad Rahwan and Guillermo R. Simari. Argumentation in Artificial Intelligence. Springer Publishing Company, Incorporated, 1st edition, 2009.","title":"Argumentation in Artificial Intelligence","authors":"Simari Rahwan","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Spanring, 2012] Christof Spanring. Intertranslatability res- ults for abstract argumentation semantics. Master's thesis, uniwien, 2012.","title":"Intertranslatability results for abstract argumentation semantics","authors":"Christof Spanring","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Strass, 2013] Hannes Strass. Approximating operators and semantics for abstract dialectical frameworks. Artif. Intell., 205:39-70, December 2013.","title":"Approximating operators and semantics for abstract dialectical frameworks","authors":"Hannes Strass, Strass","year":"2013","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Strass, 2015] Hannes Strass. Instantiating rule-based defeas- ible theories in abstract dialectical frameworks and beyond. JLogCom, 2015. In press.","title":"Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond","authors":"Hannes Strass, Strass","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Weydert, 2011] Emil Weydert. Semi-stable extensions for infinite frameworks. In BNAIC, pages 336-343, 2011.","title":"Semi-stable extensions for infinite frameworks","authors":"Emil Weydert, Weydert","year":"2011","venue":"BNAIC","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}