{"id":"https://openalex.org/W2781871790","doi":"https://doi.org/10.3233/aac-170031","title":"Abstract solvers for Dung\u2019s argumentation frameworks","display_name":"Abstract solvers for Dung\u2019s argumentation frameworks","publication_year":2018,"publication_date":"2018-01-03","ids":{"openalex":"https://openalex.org/W2781871790","doi":"https://doi.org/10.3233/aac-170031","mag":"2781871790"},"language":"en","primary_location":{"id":"doi:10.3233/aac-170031","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aac-170031","pdf_url":"https://content.iospress.com:443/download/argument-and-computation/aac031?id=argument-and-computation%2Faac031","source":{"id":"https://openalex.org/S16776775","display_name":"Argument & Computation","issn_l":"1946-2166","issn":["1946-2166","1946-2174"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Argument & Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://content.iospress.com:443/download/argument-and-computation/aac031?id=argument-and-computation%2Faac031","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067468835","display_name":"R\u00e9mi Brochenin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139705","display_name":"Ingegneria dei Sistemi (Italy)","ror":"https://ror.org/03spsm219","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210139705"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Remi Brochenin","raw_affiliation_strings":["Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Universit\u00e0 di Genova, Italy. E-mails:\u00a0,\u00a0","Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Universit\u00e0 di Genova, Italy. E-mails:\u00a0r.brochenin@tue.nl,\u00a0marco@dibris.unige.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Universit\u00e0 di Genova, Italy. E-mails:\u00a0,\u00a0","institution_ids":["https://openalex.org/I4210139705"]},{"raw_affiliation_string":"Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Universit\u00e0 di Genova, Italy. E-mails:\u00a0r.brochenin@tue.nl,\u00a0marco@dibris.unige.it","institution_ids":["https://openalex.org/I4210139705"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079012405","display_name":"Thomas Linsbichler","orcid":"https://orcid.org/0000-0001-9143-4071"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Thomas Linsbichler","raw_affiliation_strings":["Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0,\u00a0,\u00a0","Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0linsbich@dbai.tuwien.ac.at,\u00a0wallner@dbai.tuwien.ac.at,\u00a0woltran@dbai.tuwien.ac.at"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0,\u00a0,\u00a0","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0linsbich@dbai.tuwien.ac.at,\u00a0wallner@dbai.tuwien.ac.at,\u00a0woltran@dbai.tuwien.ac.at","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077756388","display_name":"Marco Maratea","orcid":"https://orcid.org/0000-0002-9034-2527"},"institutions":[{"id":"https://openalex.org/I4210139705","display_name":"Ingegneria dei Sistemi (Italy)","ror":"https://ror.org/03spsm219","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210139705"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Maratea","raw_affiliation_strings":["Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Universit\u00e0 di Genova, Italy. E-mails:\u00a0,\u00a0","Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Universit\u00e0 di Genova, Italy. E-mails:\u00a0r.brochenin@tue.nl,\u00a0marco@dibris.unige.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Universit\u00e0 di Genova, Italy. E-mails:\u00a0,\u00a0","institution_ids":["https://openalex.org/I4210139705"]},{"raw_affiliation_string":"Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Universit\u00e0 di Genova, Italy. E-mails:\u00a0r.brochenin@tue.nl,\u00a0marco@dibris.unige.it","institution_ids":["https://openalex.org/I4210139705"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059688960","display_name":"Johannes Wallner","orcid":"https://orcid.org/0000-0002-3051-1966"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Johannes P. Wallner","raw_affiliation_strings":["Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0,\u00a0,\u00a0","Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0linsbich@dbai.tuwien.ac.at,\u00a0wallner@dbai.tuwien.ac.at,\u00a0woltran@dbai.tuwien.ac.at"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0,\u00a0,\u00a0","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0linsbich@dbai.tuwien.ac.at,\u00a0wallner@dbai.tuwien.ac.at,\u00a0woltran@dbai.tuwien.ac.at","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006053030","display_name":"Stefan Woltran","orcid":"https://orcid.org/0000-0003-1594-8972"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Stefan Woltran","raw_affiliation_strings":["Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0,\u00a0,\u00a0","Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0linsbich@dbai.tuwien.ac.at,\u00a0wallner@dbai.tuwien.ac.at,\u00a0woltran@dbai.tuwien.ac.at"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0,\u00a0,\u00a0","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute of Information Systems, TU Wien, Austria. E-mails:\u00a0linsbich@dbai.tuwien.ac.at,\u00a0wallner@dbai.tuwien.ac.at,\u00a0woltran@dbai.tuwien.ac.at","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5079012405"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":{"value":900,"currency":"USD","value_usd":900},"apc_paid":{"value":900,"currency":"USD","value_usd":900},"fwci":0.3384,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.66676593,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":"1","first_page":"41","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9919999837875366,"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.8639278411865234},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7658191919326782},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6897892355918884},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6870930194854736},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6768724918365479},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5223466157913208},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4818762242794037},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.46160688996315},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4498412609100342},{"id":"https://openalex.org/keywords/argumentation-framework","display_name":"Argumentation framework","score":0.4470071494579315},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4165509343147278},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1748790144920349}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.8639278411865234},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7658191919326782},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6897892355918884},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6870930194854736},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6768724918365479},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5223466157913208},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4818762242794037},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.46160688996315},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4498412609100342},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.4470071494579315},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4165509343147278},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1748790144920349},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/aac-170031","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aac-170031","pdf_url":"https://content.iospress.com:443/download/argument-and-computation/aac031?id=argument-and-computation%2Faac031","source":{"id":"https://openalex.org/S16776775","display_name":"Argument & Computation","issn_l":"1946-2166","issn":["1946-2166","1946-2174"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Argument & Computation","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:4088eca9c1cf4875b0de3d09168d11d9","is_oa":false,"landing_page_url":"https://doaj.org/article/4088eca9c1cf4875b0de3d09168d11d9","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Argument & Computation, Vol 9, Iss 1, Pp 41-72 (2018)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3233/aac-170031","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aac-170031","pdf_url":"https://content.iospress.com:443/download/argument-and-computation/aac031?id=argument-and-computation%2Faac031","source":{"id":"https://openalex.org/S16776775","display_name":"Argument & Computation","issn_l":"1946-2166","issn":["1946-2166","1946-2174"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Argument & Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2561464741","display_name":"Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation","funder_award_id":"I1102","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4424385268","display_name":"Advanced Tools for Graph-Based Formal Argumentation","funder_award_id":"I2854","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G718477789","display_name":"Extending Belief Change to Advance Dynamics in Argumentation","funder_award_id":"P30168","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2781871790.pdf","grobid_xml":"https://content.openalex.org/works/W2781871790.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W14006711","https://openalex.org/W68548145","https://openalex.org/W154900953","https://openalex.org/W158897948","https://openalex.org/W169672073","https://openalex.org/W171356959","https://openalex.org/W562849499","https://openalex.org/W602973331","https://openalex.org/W1494461081","https://openalex.org/W1497356603","https://openalex.org/W1523419405","https://openalex.org/W1540929292","https://openalex.org/W1563442338","https://openalex.org/W1578957392","https://openalex.org/W1582550348","https://openalex.org/W1934765622","https://openalex.org/W1964233932","https://openalex.org/W1970198086","https://openalex.org/W1975303601","https://openalex.org/W1984290203","https://openalex.org/W1992259854","https://openalex.org/W2011844594","https://openalex.org/W2022846948","https://openalex.org/W2039594639","https://openalex.org/W2049791401","https://openalex.org/W2051475155","https://openalex.org/W2057361103","https://openalex.org/W2081641685","https://openalex.org/W2089928029","https://openalex.org/W2091587574","https://openalex.org/W2093924042","https://openalex.org/W2104126268","https://openalex.org/W2112598286","https://openalex.org/W2119361337","https://openalex.org/W2121835362","https://openalex.org/W2141692543","https://openalex.org/W2149567024","https://openalex.org/W2177693862","https://openalex.org/W2180614101","https://openalex.org/W2215868778","https://openalex.org/W2241638667","https://openalex.org/W2254161830","https://openalex.org/W2265416015","https://openalex.org/W2276017294","https://openalex.org/W2328438203","https://openalex.org/W2395906507","https://openalex.org/W2460866764","https://openalex.org/W2572801424","https://openalex.org/W2752231188","https://openalex.org/W3099472419","https://openalex.org/W3102502314","https://openalex.org/W3103684517","https://openalex.org/W4255471579","https://openalex.org/W6631839077","https://openalex.org/W6859778303"],"related_works":["https://openalex.org/W2140698704","https://openalex.org/W1511336005","https://openalex.org/W1903938722","https://openalex.org/W2304178603","https://openalex.org/W1875972884","https://openalex.org/W34858115","https://openalex.org/W1988877409","https://openalex.org/W1575307414","https://openalex.org/W4231236017","https://openalex.org/W2076569795"],"abstract_inverted_index":{"Abstract":[0],"solvers":[1,26],"are":[2],"a":[3,12,34,120],"quite":[4],"recent":[5],"method":[6],"to":[7,19,71,100,146],"uniformly":[8],"describe":[9],"algorithms":[10,83,110],"in":[11,53,88,128,143],"rigorous":[13],"formal":[14,36],"way":[15],"via":[16],"graphs.":[17],"Compared":[18],"traditional":[20],"methods":[21],"like":[22],"pseudo-code":[23],"descriptions,":[24],"abstract":[25,73,91,103,115],"have":[27],"several":[28,81],"advantages.":[29],"In":[30,64],"particular,":[31],"they":[32],"provide":[33,78],"uniform":[35],"representation":[37],"that":[38,137],"allows":[39],"for":[40,84],"precise":[41],"comparisons":[42],"of":[43,80,90,108,113,150],"different":[44],"algorithms.":[45],"Recently,":[46],"this":[47,65,69],"new":[48,102,121],"methodology":[49],"has":[50],"proven":[51],"successful":[52],"declarative":[54],"paradigms":[55],"such":[56],"as":[57],"Propositional":[58],"Satisfiability":[59],"and":[60,130,141,153],"Answer":[61],"Set":[62],"Programming.":[63],"paper,":[66],"we":[67,118],"apply":[68],"machinery":[70],"Dung\u2019s":[72],"argumentation":[74,155],"frameworks.":[75],"We":[76,93,134],"first":[77,152],"descriptions":[79],"advanced":[82],"the":[85,151],"preferred":[86],"semantics":[87],"terms":[89],"solvers.":[92,116],"also":[94],"show":[95,136],"how":[96],"it":[97,132],"is":[98,139],"possible":[99],"obtain":[101],"solutions":[104],"by":[105,111],"\u201ccombining\u201d":[106],"concepts":[107],"existing":[109],"means":[112],"combining":[114],"Then,":[117],"implemented":[119],"solving":[122],"procedure":[123],"based":[124],"on":[125,148],"our":[126],"findings":[127],"cegartix,":[129],"call":[131],"cegartix+.":[133],"finally":[135],"cegartix+":[138],"competitive":[140],"complementary":[142],"its":[144],"performance":[145],"cegartix":[147],"benchmarks":[149],"second":[154],"competition.":[156]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}