Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. - FABER, WOLFGANG; MORAK, MICHAEL; CHRPA, LUKÁŠ (Theory & Practice of Logic Programming, 2021)