A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.

Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge

Browse the full LPNMR paper archive.