C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Contrastive Graph Representations for Logical Formulas Embedding.
Qika Lin
Jun Liu
Lingling Zhang
Yudai Pan
Xin Hu
Fangzhi Xu
Hongwei Zeng
Published in:
IEEE Trans. Knowl. Data Eng. (2023)
Keyphrases
</>
graph representations
logical formulas
graph theory
graph representation
graph structure
predicate logic
knowledge base
partial order
first order logic
graph kernels
graph model
principal component analysis
vector space