Login / Signup
Contrastive Graph Representations for Logical Formulas Embedding (Extended Abstract).
Qika Lin
Jun Liu
Lingling Zhang
Yudai Pan
Xin Hu
Fangzhi Xu
Hongwei Zeng
Published in:
ICDE (2024)
Keyphrases
</>
extended abstract
graph representations
logical formulas
graph theory
graph structure
graph representation
partial order
knowledge base
predicate logic
graph kernels
temporal logic
first order logic
natural language
low level
feature vectors
expert systems
feature selection