We propose a general preference criterion selecting thèintended' models of generalized logic programs which a) is a conservative extension of the stable model semantics for normal logic programs of GL88], b) is very close to the answer set semantics of GL91] for disjunctive logic programs, and c) allows for arbitrary formulas in the body and in the head of a rule, i.e. does not depend on the pr...
