Extended well-founded model semantics for general logic programs

We inv estigate the declarative semantics of logic programs with negation. First, we propose the extended well-founded model semantics. Then we establish three important criteria of declarative semantics for logic programs. Finally we justify our extension through the comparison of different semantics. 1