@article{
	11391_1425840,
	author = {Bistarelli, Stefano and Rossi, Fabio and Santini, Francesco},
	title = {Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive},
	year = {2018},
	journal = {JOURNAL OF LOGIC AND COMPUTATION},
	volume = {28},
	abstract = {We test different solvers dedicated to the solution of classical problems in Argumentation, as enumeration/existence of extensions, and sceptical/credulous acceptance of arguments. We handle a subset of the solvers tested in ICCMA15, and a superset of graphs used in the same competition. The goal is to provide considerations that can help future comparisons and competitions as ICCMA15. We offer a detailed report of this comparison from the point of view of different graphs, solvers, problems and timeouts. We show that the characteristics of graphs impact on the performance of solvers and on their final ranking. In addition, we extract other general considerations, e.g., reducing the computation timeout does not change the same ranking.},
	keywords = {argumentation; benchmark; graph models; reasoning tools; Theoretical Computer Science; Software; Arts and Humanities (miscellaneous); Hardware and Architecture; Logic},
	url = {http://logcom.oxfordjournals.org/},
	doi = {10.1093/logcom/exx031},	
	pages = {85--117}
}

{"_id":"KF3ZiBEvHKM2hdvir","bibbaseid":"bistarelli-rossi-santini-notonlysizebutalsoshapecountsargumentationsolversarebenchmarksensitive-2018","downloads":0,"creationDate":"2018-08-12T16:35:31.313Z","title":"Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive","author_short":["Bistarelli, S.","Rossi, F.","Santini, F."],"year":2018,"bibtype":"article","biburl":"http://www.dmi.unipg.it/~bista/papers/pubblicazioni.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bistarelli"],"firstnames":["Stefano"],"suffixes":[]},{"propositions":[],"lastnames":["Rossi"],"firstnames":["Fabio"],"suffixes":[]},{"propositions":[],"lastnames":["Santini"],"firstnames":["Francesco"],"suffixes":[]}],"title":"Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive","year":"2018","journal":"JOURNAL OF LOGIC AND COMPUTATION","volume":"28","abstract":"We test different solvers dedicated to the solution of classical problems in Argumentation, as enumeration/existence of extensions, and sceptical/credulous acceptance of arguments. We handle a subset of the solvers tested in ICCMA15, and a superset of graphs used in the same competition. The goal is to provide considerations that can help future comparisons and competitions as ICCMA15. We offer a detailed report of this comparison from the point of view of different graphs, solvers, problems and timeouts. We show that the characteristics of graphs impact on the performance of solvers and on their final ranking. In addition, we extract other general considerations, e.g., reducing the computation timeout does not change the same ranking.","keywords":"argumentation; benchmark; graph models; reasoning tools; Theoretical Computer Science; Software; Arts and Humanities (miscellaneous); Hardware and Architecture; Logic","url":"http://logcom.oxfordjournals.org/","doi":"10.1093/logcom/exx031","pages":"85–117","bibtex":"@article{\n\t11391_1425840,\n\tauthor = {Bistarelli, Stefano and Rossi, Fabio and Santini, Francesco},\n\ttitle = {Not only size, but also shape counts: Argumentation solvers are benchmark-sensitive},\n\tyear = {2018},\n\tjournal = {JOURNAL OF LOGIC AND COMPUTATION},\n\tvolume = {28},\n\tabstract = {We test different solvers dedicated to the solution of classical problems in Argumentation, as enumeration/existence of extensions, and sceptical/credulous acceptance of arguments. We handle a subset of the solvers tested in ICCMA15, and a superset of graphs used in the same competition. The goal is to provide considerations that can help future comparisons and competitions as ICCMA15. We offer a detailed report of this comparison from the point of view of different graphs, solvers, problems and timeouts. We show that the characteristics of graphs impact on the performance of solvers and on their final ranking. In addition, we extract other general considerations, e.g., reducing the computation timeout does not change the same ranking.},\n\tkeywords = {argumentation; benchmark; graph models; reasoning tools; Theoretical Computer Science; Software; Arts and Humanities (miscellaneous); Hardware and Architecture; Logic},\n\turl = {http://logcom.oxfordjournals.org/},\n\tdoi = {10.1093/logcom/exx031},\t\n\tpages = {85--117}\n}\n","author_short":["Bistarelli, S.","Rossi, F.","Santini, F."],"key":"11391_1425840","id":"11391_1425840","bibbaseid":"bistarelli-rossi-santini-notonlysizebutalsoshapecountsargumentationsolversarebenchmarksensitive-2018","role":"author","urls":{"Paper":"http://logcom.oxfordjournals.org/"},"keyword":["argumentation; benchmark; graph models; reasoning tools; Theoretical Computer Science; Software; Arts and Humanities (miscellaneous); Hardware and Architecture; Logic"],"metadata":{"authorlinks":{"bistarelli, s":"https://bista.sites.dmi.unipg.it/papers/"}},"downloads":0,"html":""},"search_terms":["size","shape","counts","argumentation","solvers","benchmark","sensitive","bistarelli","rossi","santini"],"keywords":["argumentation; benchmark; graph models; reasoning tools; theoretical computer science; software; arts and humanities (miscellaneous); hardware and architecture; logic"],"authorIDs":["Q5h43gs9oNpAm4KeK"],"dataSources":["GhB5rb8JzW6az3exo","JSmiFWpJ3BCsGztsi","yGqLYKsFAdrsaxQTE"]}