Computing minimal models, stable models and answer sets

What this record says

We propose and study algorithms to compute minimal models, stable models and answer sets of t-CNF theories, and normal and

CATALOG · The abstract is indexed.