Relating Stable Models and AI Planning Domains