Effect of knowledge representation on model based planning: experiments using logic programming encodings