Encoding Action Reversibility In Planning Using Quantified ASP and Bule.

Wolfgang Faber, Michael Morak

Browse the full JELIA paper archive.