TY  - RPRT
TI  - Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification
AU  - Hongyuan Mei
AU  - Guanghui Qin
AU  - Minjie Xu
AU  - Jason Eisner
PY  - 2020
UR  - https://arxiv.org/abs/2006.16723
ID  - 2006.16723
ER  -