TY  - RPRT
TI  - Lifted Inference beyond First-Order Logic
AU  - Sagar Malhotra
AU  - Davide Bizzaro
AU  - Luciano Serafini
PY  - 2025
DO  - 10.1016/j.artint.2025.104310
UR  - https://arxiv.org/abs/2308.11738
ID  - 2308.11738
ER  -