Interactive logical analysis of planning domains