1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LG2023
Reinforcement Logic Rule Learning for Temporal Point Processes
Chao Yang, Lu Wang, Kun Gao +1
We propose a framework that can incrementally expand the explanatory temporal logic rule set to explain the occurrence of temporal events. Leveraging the temporal point process mod…
cs.AI2022★ 1 cited
Learning First-Order Rules with Differentiable Logic Program Semantics
Kun Gao, Katsumi Inoue, Yongzhi Cao +1
Learning first-order logic programs (LPs) from relational facts which yields intuitive insights into the data is a challenging topic in neuro-symbolic research. We introduce a nove…
cs.LO2019
Reasoning about Block-based Cloud Storage Systems
Zhao Jin, Hanpin Wang, Lei Zhang +3
Owing to the massive growth in the storage demands of big data, Cloud Storage Systems (CSSs) have been put forward to improve the storage capacity. Compared with traditional storag…