Generalized Stable Models, Truth Maintenance and Conflict Resolution