TY  - RPRT
TI  - Extending Logical Neural Networks using First-Order Theories
AU  - Aidan Evans
AU  - Jorge Blanco
PY  - 2022
UR  - https://arxiv.org/abs/2207.02978
ID  - 2207.02978
ER  -