Stable Model Semantics of Logic Programs

This chapter contains sections titled: 18.1 Basic concepts of logic programming, 18.2 Stable models of logic programs, 18.3 An alternative characterization, 18.4 Logic programs with classical negation, Problems