{"id":"https://openalex.org/W2992097852","doi":"https://doi.org/10.1017/s1471068419000474","title":"Solving Advanced Argumentation Problems with Answer Set Programming","display_name":"Solving Advanced Argumentation Problems with Answer Set Programming","publication_year":2020,"publication_date":"2020-01-15","ids":{"openalex":"https://openalex.org/W2992097852","doi":"https://doi.org/10.1017/s1471068419000474","mag":"2992097852"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068419000474","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068419000474","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/898A89692DB64A9E8B574D0C40C39D71/S1471068419000474a.pdf/div-class-title-solving-advanced-argumentation-problems-with-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/898A89692DB64A9E8B574D0C40C39D71/S1471068419000474a.pdf/div-class-title-solving-advanced-argumentation-problems-with-answer-set-programming-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"GERHARD BREWKA","orcid":null},"institutions":[{"id":"https://openalex.org/I926574661","display_name":"Leipzig University","ror":"https://ror.org/03s7gtk40","country_code":"DE","type":"education","lineage":["https://openalex.org/I926574661"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"GERHARD BREWKA","raw_affiliation_strings":["Universit\u00e4t Leipzig, Leipzig, Germany"],"affiliations":[{"raw_affiliation_string":"Universit\u00e4t Leipzig, Leipzig, Germany","institution_ids":["https://openalex.org/I926574661"]}]},{"author_position":"middle","author":{"id":null,"display_name":"MARTIN DILLER","orcid":"https://orcid.org/0000-0001-6342-0756"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"MARTIN DILLER","raw_affiliation_strings":["TU Dresden, Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dresden, Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":null,"display_name":"GEORG HEISSENBERGER","orcid":null},"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":"GEORG HEISSENBERGER","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":null,"display_name":"THOMAS LINSBICHLER","orcid":null},"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":"THOMAS LINSBICHLER","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":null,"display_name":"STEFAN WOLTRAN","orcid":null},"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":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I926574661"],"apc_list":null,"apc_paid":null,"fwci":0.4078,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.68024431,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"20","issue":"3","first_page":"391","last_page":"431"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9366999864578247,"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.9366999864578247,"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.04170000180602074,"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.006200000178068876,"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/answer-set-programming","display_name":"Answer set programming","score":0.917900025844574},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.7621999979019165},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7433000206947327},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.604200005531311},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5569000244140625},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5030999779701233},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.46630001068115234},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.453000009059906}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.917900025844574},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.808899998664856},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.7621999979019165},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7433000206947327},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.604200005531311},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5569000244140625},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5419999957084656},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5030999779701233},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.46630001068115234},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45969998836517334},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.453000009059906},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.39730000495910645},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.38609999418258667},{"id":"https://openalex.org/C13184196","wikidata":"https://www.wikidata.org/wiki/Q9453","display_name":"Dialectic","level":2,"score":0.3790000081062317},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.33309999108314514},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2971000075340271},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29510000348091125},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.2946000099182129},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2939000129699707},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C2779607372","wikidata":"https://www.wikidata.org/wiki/Q4789757","display_name":"Argumentation framework","level":3,"score":0.2542000114917755}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068419000474","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068419000474","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/898A89692DB64A9E8B574D0C40C39D71/S1471068419000474a.pdf/div-class-title-solving-advanced-argumentation-problems-with-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1912.02734","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.02734","pdf_url":"https://arxiv.org/pdf/1912.02734","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1017/s1471068419000474","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068419000474","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/898A89692DB64A9E8B574D0C40C39D71/S1471068419000474a.pdf/div-class-title-solving-advanced-argumentation-problems-with-answer-set-programming-div.pdf","source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1975729292","display_name":null,"funder_award_id":"W1255-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G3032849772","display_name":null,"funder_award_id":"TRR 248","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4424385268","display_name":null,"funder_award_id":"I2854","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G6991017272","display_name":null,"funder_award_id":"S11409-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8680849391","display_name":null,"funder_award_id":"W1255","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8800574590","display_name":null,"funder_award_id":"BR 1817/7-2","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G890954746","display_name":null,"funder_award_id":"389792660","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G8951755804","display_name":null,"funder_award_id":"P32830","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2992097852.pdf","grobid_xml":"https://content.openalex.org/works/W2992097852.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W1503237869","https://openalex.org/W1850409752","https://openalex.org/W1970198086","https://openalex.org/W1976055110","https://openalex.org/W1979514837","https://openalex.org/W2034735942","https://openalex.org/W2076698873","https://openalex.org/W2087432892","https://openalex.org/W2091138122","https://openalex.org/W2104126268","https://openalex.org/W2143260818","https://openalex.org/W2157334516","https://openalex.org/W2212515300","https://openalex.org/W2235193183","https://openalex.org/W2292918018","https://openalex.org/W2295882966","https://openalex.org/W2345307469","https://openalex.org/W2395893896","https://openalex.org/W2397927460","https://openalex.org/W2398357696","https://openalex.org/W2399037533","https://openalex.org/W2604528505","https://openalex.org/W2808710636","https://openalex.org/W2893323964","https://openalex.org/W2893735065","https://openalex.org/W2904264195","https://openalex.org/W3089210397","https://openalex.org/W6628970345","https://openalex.org/W6666640890","https://openalex.org/W6687735955","https://openalex.org/W6697447116","https://openalex.org/W6701188168","https://openalex.org/W6713315648","https://openalex.org/W6721425529","https://openalex.org/W6723825122","https://openalex.org/W6732773835","https://openalex.org/W6740297914","https://openalex.org/W6741482353","https://openalex.org/W6748918664","https://openalex.org/W6751635274","https://openalex.org/W6752991255","https://openalex.org/W6754963181","https://openalex.org/W6762269835","https://openalex.org/W6908860774"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Powerful":[1],"formalisms":[2],"for":[3,17,108,131,133],"abstract":[4,11],"argumentation":[5,34],"have":[6],"been":[7],"proposed,":[8],"among":[9],"them":[10],"dialectical":[12],"frameworks":[13],"(ADFs)":[14],"that":[15],"allow":[16],"a":[18],"succinct":[19],"and":[20,28,47,53,92,99,119,122,137],"flexible":[21],"specification":[22],"of":[23,45,60,67,82,114],"the":[24,29,57,61,109,134],"relationship":[25],"between":[26],"arguments":[27],"GRAPPA":[30,48,100,132],"framework":[31],"which":[32],"allows":[33],"scenarios":[35],"to":[36,56,80,101,128],"be":[37,129],"represented":[38],"as":[39],"arbitrary":[40],"edge-labeled":[41],"graphs.":[42],"The":[43,64],"complexity":[44,66,75],"ADFs":[46,98],"is":[49],"located":[50],"beyond":[51],"NP":[52],"ranges":[54],"up":[55],"third":[58],"level":[59],"polynomial":[62],"hierarchy.":[63],"combined":[65],"Answer":[68],"Set":[69],"Programming":[70],"(ASP)":[71],"exactly":[72],"matches":[73],"this":[74,86,90],"when":[76],"programs":[77],"are":[78],"restricted":[79],"predicates":[81],"bounded":[83],"arity.":[84],"In":[85],"paper,":[87],"we":[88,105],"exploit":[89],"coincidence":[91],"present":[93],"novel":[94],"efficient":[95],"translations":[96],"from":[97],"ASP.":[102],"More":[103],"specifically,":[104],"provide":[106],"reductions":[107,126],"five":[110],"main":[111],"ADF":[112],"semantics":[113],"admissible,":[115,135],"complete,":[116,136],"preferred,":[117],"grounded,":[118],"stable":[120],"interpretations,":[121],"exemplify":[123],"how":[124],"these":[125],"need":[127],"adapted":[130],"preferred":[138],"semantics.":[139]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2019-12-13T00:00:00"}