We introduce 3-valued stable models which are a natural generalization of standard (2-valued) stable models . We show that every logic program P has at least one 3-valued stable model and that the well-founded model of any program P [Van Gelder et al