Computing minimal models, stable models and answer sets

Z. Lonc, M. Truszczynski

We propose and study algorithms to compute minimal models, stable models and answer sets of t-CNF theories, and normal and disjunctive t-programs. We are especially interested in a…