Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification.

Hongyuan Mei Guanghui Qin Minjie Xu Jason Eisner

Published in: ICML (2020)

Keyphrases

expressive power
temporal ordering
neural network
deductive databases
temporal constraints
temporal aspects
spatial and temporal
high level
spatio temporal
logic programming
query answering
temporal databases
network architecture
temporal relations
mathematical modeling