Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming

Wolfgang Faber 0001, Michael Morak, Lukás Chrpa. Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. TPLP, 21(5):646-662, 2021. [doi]

Abstract

Abstract is missing.