Minimum model semantics for logic programs with negation-as-failure

Panos Rondogiannis, William W. Wadge. Minimum model semantics for logic programs with negation-as-failure. ACM Trans. Comput. Log., 6(2):441-467, 2005. [doi]

Abstract

Abstract is missing.