{"id":"https://openalex.org/W7152587158","doi":"https://doi.org/10.1145/3774904.3792133","title":"Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model","display_name":"Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model","publication_year":2026,"publication_date":"2026-04-09","ids":{"openalex":"https://openalex.org/W7152587158","doi":"https://doi.org/10.1145/3774904.3792133"},"language":null,"primary_location":{"id":"doi:10.1145/3774904.3792133","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774904.3792133","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Web Conference 2026","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3774904.3792133","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Yisen Gao","orcid":"https://orcid.org/0009-0006-7564-5171"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yisen Gao","raw_affiliation_strings":["Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0009-0006-7564-5171","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026258275","display_name":"Jiaxin Bai","orcid":"https://orcid.org/0000-0002-8985-6467"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Jiaxin Bai","raw_affiliation_strings":["Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-8985-6467","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133271143","display_name":"Yi Huang","orcid":"https://orcid.org/0009-0008-6712-9446"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yi Huang","raw_affiliation_strings":["Computer Science and Engineering, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0008-6712-9446","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044043709","display_name":"Xingcheng Fu","orcid":"https://orcid.org/0000-0002-4643-8126"},"institutions":[{"id":"https://openalex.org/I29739308","display_name":"Guangxi Normal University","ror":"https://ror.org/02frt9q65","country_code":"CN","type":"education","lineage":["https://openalex.org/I29739308"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xingcheng Fu","raw_affiliation_strings":["Key Lab of Education Blockchain and Intelligent Technology, Guangxi Normal University, Guilin, China"],"raw_orcid":"https://orcid.org/0000-0002-4643-8126","affiliations":[{"raw_affiliation_string":"Key Lab of Education Blockchain and Intelligent Technology, Guangxi Normal University, Guilin, China","institution_ids":["https://openalex.org/I29739308"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018132697","display_name":"Qingyun Sun","orcid":"https://orcid.org/0000-0003-1930-3848"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingyun Sun","raw_affiliation_strings":["Computer Science and Engineering, Beihang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0003-1930-3848","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":null,"display_name":"Yangqiu Song","orcid":"https://orcid.org/0000-0002-7818-6090"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yangqiu Song","raw_affiliation_strings":["Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China"],"raw_orcid":"https://orcid.org/0000-0002-7818-6090","affiliations":[{"raw_affiliation_string":"Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3600","last_page":"3611"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11273","display_name":"Advanced Graph Neural Networks","score":0.39590001106262207,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.39590001106262207,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.1039000004529953,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.09549999982118607,"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/abductive-reasoning","display_name":"Abductive reasoning","score":0.571399986743927},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.5364000201225281},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.5209000110626221},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.4129999876022339},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.3637000024318695},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.3587000072002411},{"id":"https://openalex.org/keywords/qualitative-reasoning","display_name":"Qualitative reasoning","score":0.3158999979496002},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.31520000100135803}],"concepts":[{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.571399986743927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5676000118255615},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.5364000201225281},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.5209000110626221},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5063999891281128},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.4129999876022339},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.3637000024318695},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.3587000072002411},{"id":"https://openalex.org/C83725634","wikidata":"https://www.wikidata.org/wiki/Q7268699","display_name":"Qualitative reasoning","level":2,"score":0.3158999979496002},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.31520000100135803},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3034000098705292},{"id":"https://openalex.org/C20162079","wikidata":"https://www.wikidata.org/wiki/Q1151406","display_name":"Case-based reasoning","level":2,"score":0.3027999997138977},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29499998688697815},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.289900004863739},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.27140000462532043},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.26570001244544983},{"id":"https://openalex.org/C86827895","wikidata":"https://www.wikidata.org/wiki/Q7098582","display_name":"Opportunistic reasoning","level":4,"score":0.262800008058548},{"id":"https://openalex.org/C69357855","wikidata":"https://www.wikidata.org/wiki/Q163214","display_name":"Diffusion","level":2,"score":0.257099986076355},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.2547000050544739},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.25119999051094055},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3774904.3792133","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774904.3792133","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Web Conference 2026","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3774904.3792133","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3774904.3792133","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Web Conference 2026","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Gender equality","score":0.6318157315254211,"id":"https://metadata.un.org/sdg/5"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W2054684190","https://openalex.org/W2107306718","https://openalex.org/W2112307828","https://openalex.org/W2163040665","https://openalex.org/W2885711033","https://openalex.org/W2974857378","https://openalex.org/W3091993229","https://openalex.org/W3114810070","https://openalex.org/W3167434385","https://openalex.org/W3167537240","https://openalex.org/W3173749507","https://openalex.org/W4211032081","https://openalex.org/W4224315131","https://openalex.org/W4225093737","https://openalex.org/W4281609631","https://openalex.org/W4283819090","https://openalex.org/W4287887088","https://openalex.org/W4385568208","https://openalex.org/W4387902742","https://openalex.org/W4401863752","https://openalex.org/W4402364428","https://openalex.org/W4402672070","https://openalex.org/W4409364569","https://openalex.org/W4414527039","https://openalex.org/W4415797613","https://openalex.org/W7133206314"],"related_works":[],"abstract_inverted_index":{"Deductive":[0,21,79],"and":[1,55,80,99,126,151,177],"abductive":[2,37,115,178],"reasoning":[3,22,38,159,179],"are":[4],"two":[5,103],"critical":[6],"paradigms":[7],"for":[8,78,111],"analyzing":[9],"knowledge":[10,24,166],"graphs,":[11],"enabling":[12,153],"applications":[13],"from":[14,43],"financial":[15],"query":[16],"answering":[17],"to":[18,107,135,156],"scientific":[19],"discovery.":[20],"on":[23,163,174],"graphs":[25,167],"usually":[26],"involves":[27],"retrieving":[28],"entities":[29],"that":[30,123,147,169],"satisfy":[31],"a":[32,75,87,119,142],"complex":[33],"logical":[34,41,60,138],"query,":[35],"while":[36],"generates":[39,125],"plausible":[40],"hypotheses":[42,54,129],"observations.":[44],"Despite":[45],"their":[46],"clear":[47],"synergistic":[48],"potential,":[49],"where":[50],"deduction":[51,110],"can":[52,57],"validate":[53],"abduction":[56],"uncover":[58],"deeper":[59],"patterns,":[61],"existing":[62],"methods":[63],"address":[64],"them":[65],"in":[66,83],"isolation.":[67],"To":[68],"bridge":[69],"this":[70],"gap,":[71],"we":[72,117,140],"propose":[73,141],"DARK,":[74],"unified":[76,187],"framework":[77],"Abductive":[81],"Reasoning":[82],"Knowledge":[84],"graphs.":[85],"As":[86],"masked":[88],"diffusion":[89],"model":[90,155],"capable":[91],"of":[92,185],"capturing":[93],"the":[94,131,154,182],"bidirectional":[95],"relationship":[96],"between":[97],"queries":[98,150],"conclusions,":[100,152],"DARK":[101,170],"has":[102],"key":[104],"innovations.":[105],"First,":[106],"better":[108],"leverage":[109],"hypothesis":[112],"refinement":[113],"during":[114],"reasoning,":[116],"introduce":[118],"self-reflective":[120],"denoising":[121],"process":[122],"iteratively":[124],"validates":[127],"candidate":[128],"against":[130],"observed":[132],"conclusion.":[133],"Second,":[134],"discover":[136],"richer":[137],"associations,":[139],"logic-exploration":[143],"reinforcement":[144],"learning":[145],"approach":[146],"simultaneously":[148],"masks":[149],"explore":[157],"novel":[158],"compositions.":[160],"Extensive":[161],"experiments":[162],"multiple":[164],"benchmark":[165],"show":[168],"achieves":[171],"competitive":[172],"performance":[173],"both":[175],"deductive":[176],"tasks,":[180],"demonstrating":[181],"significant":[183],"benefits":[184],"our":[186],"approach.":[188]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-04-10T00:00:00"}