TY - RPRT TI - Proceedings 41st International Conference on Logic Programming AU - Martin Gebser AU - Daniela Inclezan AU - Francesco Ricca AU - Manuel Carro AU - Miroslaw Truszczynski PY - 2025 DO - 10.4204/eptcs.439 UR - https://arxiv.org/abs/2601.00047 ID - 2601.00047 ER -