Partial Models and Three-Valued Models in Logic Programs with Negation