Answer-Set-Programming-based Abstractions for Reinforcement Learning. - Rafael Bankosegger; Thomas Eiter; Johannes Oetsch (CoRR, 2026)