Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs