The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs

V. Wiktor Marek, V. S. Subrahmanian. The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. Theoretical Computer Science, 103(2):365-386, 1992.

Abstract

Abstract is missing.