{"id":"https://openalex.org/W7213240730","doi":"https://doi.org/10.48550/arxiv.2609.15008","title":"Higher-Order Quadripolar Argumentation Framework and Encoded Semantics","display_name":"Higher-Order Quadripolar Argumentation Framework and Encoded Semantics","publication_year":2026,"publication_date":"2026-09-14","ids":{"openalex":"https://openalex.org/W7213240730","doi":"https://doi.org/10.48550/arxiv.2609.15008"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.15008","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.15008","pdf_url":"https://arxiv.org/pdf/2609.15008","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.15008","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5121639202","display_name":"Shuai Tang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tang, Shuai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5121639202"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.8554999828338623,"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.8554999828338623,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.07360000163316727,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.03909999877214432,"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/bipolar-argumentation","display_name":"bipolar argumentation","score":0.7210000157356262},{"id":"https://openalex.org/keywords/three-valued-semantics","display_name":"three-valued semantics","score":0.824999988079071},{"id":"https://openalex.org/keywords/ukasiewicz-logic","display_name":"\u0141ukasiewicz logic","score":0.9229999780654907},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"fuzzy logic","score":0.7080000042915344},{"id":"https://openalex.org/keywords/continuous-t-norms","display_name":"continuous t-norms","score":0.9359999895095825},{"id":"https://openalex.org/keywords/product-t-norm","display_name":"product t-norm","score":0.9649999737739563},{"id":"https://openalex.org/keywords/model-equivalence","display_name":"model equivalence","score":0.8100000023841858},{"id":"https://openalex.org/keywords/argumentation-semantics","display_name":"argumentation semantics","score":0.39899998903274536}],"concepts":[{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.6420000195503235},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.600600004196167},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5533999800682068},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5148000121116638},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5002999901771545},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.49970000982284546},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4758000075817108},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.4699999988079071},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.37929999828338623},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.3580000102519989},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32839998602867126},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.32409998774528503},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.3203999996185303},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3165000081062317},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.311599999666214},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.30390000343322754},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30059999227523804},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.2874999940395355},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2818000018596649},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.2816999852657318},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.27379998564720154},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.25920000672340393},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.25200000405311584}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.15008","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.15008","pdf_url":"https://arxiv.org/pdf/2609.15008","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},{"id":"doi:10.48550/arxiv.2609.15008","doi":"https://doi.org/10.48550/arxiv.2609.15008","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.15008","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.15008","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.15008","pdf_url":"https://arxiv.org/pdf/2609.15008","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7213240730.pdf","grobid_xml":"https://content.openalex.org/works/W7213240730.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W28385484","https://openalex.org/W72493644","https://openalex.org/W1578957392","https://openalex.org/W1592180362","https://openalex.org/W1606218761","https://openalex.org/W1786983340","https://openalex.org/W1966873207","https://openalex.org/W1983095143","https://openalex.org/W1993078938","https://openalex.org/W2018957484","https://openalex.org/W2032626375","https://openalex.org/W2052767733","https://openalex.org/W2071549077","https://openalex.org/W2104126268","https://openalex.org/W2110182592","https://openalex.org/W2120680227","https://openalex.org/W2121835362","https://openalex.org/W2396490995","https://openalex.org/W2801921729","https://openalex.org/W2803376394","https://openalex.org/W2816362554","https://openalex.org/W2860334901","https://openalex.org/W2894412276","https://openalex.org/W3164525194","https://openalex.org/W3173988368","https://openalex.org/W3206814076","https://openalex.org/W4249816584","https://openalex.org/W4317538915","https://openalex.org/W4406400654"],"related_works":["https://openalex.org/W7117742921","https://openalex.org/W7204763524","https://openalex.org/W4415086584","https://openalex.org/W4414455583","https://openalex.org/W3036270982","https://openalex.org/W4286480353","https://openalex.org/W4286714078","https://openalex.org/W4317538915","https://openalex.org/W3205441183","https://openalex.org/W2904198722"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"the":[3,71,85,110],"Higher-Order":[4],"Quadripolar":[5],"Argumentation":[6],"Framework":[7],"(HQAF),":[8],"which":[9],"extends":[10],"bipolar":[11],"frameworks":[12],"by":[13],"allowing":[14],"attacks":[15],"and":[16,22,37,55,58,74,92,114],"three":[17],"types":[18],"of":[19,109],"supports---necessary,":[20],"deductive,":[21],"evidential---to":[23],"interact":[24],"at":[25],"higher":[26],"order.":[27],"In":[28],"HQAF,":[29],"each":[30],"interaction":[31],"may":[32],"have":[33],"as":[34],"its":[35,93],"source":[36],"target":[38],"an":[39,41],"argument,":[40],"attack,":[42],"or":[43],"a":[44,48,106],"support.":[45],"We":[46],"provide":[47],"3-valued":[49,72,120],"semantics":[50,61,101],"via":[51],"adjacent":[52],"complete":[53,121],"labellings":[54],"equational":[56,100],"systems,":[57],"define":[59],"encoded":[60,112],"directly":[62],"in":[63],"propositional":[64],"logics,":[65],"mainly":[66],"\u0141ukasiewicz":[67],"three-valued":[68],"logic":[69],"for":[70,84,134],"case":[73],"fuzzy":[75,86,99,111,117],"logics":[76],"based":[77],"on":[78],"continuous":[79],"t-norms":[80],"(G\u00f6del,":[81],"Product,":[82],"\u0141ukasiewicz)":[83],"case.":[87],"Model":[88],"equivalence":[89],"between":[90],"HQAF":[91],"normal":[94],"encoding":[95],"is":[96,102,125],"established.":[97],"The":[98,123],"shown":[103],"to":[104,119,127],"be":[105],"specific":[107],"formalism":[108],"semantics,":[113],"ternarization":[115],"connects":[116],"models":[118],"labellings.":[122],"study":[124],"confined":[126],"non-set":[128],"HQAF;":[129],"collective":[130],"interactions":[131],"are":[132],"reserved":[133],"future":[135],"work.":[136]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-16T00:00:00"}