Stable Semantics for Logic Programs and Default Theories - researchr publication related

researchr

You are not signed in
Sign in
Sign up

V. Wiktor Marek, Miroslaw Truszczynski. Stable Semantics for Logic Programs and Default Theories. In NACLP. pages 243-256, 1989.

The following publications are possibly variants of this publication:

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

Compactness Properties for Stable Semantics of Logic ProgramsVictor W. Marek, Jeffrey B. Remmel. lfcs 2007: 379-400 [doi]

Compactness Properties for Stable Semantics of Logic ProgramsVictor W. Marek, Jeffrey B. Remmel. FUIN, 81(1-3):211-239, 2007. [doi]

runs on WebDSL