Partial Models and Three-Valued Models in Logic Programs with Negation.

Domenico Sacc, Carlo Zaniolo

Browse the full LPNMR paper archive.