{"id":"https://openalex.org/W2783229182","doi":"https://doi.org/10.1109/ictai.2017.00065","title":"A ConArg-Based Library for Abstract Argumentation","display_name":"A ConArg-Based Library for Abstract Argumentation","publication_year":2017,"publication_date":"2017-11-01","ids":{"openalex":"https://openalex.org/W2783229182","doi":"https://doi.org/10.1109/ictai.2017.00065","mag":"2783229182"},"language":"en","primary_location":{"id":"doi:10.1109/ictai.2017.00065","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ictai.2017.00065","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015618878","display_name":"Stefano Bistarelli","orcid":"https://orcid.org/0000-0001-7411-9678"},"institutions":[{"id":"https://openalex.org/I27483092","display_name":"University of Perugia","ror":"https://ror.org/00x27da85","country_code":"IT","type":"education","lineage":["https://openalex.org/I27483092"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Stefano Bistarelli","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Perugia, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Perugia, Italy","institution_ids":["https://openalex.org/I27483092"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025171438","display_name":"Fabio Rossi","orcid":"https://orcid.org/0000-0002-8445-0142"},"institutions":[{"id":"https://openalex.org/I27483092","display_name":"University of Perugia","ror":"https://ror.org/00x27da85","country_code":"IT","type":"education","lineage":["https://openalex.org/I27483092"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fabio Rossi","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Perugia, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Perugia, Italy","institution_ids":["https://openalex.org/I27483092"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058495604","display_name":"Francesco Santini","orcid":"https://orcid.org/0000-0002-3935-4696"},"institutions":[{"id":"https://openalex.org/I27483092","display_name":"University of Perugia","ror":"https://ror.org/00x27da85","country_code":"IT","type":"education","lineage":["https://openalex.org/I27483092"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Santini","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Perugia, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Perugia, Italy","institution_ids":["https://openalex.org/I27483092"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5015618878"],"corresponding_institution_ids":["https://openalex.org/I27483092"],"apc_list":null,"apc_paid":null,"fwci":1.7552,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.88904787,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"374","last_page":"381"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.8774236440658569},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.78282630443573},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.7070557475090027},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.705026388168335},{"id":"https://openalex.org/keywords/skepticism","display_name":"Skepticism","score":0.6752258539199829},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.6374646425247192},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5908614993095398},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5641228556632996},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5128427147865295},{"id":"https://openalex.org/keywords/argumentation-framework","display_name":"Argumentation framework","score":0.4854636788368225},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.44475576281547546},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4161968231201172},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.36651933193206787},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14328351616859436},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10819971561431885}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.8774236440658569},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.78282630443573},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.7070557475090027},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.705026388168335},{"id":"https://openalex.org/C18296254","wikidata":"https://www.wikidata.org/wiki/Q1395219","display_name":"Skepticism","level":2,"score":0.6752258539199829},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6374646425247192},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5908614993095398},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5641228556632996},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5128427147865295},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.4854636788368225},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.44475576281547546},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4161968231201172},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36651933193206787},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14328351616859436},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10819971561431885},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ictai.2017.00065","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ictai.2017.00065","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7599999904632568}],"awards":[],"funders":[{"id":"https://openalex.org/F4320322149","display_name":"Banca d'Italia","ror":"https://ror.org/03v2nbx43"},{"id":"https://openalex.org/F4320322672","display_name":"Fondazione Cassa di Risparmio di Perugia","ror":"https://ror.org/00agy5a68"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W47957325","https://openalex.org/W84394265","https://openalex.org/W158897948","https://openalex.org/W1480865297","https://openalex.org/W1497356603","https://openalex.org/W1587191403","https://openalex.org/W1626176828","https://openalex.org/W1677519333","https://openalex.org/W1970198086","https://openalex.org/W2037950528","https://openalex.org/W2074571730","https://openalex.org/W2081641685","https://openalex.org/W2104126268","https://openalex.org/W2115268056","https://openalex.org/W2126731257","https://openalex.org/W2156525231","https://openalex.org/W2160547131","https://openalex.org/W2215868778","https://openalex.org/W2544602510","https://openalex.org/W2572692447","https://openalex.org/W2592226913","https://openalex.org/W2733791295","https://openalex.org/W2739816779","https://openalex.org/W6603441743","https://openalex.org/W6606377125","https://openalex.org/W6629621395","https://openalex.org/W6636768363","https://openalex.org/W6671016732","https://openalex.org/W6732276346"],"related_works":["https://openalex.org/W124110387","https://openalex.org/W3216091191","https://openalex.org/W2052903087","https://openalex.org/W47899866","https://openalex.org/W1560931420","https://openalex.org/W2065807231","https://openalex.org/W2050214921","https://openalex.org/W52290235","https://openalex.org/W1592101477","https://openalex.org/W1975845914"],"abstract_inverted_index":{"We":[0],"present":[1],"ConArgLib,":[2],"a":[3,36,45],"C++":[4],"library":[5,23,78],"implemented":[6],"to":[7,18,73,79],"help":[8],"programmers":[9,75],"solve":[10],"some":[11],"of":[12,64,85],"the":[13,55,59,77,95,105],"most":[14],"important":[15],"problems":[16,48],"related":[17],"extension-based":[19],"Abstract":[20],"Argumentation.":[21],"The":[22,70],"is":[24,72],"based":[25,93],"on":[26,83,94],"ConArg,":[27],"which":[28],"exploits":[29],"Constraint":[30],"Programming":[31],"and,":[32],"in":[33,52],"particular,":[34],"Gecode,":[35],"toolkit":[37],"for":[38,50,88],"developing":[39],"constraintbased":[40],"systems":[41],"and":[42,57],"applications.":[43],"Given":[44],"semantics,":[46],"such":[47],"consist,":[49],"example,":[51],"enumerating":[53],"all":[54],"extensions,":[56],"checking":[58],"credulous":[60],"or":[61,98],"sceptical":[62],"acceptance":[63],"an":[65],"argument":[66],"passed":[67],"as":[68],"parameter.":[69],"goal":[71],"let":[74],"use":[76],"quickly":[80],"develop":[81],"programs":[82],"top":[84],"it,":[86],"as,":[87],"instance,":[89],"implementing":[90],"decision-making":[91],"procedures":[92],"strongest":[96],"arguments,":[97],"comparing":[99],"two":[100],"frameworks":[101],"by":[102],"looking":[103],"at":[104],"differences":[106],"between":[107],"their":[108],"(e.g.,":[109],"stable)":[110],"semantics.":[111]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}