{"id":"https://openalex.org/W4415903220","doi":"https://doi.org/10.24963/kr.2025/11","title":"An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation","display_name":"An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation","publication_year":2025,"publication_date":"2025-11-01","ids":{"openalex":"https://openalex.org/W4415903220","doi":"https://doi.org/10.24963/kr.2025/11"},"language":null,"primary_location":{"id":"doi:10.24963/kr.2025/11","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/11","pdf_url":"https://proceedings.kr.org/2025/11/kr2025-0011-ben-naim-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2025/11/kr2025-0011-ben-naim-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014300518","display_name":"Jonathan Ben-Naim","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jonathan Ben-Naim","raw_affiliation_strings":["CNRS","Universit\u00e9 Paul Sabatier"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 Paul Sabatier","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071451496","display_name":"V\u00edctor David","orcid":"https://orcid.org/0000-0002-4216-0876"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]},{"id":"https://openalex.org/I4210126779","display_name":"Observatoire de la C\u00f4te d\u2019Azur","ror":"https://ror.org/039fj2469","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I201841394","https://openalex.org/I4210126779"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Victor David","raw_affiliation_strings":["CNRS","Inria","Universit\u00e9 C\u00f4te d'Azur"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS","institution_ids":[]},{"raw_affiliation_string":"Inria","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Universit\u00e9 C\u00f4te d'Azur","institution_ids":["https://openalex.org/I201841394","https://openalex.org/I4210126779"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019854432","display_name":"Anthony Hunter","orcid":"https://orcid.org/0000-0001-5602-7446"},"institutions":[{"id":"https://openalex.org/I2801187875","display_name":"University College Lahore","ror":"https://ror.org/0572v5y16","country_code":"PK","type":"education","lineage":["https://openalex.org/I2801187875"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Anthony Hunter","raw_affiliation_strings":["UCL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCL","institution_ids":["https://openalex.org/I2801187875"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"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":"110","last_page":"120"},"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.1940000057220459,"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.1940000057220459,"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/T12262","display_name":"Hate Speech and Cyberbullying Detection","score":0.12120000272989273,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.07639999687671661,"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/argument","display_name":"Argument (complex analysis)","score":0.6545000076293945},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.6527000069618225},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6442999839782715},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6309000253677368},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5924000144004822},{"id":"https://openalex.org/keywords/decoding-methods","display_name":"Decoding methods","score":0.5468999743461609},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.5404999852180481}],"concepts":[{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.6545000076293945},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.6527000069618225},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6442999839782715},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6309000253677368},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5924000144004822},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.5468999743461609},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.5404999852180481},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.51910001039505},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4875999987125397},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.4749999940395355},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4203000068664551},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.413100004196167},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.37389999628067017},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3260999917984009},{"id":"https://openalex.org/C17137986","wikidata":"https://www.wikidata.org/wiki/Q215067","display_name":"Orthogonality","level":2,"score":0.304500013589859},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.2996000051498413},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.26759999990463257},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.25540000200271606}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2025/11","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/11","pdf_url":"https://proceedings.kr.org/2025/11/kr2025-0011-ben-naim-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2025/11","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/11","pdf_url":"https://proceedings.kr.org/2025/11/kr2025-0011-ben-naim-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6612625481","display_name":null,"funder_award_id":"France 2030","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8800819381","display_name":null,"funder_award_id":"-15-IDEX-01","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":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4415903220.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"An":[0],"argument":[1,69],"can":[2],"be":[3],"seen":[4],"as":[5,59,138],"a":[6,11,115,124],"pair":[7],"of":[8,30,77,102,107,114,156,169,172],"premises":[9,22,52],"and":[10,39,140],"claim":[12],"they":[13],"support.":[14],"Human":[15],"arguments":[16],"are":[17,80],"often":[18],"approximate,":[19],"with":[20,147],"some":[21],"left":[23],"implicit,":[24],"leading":[25],"to":[26,53,67,119,137,149,164],"an":[27,78,166],"implicit":[28],"inference":[29,56],"the":[31,55,96,112,154,170],"claim,":[32],"i.e.,":[33],"forming":[34],"enthymemes.":[35],"To":[36,94],"better":[37],"understand":[38],"use":[40],"them,":[41],"we":[42,60,98,110,129,141,152],"must":[43],"decode":[44],"these":[45],"approximate":[46],"enthymemes,":[47],"typically":[48],"by":[49,62],"identifying":[50,91],"missing":[51],"make":[54],"explicit,":[57],"and,":[58],"propose,":[61],"also":[63],"removing":[64],"irrelevant":[65],"content":[66],"improve":[68],"quality":[70,157,171],"in":[71],"specific":[72,125,161],"contexts.":[73],"Often,":[74],"multiple":[75],"decodings":[76,121],"enthymeme":[79],"possible.":[81],"However,":[82],"no":[83],"formal":[84],"method":[85],"has":[86],"yet":[87],"been":[88],"proposed":[89],"for":[90,104,133],"higher-quality":[92],"decodings.":[93,108,173],"pave":[95],"way,":[97],"introduce":[99,111,153],"six":[100],"types":[101],"criteria":[103],"evaluating":[105],"aspects":[106],"Then,":[109],"concept":[113],"criterion":[116,134,145,162],"measure,":[117],"designed":[118],"evaluate":[120,143],"based":[122],"on":[123],"criterion.":[126],"In":[127],"parallel,":[128],"define":[130],"desirable":[131],"properties":[132],"measures,":[135],"referred":[136],"axioms,":[139],"systematically":[142],"our":[144],"measures":[146,163],"respect":[148],"them.":[150],"Finally,":[151],"notion":[155],"measure":[158],"that":[159],"combine":[160],"give":[165],"overall":[167],"evaluation":[168]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-11-05T00:00:00"}