Extremal problems in logic programming and stable model computation

Pawel Cholewinski, Miroslaw Truszczynski

We study the following problem: given a class of logic programs C, determine the maximum number of stable models of a program from C. We establish the maximum for the class of all…