firstbacksecondback
2 Results
Poster
|
Mon 9:00 |
Teaching Temporal Logics to Neural Networks Christopher Hahn · Frederik Schmitt · Jens Kreber · Markus Rabe · Bernd Finkbeiner |
|
Poster
|
Tue 17:00 |
RNNLogic: Learning Logic Rules for Reasoning on Knowledge Graphs Meng Qu · Junkun Chen · Louis-Pascal A Xhonneux · Yoshua Bengio · Jian Tang |