Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Vi...
Inductive relation prediction by subgraph reasoning, ICML'20
Logic Circuits from the Juice library