{"id":"https://openalex.org/W2039968466","doi":"https://doi.org/10.1093/logcom/exp032","title":"Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation","display_name":"Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation","publication_year":2009,"publication_date":"2009-06-26","ids":{"openalex":"https://openalex.org/W2039968466","doi":"https://doi.org/10.1093/logcom/exp032","mag":"2039968466"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exp032","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp032","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-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/A5043213231","display_name":"Phan Minh Thang","orcid":null},"institutions":[{"id":"https://openalex.org/I38538140","display_name":"Asian Institute of Technology","ror":"https://ror.org/0403qcr87","country_code":"TH","type":"education","lineage":["https://openalex.org/I38538140"]}],"countries":["TH"],"is_corresponding":true,"raw_author_name":"P. M. Thang","raw_affiliation_strings":["Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand","Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand.E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand","institution_ids":["https://openalex.org/I38538140"]},{"raw_affiliation_string":"Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand.E-mail:","institution_ids":["https://openalex.org/I38538140"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111817377","display_name":"Phan Minh D\u0169ng","orcid":null},"institutions":[{"id":"https://openalex.org/I38538140","display_name":"Asian Institute of Technology","ror":"https://ror.org/0403qcr87","country_code":"TH","type":"education","lineage":["https://openalex.org/I38538140"]}],"countries":["TH"],"is_corresponding":true,"raw_author_name":"P. M. Dung","raw_affiliation_strings":["Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand","Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand.E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand","institution_ids":["https://openalex.org/I38538140"]},{"raw_affiliation_string":"Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand.E-mail:","institution_ids":["https://openalex.org/I38538140"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049608401","display_name":"Nguyen Duy Hung","orcid":"https://orcid.org/0000-0003-3659-0025"},"institutions":[{"id":"https://openalex.org/I38538140","display_name":"Asian Institute of Technology","ror":"https://ror.org/0403qcr87","country_code":"TH","type":"education","lineage":["https://openalex.org/I38538140"]}],"countries":["TH"],"is_corresponding":true,"raw_author_name":"N. D. Hung","raw_affiliation_strings":["Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand","Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand.E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand","institution_ids":["https://openalex.org/I38538140"]},{"raw_affiliation_string":"Department of Computer Science, Asian Institute of Technology, GPO Box 4, Klong Luang, Pathumthani 12120, Thailand.E-mail:","institution_ids":["https://openalex.org/I38538140"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5043213231","https://openalex.org/A5049608401","https://openalex.org/A5111817377"],"corresponding_institution_ids":["https://openalex.org/I38538140"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":4.6974,"has_fulltext":false,"cited_by_count":45,"citation_normalized_percentile":{"value":0.94607112,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"19","issue":"6","first_page":"1071","last_page":"1109"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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.9991000294685364,"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.9970999956130981,"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.5489504933357239},{"id":"https://openalex.org/keywords/ho-chi-minh","display_name":"Ho chi minh","score":0.543884813785553},{"id":"https://openalex.org/keywords/dialectic","display_name":"Dialectic","score":0.5188511610031128},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3679431676864624},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34978213906288147},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.3238024115562439},{"id":"https://openalex.org/keywords/theology","display_name":"Theology","score":0.2594648599624634},{"id":"https://openalex.org/keywords/geography","display_name":"Geography","score":0.2501099109649658},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.11674019694328308},{"id":"https://openalex.org/keywords/cartography","display_name":"Cartography","score":0.08875495195388794}],"concepts":[{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.5489504933357239},{"id":"https://openalex.org/C3018695995","wikidata":"https://www.wikidata.org/wiki/Q36014","display_name":"Ho chi minh","level":3,"score":0.543884813785553},{"id":"https://openalex.org/C13184196","wikidata":"https://www.wikidata.org/wiki/Q9453","display_name":"Dialectic","level":2,"score":0.5188511610031128},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3679431676864624},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34978213906288147},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.3238024115562439},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.2594648599624634},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.2501099109649658},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.11674019694328308},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.08875495195388794},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exp032","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exp032","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7900000214576721,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W9657311","https://openalex.org/W14006711","https://openalex.org/W24296266","https://openalex.org/W105821165","https://openalex.org/W127798928","https://openalex.org/W139344616","https://openalex.org/W176609766","https://openalex.org/W195239097","https://openalex.org/W208077691","https://openalex.org/W826680751","https://openalex.org/W1495117512","https://openalex.org/W1495535508","https://openalex.org/W1501071365","https://openalex.org/W1507818620","https://openalex.org/W1521433304","https://openalex.org/W1540929292","https://openalex.org/W1552250714","https://openalex.org/W1575997249","https://openalex.org/W1588413856","https://openalex.org/W1626176828","https://openalex.org/W1965296062","https://openalex.org/W1966873207","https://openalex.org/W1969721969","https://openalex.org/W1972753218","https://openalex.org/W1982993548","https://openalex.org/W1987005090","https://openalex.org/W2024318497","https://openalex.org/W2039020269","https://openalex.org/W2039985169","https://openalex.org/W2061482125","https://openalex.org/W2069176561","https://openalex.org/W2084827335","https://openalex.org/W2095587681","https://openalex.org/W2104126268","https://openalex.org/W2110408105","https://openalex.org/W2112029595","https://openalex.org/W2116246756","https://openalex.org/W2118090719","https://openalex.org/W2120554020","https://openalex.org/W2130003285","https://openalex.org/W2133568918","https://openalex.org/W2142953387","https://openalex.org/W2145340246","https://openalex.org/W2145790759","https://openalex.org/W2145918162","https://openalex.org/W2149567024","https://openalex.org/W2153371282","https://openalex.org/W2154849078","https://openalex.org/W2156092566","https://openalex.org/W2159569510","https://openalex.org/W2169609299","https://openalex.org/W2171853123","https://openalex.org/W4256682192","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4317605987","https://openalex.org/W2253470717","https://openalex.org/W4387267619","https://openalex.org/W2992695472","https://openalex.org/W3101122801","https://openalex.org/W3177135092","https://openalex.org/W2045853802","https://openalex.org/W2141332034","https://openalex.org/W1964566697","https://openalex.org/W4366827512"],"abstract_inverted_index":{"We":[0,88],"present":[1],"a":[2,37,73,85,120],"common":[3],"framework":[4,22],"for":[5,9,42,52,63,84,96,103],"dialectical":[6,38],"proof":[7,94],"procedures":[8,95],"computing":[10,43,53],"credulous,":[11],"grounded,":[12],"ideal":[13],"and":[14,31,49,56,76,100],"sceptical":[15],"preferred":[16,70],"semantics":[17,45,55],"of":[18,28,92,106,115],"abstract":[19],"argumentation.":[20],"The":[21],"is":[23,36,61],"based":[24],"on":[25],"the":[26,82,90,93,113],"notions":[27],"dispute":[29,86],"derivation":[30,35,60],"base":[32],"derivation.":[33,87],"Dispute":[34],"notion":[39],"first":[40],"introduced":[41,62],"credulous":[44,54],"in":[46,81],"assumption-based":[47],"argumentation,":[48],"adapted":[50],"here":[51],"grounded":[57],"semantics.":[58],"Base":[59],"two":[64],"purposes:":[65],"(i)":[66],"to":[67,78],"characterize":[68],"all":[69],"extensions":[71],"containing":[72,112],"given":[74],"argument,":[75],"(ii)":[77],"represent":[79],"backtracking":[80],"search":[83],"prove":[89],"soundness":[91],"any":[97],"argumentation":[98,110,117],"frameworks":[99,111,118],"their":[101],"completeness":[102],"general":[104],"classes":[105],"finitary":[107],"or":[108],"finite-branching":[109],"class":[114],"finite":[116],"as":[119],"subclass.We":[121],"also":[122],"discuss":[123],"related":[124],"results.":[125]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}