Towards ILP-based LTLf passive learning - Ielo, A; Law, M; Fionda, V; Ricca, F; De Giacomo, G; Russo, A (Inductive Logic Programming: 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings, 2023)