EasyChair Smart Slide
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers