Disjunctive LP + Integrity Constraints = Stable Model Semantics

José Alberto Fernández, Jorge Lobo, Jack Minker, V. S. Subrahmanian. Disjunctive LP + Integrity Constraints = Stable Model Semantics. Annals of Mathematics and Artificial Intelligence, 8(3-4):449-474, 1993.

Abstract

Abstract is missing.