TY - RPRT TI - Proceedings 40th International Conference on Logic Programming AU - Pedro Cabalar AU - Francesco Fabiano AU - Martin Gebser AU - Gopal Gupta AU - Theresa Swift PY - 2025 DO - 10.4204/eptcs.416 UR - https://arxiv.org/abs/2502.08453 ID - 2502.08453 ER -