Title: ANMLite Language and Logic for Specifying Planning Problems