{"id":"https://openalex.org/W4400353847","doi":"https://doi.org/10.3233/aac-230009","title":"<i>\u03c9</i> -Groundedness of argumentation and completeness of grounded dialectical proof procedures","display_name":"<i>\u03c9</i> -Groundedness of argumentation and completeness of grounded dialectical proof procedures","publication_year":2024,"publication_date":"2024-07-03","ids":{"openalex":"https://openalex.org/W4400353847","doi":"https://doi.org/10.3233/aac-230009"},"language":"en","primary_location":{"id":"doi:10.3233/aac-230009","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aac-230009","pdf_url":null,"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":false,"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 &amp; Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.3233/aac-230009","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":false,"raw_author_name":"Phan Minh Dung","raw_affiliation_strings":["Department of ICT, Asian Institute of Technology, Thailand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of ICT, Asian Institute of Technology, Thailand","institution_ids":["https://openalex.org/I38538140"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043213231","display_name":"Phan Minh Thang","orcid":null},"institutions":[{"id":"https://openalex.org/I129488602","display_name":"Burapha University","ror":"https://ror.org/01ff74m36","country_code":"TH","type":"education","lineage":["https://openalex.org/I129488602"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"Phan Minh Thang","raw_affiliation_strings":["International College of Burapha University, Burapha University, Thailand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"International College of Burapha University, Burapha University, Thailand","institution_ids":["https://openalex.org/I129488602"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100041254","display_name":"Jiraporn Pooksook","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165065","display_name":"Naresuan University Hospital","ror":"https://ror.org/05qdq6h40","country_code":"TH","type":"healthcare","lineage":["https://openalex.org/I4210165065"]}],"countries":["TH"],"is_corresponding":false,"raw_author_name":"Jiraporn Pooksook","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Naresuan University, Thailand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Naresuan University, Thailand","institution_ids":["https://openalex.org/I4210165065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":900,"currency":"USD","value_usd":900},"apc_paid":{"value":900,"currency":"USD","value_usd":900},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07847516,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"3","first_page":"324","last_page":"361"},"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.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/T10456","display_name":"Multi-Agent Systems and Negotiation","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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9975000023841858,"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/completeness","display_name":"Completeness (order theory)","score":0.8154109716415405},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.7157778143882751},{"id":"https://openalex.org/keywords/dialectic","display_name":"Dialectic","score":0.6121805906295776},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5253120064735413},{"id":"https://openalex.org/keywords/burden-of-proof","display_name":"Burden of proof","score":0.4837770164012909},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4042471945285797},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3419974446296692},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29781028628349304},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.14534702897071838},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.14128974080085754},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.07165125012397766},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.049048274755477905}],"concepts":[{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.8154109716415405},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.7157778143882751},{"id":"https://openalex.org/C13184196","wikidata":"https://www.wikidata.org/wiki/Q9453","display_name":"Dialectic","level":2,"score":0.6121805906295776},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5253120064735413},{"id":"https://openalex.org/C2777431735","wikidata":"https://www.wikidata.org/wiki/Q1535975","display_name":"Burden of proof","level":2,"score":0.4837770164012909},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4042471945285797},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3419974446296692},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29781028628349304},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.14534702897071838},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.14128974080085754},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.07165125012397766},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.049048274755477905},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/aac-230009","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aac-230009","pdf_url":null,"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":false,"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 &amp; Computation","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.3233/aac-230009","is_oa":true,"landing_page_url":"https://doi.org/10.3233/aac-230009","pdf_url":null,"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":false,"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 &amp; Computation","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.5,"id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G2113015678","display_name":"3IA C\u00f4te d'Azur","funder_award_id":"ANR-19-P3IA-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W14006711","https://openalex.org/W562849499","https://openalex.org/W1521433304","https://openalex.org/W1552250714","https://openalex.org/W1965296062","https://openalex.org/W1969721969","https://openalex.org/W1987486939","https://openalex.org/W2006559750","https://openalex.org/W2018816844","https://openalex.org/W2029784280","https://openalex.org/W2039020269","https://openalex.org/W2039985169","https://openalex.org/W2042629502","https://openalex.org/W2061482125","https://openalex.org/W2071122890","https://openalex.org/W2084827335","https://openalex.org/W2093397547","https://openalex.org/W2104126268","https://openalex.org/W2172181085","https://openalex.org/W2243212299","https://openalex.org/W2911601159","https://openalex.org/W2919290282","https://openalex.org/W4206007682","https://openalex.org/W6662479847","https://openalex.org/W6860816766"],"related_works":["https://openalex.org/W2141332034","https://openalex.org/W4256185029","https://openalex.org/W4388437769","https://openalex.org/W2762454042","https://openalex.org/W2064153856","https://openalex.org/W2337488240","https://openalex.org/W4294306921","https://openalex.org/W4255347836","https://openalex.org/W1964566697","https://openalex.org/W4366827512"],"abstract_inverted_index":{"Dialectical":[0],"proof":[1,56,87],"procedures":[2,38,57,88,132],"in":[3,7],"assumption-based":[4,71,101,121,140],"argumentation":[5,72,102,115,122],"are":[6,59,89,134],"general":[8],"sound":[9,61,91,135],"but":[10],"not":[11],"complete":[12,63,93,137],"with":[13,64,73,94,103],"respect":[14,65,95],"to":[15,23,48,66,96],"both":[16,60,90],"the":[17,28,67,97,108],"credulous":[18,68],"and":[19,53,62,82,92,113,117,126,136],"skeptical":[20],"semantics":[21,69,99],"(due":[22],"non-terminating":[24,51],"loops).":[25],"This":[26],"raises":[27],"question":[29],"of":[30,70,100,110],"whether":[31,81],"we":[32,44,79],"could":[33],"describe":[34],"exactly":[35],"what":[36,84],"such":[37],"compute.":[39],"In":[40,76],"a":[41],"previous":[42],"paper,":[43,78],"introduce":[45,107],"infinite":[46,74,104],"arguments":[47],"represent":[49],"possibly":[50],"computations":[52],"present":[54,130],"dialectical":[55,86,131],"that":[58,119,133],"arguments.":[75,105],"this":[77],"study":[80],"under":[83],"conditions":[85],"grounded":[98],"We":[106,128],"class":[109],"\u03c9":[111,124],"-grounded":[112,125],"finitary-defensible":[114],"frameworks":[116],"show":[118],"finitary":[120,139],"is":[123],"finitary-defensible.":[127],"then":[129],"wrt":[138],"argumentation.":[141]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2024-07-06T00:00:00"}