Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.

Wolfgang Faber, Michael Morak, Luks Chrpa

Browse the full PADL paper archive.