{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,6]],"date-time":"2026-01-06T05:18:12Z","timestamp":1767676692838},"reference-count":51,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,2,1]]},"DOI":"10.1093\/logcom\/exx031","type":"journal-article","created":{"date-parts":[[2017,9,23]],"date-time":"2017-09-23T11:09:16Z","timestamp":1506164956000},"page":"85-117","source":"Crossref","is-referenced-by-count":11,"title":["Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive"],"prefix":"10.1093","volume":"28","author":[{"given":"Stefano","family":"Bistarelli","sequence":"first","affiliation":[]},{"given":"Fabio","family":"Rossi","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Santini","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2017,10,10]]},"reference":[{"key":"key\n\t\t\t\t20180201093706_B1","first-page":"197","article-title":"Lazy clause exchange policy for parallel SAT solvers","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL, Vol. 8561 of Lecture Notes in Computer Science","author":"Audemard","year":"2014"},{"key":"key\n\t\t\t\t20180201093706_B2","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1126\/science.286.5439.509","article-title":"Emergence of scaling in random networks","volume":"286","author":"Barabasi","year":"1999","journal-title":"Science"},{"key":"key\n\t\t\t\t20180201093706_B3","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/j.artint.2007.05.001","article-title":"Argumentation in artificial intelligence","volume":"171","author":"Bench-Capon","year":"2007","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180201093706_B4","doi-asserted-by":"crossref","first-page":"25","DOI":"10.3233\/FI-2017-1459","article-title":"From argumentation frameworks to voting systems and back","volume":"150","author":"Benedetti","year":"2017","journal-title":"Fundamenta Informaticae"},{"key":"key\n\t\t\t\t20180201093706_B5","first-page":"59","article-title":"Checking the acceptability of a set of arguments","author":"Besnard","year":"2004","journal-title":"10th International Workshop on Non-Monotonic Reasoning, NMR"},{"key":"key\n\t\t\t\t20180201093706_B6","first-page":"1","article-title":"Solving weighted argumentation frameworks with soft constraints","author":"Bistarelli","year":"2009","journal-title":"Recent Advances in Constraints, 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Vol. 6384 of LNCS"},{"key":"key\n\t\t\t\t20180201093706_B7","first-page":"153","article-title":"Benchmarking hard problems in random abstract AFs: The stable semantics","volume-title":"Computational Models of Argument - Proceedings of COMMA, Vol. 266 of Frontiers in Artificial Intelligence and Applications","author":"Bistarelli","year":"2014"},{"key":"key\n\t\t\t\t20180201093706_B8","first-page":"800","article-title":"Efficient solution for credulous\/sceptical acceptance in lower-order Dung\u2019s semantics","volume-title":"26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014","author":"Bistarelli","year":"2014"},{"key":"key\n\t\t\t\t20180201093706_B9","first-page":"70","article-title":"Enumerating extensions on random abstract-AFs with ArgTools, Aspartix, ConArg2, and Dung-O-Matic","volume-title":"Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Vol. 8624 of Lecture Notes in Computer Science","author":"Bistarelli","year":"2014"},{"key":"key\n\t\t\t\t20180201093706_B10","first-page":"969","article-title":"A first comparison of abstract argumentation reasoning-tools","volume-title":"ECAI 2014 - 21st European Conference on Artificial Intelligence, Vol. 263 of Frontiers in Artificial Intelligence and Applications","author":"Bistarelli","year":"2014"},{"key":"key\n\t\t\t\t20180201093706_B11","doi-asserted-by":"crossref","first-page":"263","DOI":"10.3233\/FI-2015-1254","article-title":"A comparative test on the enumeration of extensions in abstract argumentation","volume":"140","author":"Bistarelli","year":"2015","journal-title":"Fundamenta Informaticae"},{"key":"key\n\t\t\t\t20180201093706_B12","first-page":"638","article-title":"A collective defence against grouped attacks for weighted abstract argumentation frameworks","volume-title":"Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS","author":"Bistarelli","year":"2016"},{"key":"key\n\t\t\t\t20180201093706_B13","first-page":"127","article-title":"A relaxation of internal conflict and defence in weighted argumentation frameworks","volume-title":"Logics in Artificial Intelligence - 15th European Conference, JELIA, Vol. 10021 of Lecture Notes in Computer Science","author":"Bistarelli","year":"2016"},{"key":"key\n\t\t\t\t20180201093706_B14","doi-asserted-by":"crossref","DOI":"10.1109\/ICTAI.2017.00065","article-title":"A ConArg-based library for abstract argumentation","volume-title":"29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI","author":"Bistarelli","year":"2017"},{"key":"key\n\t\t\t\t20180201093706_B15","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1109\/ICTAI.2011.96","article-title":"Conarg: A constraint-based computational framework for argumentation systems","volume-title":"Proceedings of the 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI \u201911","author":"Bistarelli","year":"2011"},{"key":"key\n\t\t\t\t20180201093706_B16","first-page":"99","article-title":"Modeling and solving AFs with a constraint-based tool: Conarg","volume-title":"Theory and Applications of Formal Argumentation (TAFA), Vol. 7132 of LNCS","author":"Bistarelli","year":"2012"},{"key":"key\n\t\t\t\t20180201093706_B17","doi-asserted-by":"crossref","first-page":"383","DOI":"10.3233\/FI-2013-840","article-title":"Coalitions of arguments: An approach with constraint programming","volume":"124","author":"Bistarelli","year":"2013","journal-title":"Fundamenta Informaticae"},{"key":"key\n\t\t\t\t20180201093706_B18","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-319-61660-5_6","article-title":"A Hasse diagram for weighted sceptical semantics with a unique-status grounded semantics","volume-title":"Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR, Vol. 10377 of Lecture Notes in Computer Science","author":"Bistarelli","year":"2017"},{"key":"key\n\t\t\t\t20180201093706_B19","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/11853886_11","article-title":"On the issue of reinstatement in argumentation","author":"Caminada","year":"2006","journal-title":"Logics in Artificial Intelligence, 10th European Conference, JELIA"},{"key":"key\n\t\t\t\t20180201093706_B20","first-page":"176","article-title":"Computing preferred extensions in abstract argumentation: A sat-based approach","volume-title":"Theory and Applications of Formal Argumentation - Second International Workshop, TAFA, Revised Selected papers, Vol. 8306 of Lecture Notes in Computer Science","author":"Cerutti","year":"2013"},{"key":"key\n\t\t\t\t20180201093706_B21","first-page":"455","article-title":"ArgSemSAT: Solving argumentation problems using SAT","volume-title":"Computational Models of Argument - Proceedings of COMMA 2014, Vol. 266 of Frontiers in Artificial Intelligence and Applications","author":"Cerutti","year":"2014"},{"key":"key\n\t\t\t\t20180201093706_B22","first-page":"199","article-title":"On the effectiveness of automated configuration in abstract argumentation reasoning","volume-title":"Computational Models of Argument - Proceedings of COMMA, Vol. 287 of Frontiers in Artificial Intelligence and Applications","author":"Cerutti","year":"2016"},{"key":"key\n\t\t\t\t20180201093706_B23","first-page":"207","article-title":"Where are we now? state of the art and future trends of solvers for hard argumentation problems","volume-title":"Computational Models of Argument - Proceedings of COMMA, Vol. 287 of Frontiers in Artificial Intelligence and Applications","author":"Cerutti","year":"2016"},{"key":"key\n\t\t\t\t20180201093706_B24","first-page":"507","article-title":"dynpartix 2.0 - dynamic programming argumentation reasoning tool","volume-title":"Computational Models of Argument - Proceedings of COMMA 2012, Vol. 245 of Frontiers in Artificial Intelligence and Applications","author":"Charwat","year":"2012"},{"key":"key\n\t\t\t\t20180201093706_B25","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.artint.2014.11.008","article-title":"Methods for solving reasoning problems in abstract argumentation: a survey","volume":"220","author":"Charwat","year":"2015","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180201093706_B26","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","article-title":"On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games","volume":"77","author":"Dung","year":"1995","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180201093706_B27","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1016\/j.artint.2007.03.006","article-title":"Computational properties of argument systems satisfying graph-theoretic constraints","volume":"171","author":"Dunne","year":"2007","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180201093706_B28","volume-title":"Computational Aspects of Abstract Argumentation","author":"Dvor\u00e1k","year":"2012"},{"key":"key\n\t\t\t\t20180201093706_B29","first-page":"114","article-title":"Making use of advances in answer-set programming for abstract argumentation systems","volume-title":"Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP, Revise Selected Papers, Vol. 7773 of Lecture Notes in Computer Science","author":"Dvor\u00e1k","year":"2013"},{"key":"key\n\t\t\t\t20180201093706_B30","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/978-3-642-41524-1_14","article-title":"dynpartix-a dynamic programming reasoner for abstract argumentation","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"Dvo\u0159\u00e1k","year":"2013"},{"key":"key\n\t\t\t\t20180201093706_B31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2012.03.005","article-title":"Towards fixed-parameter tractable algorithms for abstract argumentation","volume":"186","author":"Dvor\u0302\u00e1k","year":"2012","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180201093706_B32","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.artint.2013.10.001","article-title":"Complexity-sensitive decision procedures for abstract argumentation","volume":"206","author":"Dvo\u0159\u00e1k","year":"2014","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180201093706_B33","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1080\/19462166.2010.486479","article-title":"Answer-set programming encodings for argumentation frameworks","volume":"1","author":"Egly","year":"2010","journal-title":"Argument & Computation"},{"key":"key\n\t\t\t\t20180201093706_B34","first-page":"343","article-title":"On the evolution of random graphs","volume":"38","author":"Erd\u0151s","year":"1961","journal-title":"Bulletin of the International Statistical Institute"},{"key":"key\n\t\t\t\t20180201093706_B35","first-page":"966","article-title":"Solving set optimization problems by cardinality optimization with an application to argumentation","volume-title":"ECAI 2016 - 22nd European Conference on Artificial Intelligence, Vol. 285 of Frontiers in Artificial Intelligence and Applications","author":"Faber","year":"2016"},{"key":"key\n\t\t\t\t20180201093706_B36","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/s11787-015-0119-7","article-title":"Equilibrium states in numerical argumentation networks","volume":"9","author":"Gabbay","year":"2015","journal-title":"Logica Universalis"},{"key":"key\n\t\t\t\t20180201093706_B37","first-page":"284","article-title":"A micro study on the evolution of arguments in amazon.com\u2019s reviews","volume-title":"PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings, Vol. 9387 of Lecture Notes in Computer Science","author":"Gabbriellini","year":"2015"},{"key":"key\n\t\t\t\t20180201093706_B38","first-page":"56","article-title":"From reviews to arguments and from arguments back to reviewers\u2019 behaviour","volume-title":"Agents and Artificial Intelligence - 8th International Conference, ICAART, Revised Selected Papers, Vol. 10162 of Lecture Notes in Computer Science","author":"Gabbriellini","year":"2016"},{"key":"key\n\t\t\t\t20180201093706_B39","first-page":"366","article-title":"Large scale agreements via microdebates","volume-title":"AT, Vol. 918 of CEUR Workshop Proceedings","author":"Gabbriellini","year":"2012"},{"key":"key\n\t\t\t\t20180201093706_B40","first-page":"434","article-title":"Improved answer-set programming encodings for abstract argumentation","volume":"15","author":"Gaggl","year":"2015","journal-title":"TPLP"},{"key":"key\n\t\t\t\t20180201093706_B41","first-page":"821","article-title":"Complex optimization in answer set programming","volume":"11","author":"Gebser","year":"2011","journal-title":"TPLP"},{"key":"key\n\t\t\t\t20180201093706_B42","doi-asserted-by":"crossref","first-page":"1790","DOI":"10.1016\/j.artint.2011.03.006","article-title":"Dynamics of argumentation systems: a division-based method","volume":"175","author":"Liao","year":"2011","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180201093706_B43","first-page":"179","article-title":"Analyzing Kleinberg\u2019s (and other) small-world models","volume-title":"Proceedings of the ACM symposium on Principles of distributed computing, PODC \u201904,","author":"Martel","year":"2004"},{"key":"key\n\t\t\t\t20180201093706_B44","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1007\/978-3-642-04238-6_54","article-title":"Gorgias-c: Extending argumentation with constraint solving","volume-title":"Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR, LNCS","author":"No\u00ebl","year":"2009"},{"key":"key\n\t\t\t\t20180201093706_B45","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1613\/jair.4308","article-title":"Algorithms for argumentation semantics: Labeling attacks as a generalization of labeling arguments","volume":"49","author":"Nofal","year":"2014","journal-title":"Journal of Artificial Intelligence Research"},{"key":"key\n\t\t\t\t20180201093706_B46","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.artint.2013.11.001","article-title":"Algorithms for decision problems in argument systems under preferred semantics","volume":"207","author":"Nofal","year":"2014","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20180201093706_B47","first-page":"1307","article-title":"An implementation of basic argumentation components","volume-title":"10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011)","author":"Podlaszewski","year":"2011"},{"key":"key\n\t\t\t\t20180201093706_B48","volume-title":"Argumentation in Artificial Intelligence","author":"Rahwan","year":"2009","edition":"1st edn."},{"key":"key\n\t\t\t\t20180201093706_B49","article-title":"System descriptions of the first international competition on computational models of argumentation (ICCMA\u201915)","author":"Thimm","year":"2015","journal-title":"CoRR"},{"key":"key\n\t\t\t\t20180201093706_B50","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1609\/aimag.v37i1.2640","article-title":"Summary report of the first international competition on computational models of argumentation","volume":"37","author":"Thimm","year":"2016","journal-title":"AI Magazine"},{"key":"key\n\t\t\t\t20180201093706_B51","first-page":"293","article-title":"A principled approach to the implementation of argumentation models","volume-title":"Computational Models of Argument - Proceedings of COMMA 2014, Vol. 266 of Frontiers in Artificial Intelligence and Applications","author":"van Gijzel","year":"2014"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/1\/85\/23747723\/exx031.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,18]],"date-time":"2020-10-18T04:50:01Z","timestamp":1602996601000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/1\/85\/4430457"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,10]]},"references-count":51,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,10,10]]},"published-print":{"date-parts":[[2018,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exx031","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2018,2]]},"published":{"date-parts":[[2017,10,10]]}}}