Transition based encoding scheme for ASP planning