Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming