Login / Signup
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