{"id":"https://openalex.org/W4205489629","doi":"https://doi.org/10.1109/tkde.2021.3139333","title":"Contrastive Graph Representations for Logical Formulas Embedding","display_name":"Contrastive Graph Representations for Logical Formulas Embedding","publication_year":2021,"publication_date":"2021-12-31","ids":{"openalex":"https://openalex.org/W4205489629","doi":"https://doi.org/10.1109/tkde.2021.3139333"},"language":"en","primary_location":{"id":"doi:10.1109/tkde.2021.3139333","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tkde.2021.3139333","pdf_url":null,"source":{"id":"https://openalex.org/S30698027","display_name":"IEEE Transactions on Knowledge and Data Engineering","issn_l":"1041-4347","issn":["1041-4347","1558-2191","2326-3865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Knowledge and Data Engineering","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/A5086407377","display_name":"Qika Lin","orcid":"https://orcid.org/0000-0001-5650-0600"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qika Lin","raw_affiliation_strings":["School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China"],"raw_orcid":"https://orcid.org/0000-0001-5650-0600","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100361891","display_name":"Jun Liu","orcid":"https://orcid.org/0000-0002-6004-0675"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jun Liu","raw_affiliation_strings":["Shaanxi Province Key Laboratory of Satellite and Terrestrial Network Tech. R&amp;D, National Engineering Lab for Big Data Analytics, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China"],"raw_orcid":"https://orcid.org/0000-0002-6004-0675","affiliations":[{"raw_affiliation_string":"Shaanxi Province Key Laboratory of Satellite and Terrestrial Network Tech. R&amp;D, National Engineering Lab for Big Data Analytics, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100384144","display_name":"Lingling Zhang","orcid":"https://orcid.org/0000-0001-8136-8795"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lingling Zhang","raw_affiliation_strings":["Shaanxi Province Key Laboratory of Satellite and Terrestrial Network Tech. R&amp;D, National Engineering Lab for Big Data Analytics, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China"],"raw_orcid":"https://orcid.org/0000-0001-8136-8795","affiliations":[{"raw_affiliation_string":"Shaanxi Province Key Laboratory of Satellite and Terrestrial Network Tech. R&amp;D, National Engineering Lab for Big Data Analytics, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001383866","display_name":"Yudai Pan","orcid":"https://orcid.org/0000-0003-1942-3401"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yudai Pan","raw_affiliation_strings":["School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China"],"raw_orcid":"https://orcid.org/0000-0003-1942-3401","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068650842","display_name":"Xin Hu","orcid":"https://orcid.org/0000-0001-7574-3931"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin Hu","raw_affiliation_strings":["School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China"],"raw_orcid":"https://orcid.org/0000-0001-7574-3931","affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111315441","display_name":"Fangzhi Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fangzhi Xu","raw_affiliation_strings":["School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China","institution_ids":["https://openalex.org/I87445476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101416221","display_name":"Hongwei Zeng","orcid":"https://orcid.org/0000-0003-2151-6391"},"institutions":[{"id":"https://openalex.org/I87445476","display_name":"Xi'an Jiaotong University","ror":"https://ror.org/017zhmm22","country_code":"CN","type":"education","lineage":["https://openalex.org/I87445476"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongwei Zeng","raw_affiliation_strings":["School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, Xi&#x0027;an Jiaotong University, Xi&#x0027;an, Shaanxi, China","institution_ids":["https://openalex.org/I87445476"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I87445476"],"apc_list":null,"apc_paid":null,"fwci":1.6905,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.8712501,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"35","issue":"4","first_page":"3563","last_page":"3574"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9993000030517578,"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/T10028","display_name":"Topic Modeling","score":0.9993000030517578,"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/T11273","display_name":"Advanced Graph Neural Networks","score":0.9993000030517578,"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/T12292","display_name":"Graph Theory and Algorithms","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/parsing","display_name":"Parsing","score":0.7150859832763672},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7078151106834412},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.6433290839195251},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5985459089279175},{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.5953898429870605},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47726577520370483},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4617732763290405},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46166613698005676},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.45661184191703796},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4497582018375397},{"id":"https://openalex.org/keywords/discriminative-model","display_name":"Discriminative model","score":0.42121070623397827},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3042277693748474}],"concepts":[{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.7150859832763672},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7078151106834412},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.6433290839195251},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5985459089279175},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.5953898429870605},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47726577520370483},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4617732763290405},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46166613698005676},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.45661184191703796},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4497582018375397},{"id":"https://openalex.org/C97931131","wikidata":"https://www.wikidata.org/wiki/Q5282087","display_name":"Discriminative model","level":2,"score":0.42121070623397827},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3042277693748474}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tkde.2021.3139333","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tkde.2021.3139333","pdf_url":null,"source":{"id":"https://openalex.org/S30698027","display_name":"IEEE Transactions on Knowledge and Data Engineering","issn_l":"1041-4347","issn":["1041-4347","1558-2191","2326-3865"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Knowledge and Data Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1133573065","display_name":null,"funder_award_id":"62176207","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3250154588","display_name":null,"funder_award_id":"62106190","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4896784468","display_name":null,"funder_award_id":"62137002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6387986177","display_name":null,"funder_award_id":"61721002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6393000781","display_name":null,"funder_award_id":"62050194","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G692575018","display_name":null,"funder_award_id":"2020M683493","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G7339645210","display_name":null,"funder_award_id":"62176209","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7758118313","display_name":"\u591a\u7a7a\u95f4\u878d\u5408\u4e0b\u7684\u5927\u5b66\u751f\u4e2a\u6027\u5316\u5b66\u4e60\u4e0e\u667a\u80fd\u6559\u80b2\u670d\u52a1\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"61937001","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8928869386","display_name":null,"funder_award_id":"xhj032021013-02","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G8937923402","display_name":null,"funder_award_id":"xzy022021048","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W1574512757","https://openalex.org/W1585533089","https://openalex.org/W2105197197","https://openalex.org/W2105505307","https://openalex.org/W2112649152","https://openalex.org/W2118463056","https://openalex.org/W2157306293","https://openalex.org/W2187089797","https://openalex.org/W2194775991","https://openalex.org/W2257979135","https://openalex.org/W2428112462","https://openalex.org/W2737236965","https://openalex.org/W2767656849","https://openalex.org/W2919115771","https://openalex.org/W2946752867","https://openalex.org/W2951559648","https://openalex.org/W2963355447","https://openalex.org/W2963446712","https://openalex.org/W2975239981","https://openalex.org/W2986920492","https://openalex.org/W2988571238","https://openalex.org/W2989834589","https://openalex.org/W2991316449","https://openalex.org/W2997319416","https://openalex.org/W3016346123","https://openalex.org/W3023371261","https://openalex.org/W3035524453","https://openalex.org/W3037471945","https://openalex.org/W3042107226","https://openalex.org/W3102726227","https://openalex.org/W3119483501","https://openalex.org/W3172710079","https://openalex.org/W3173151551","https://openalex.org/W3205027972","https://openalex.org/W4205947740","https://openalex.org/W4288118250","https://openalex.org/W4288351558","https://openalex.org/W4297808394","https://openalex.org/W6631190155","https://openalex.org/W6638667902","https://openalex.org/W6693096787","https://openalex.org/W6717434760","https://openalex.org/W6726873649","https://openalex.org/W6730164271","https://openalex.org/W6739901393","https://openalex.org/W6741682314","https://openalex.org/W6743845106","https://openalex.org/W6745537798","https://openalex.org/W6745696649","https://openalex.org/W6748044310","https://openalex.org/W6749867702","https://openalex.org/W6752051073","https://openalex.org/W6755573351","https://openalex.org/W6766156693","https://openalex.org/W6769311773","https://openalex.org/W6769508247","https://openalex.org/W6774314701","https://openalex.org/W6779992872","https://openalex.org/W6797132756","https://openalex.org/W6797926237","https://openalex.org/W6844194202"],"related_works":["https://openalex.org/W2905433371","https://openalex.org/W4390569940","https://openalex.org/W2888392564","https://openalex.org/W4361193272","https://openalex.org/W4310278675","https://openalex.org/W4388422664","https://openalex.org/W2806259446","https://openalex.org/W2963326959","https://openalex.org/W2077104824","https://openalex.org/W2168778844"],"abstract_inverted_index":{"Currently,":[0],"the":[1,52,62,73,116,120,156,160,173,176],"non-transparent":[2],"computing":[3],"process":[4,137],"of":[5,95,141,151,178,187],"deep":[6],"learning":[7],"has":[8,29],"become":[9],"a":[10,43,92,125],"significant":[11],"reason":[12],"hindering":[13],"its":[14,35,66],"further":[15],"development.":[16],"The":[17],"Neural-Symbolic":[18],"(NS)":[19],"system":[20],"formed":[21],"by":[22,61,172],"integrating":[23],"logic":[24],"rules":[25],"into":[26,42],"neural":[27],"networks":[28],"attracted":[30],"increasing":[31],"attention":[32,134],"owing":[33],"to":[34,71,114,136,195],"direct":[36],"interpretability.":[37],"Embedding":[38],"symbolic":[39],"logical":[40,110,179],"formulas":[41,111,152],"low-dimensional":[44],"continuous":[45],"space":[46],"provides":[47],"an":[48,133],"effective":[49],"way":[50],"for":[51,65,109,119,166],"NS":[53],"system.":[54],"However,":[55],"current":[56],"studies":[57],"are":[58,153,170,192],"all":[59],"constrained":[60],"modeling":[63,117],"ability":[64,118],"syntactic":[67,121],"structure":[68],"and":[69,148,190,213],"fail":[70],"preserve":[72,182],"intrinsic":[74],"semantics":[75],"in":[76],"embeddings,":[77],"which":[78],"causes":[79],"poor":[80],"performance":[81,206],"on":[82,210],"downstream":[83],"reasoning":[84],"tasks.":[85],"To":[86,181],"this":[87,89,144],"end,":[88],"paper":[90],"proposes":[91],"novel":[93],"method":[94],"<bold":[96,100,104],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[97,101,105],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Con</b>":[98],"trastive":[99],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">G</b>":[102],"raph":[103],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">R</b>":[106],"epresentations":[107],"(ConGR)":[108],"embedding.":[112],"First,":[113],"improve":[115],"structure,":[122],"ConGR":[123,203],"introduces":[124],"densely":[126],"connected":[127],"graph":[128],"convolutional":[129],"network":[130],"(GCN)":[131],"with":[132],"mechanism":[135],"syntax":[138,157],"parsing":[139],"graphs":[140],"formulas.":[142],"In":[143],"way,":[145],"discriminative":[146],"local":[147],"global":[149],"embeddings":[150],"obtained":[154],"at":[155],"level.":[158],"Second,":[159],"contrastive":[161],"instances":[162],"(positive":[163],"or":[164],"negative)":[165],"each":[167],"anchor":[168],"formula":[169,197],"generated":[171],"transformation":[174],"under":[175],"guidance":[177],"properties.":[180],"semantic":[183],"information,":[184],"two":[185],"types":[186],"contrast,":[188],"global-local":[189],"global-global,":[191],"carried":[193],"out":[194],"refine":[196],"embeddings.":[198],"Extensive":[199],"experiments":[200],"demonstrate":[201],"that":[202],"obtains":[204],"superior":[205],"against":[207],"state-of-the-art":[208],"baselines":[209],"entailment":[211],"checking":[212],"premise":[214],"selection":[215],"datasets.":[216]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":4}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}