On the relations between stable and well-founded semantics of logic programs

References

Page 1

	Year	Citations
The stable model semantics for logic programming Michael Gelfond, Vladimir Lifschitz	1988	3.4K
A kripke-kleene semantics for logic programs* Melvin Fitting The Journal of Logic Programming Applied LogicEngineeringAutomated ReasoningFormal MethodsLogic Programs	1985	536
Unfounded sets and well-founded semantics for general logic programs Allen Van Gelder, Kenneth A. Ross, John S. Schlipf	1988	386
Computing circumscription Vladimir Lifschitz International Joint Conference on Artificial Intelligence Non-classical LogicSyntaxEngineeringAutomated ReasoningCommonsense Reasoning	1985	371
Well-Founded Semantics Coincides with Three-Valued Stable Semantics1 Teodor C. Przymusiński Fundamenta Informaticae EngineeringWell-founded SemanticsHigher-order LogicSemanticsFormal Verification	1990	261
Signed data dependencies in logic programs Kenneth Kunen The Journal of Logic Programming Applied LogicFormal SpecificationEngineeringProgram AnalysisAutomated Reasoning	1989	181
Perfect Model Semantics. Teodor C. Przymusiński International Conference on Lightning Protection Formal SemanticsEngineeringAutomated ReasoningPerfect Model SemanticsFormal Methods	1988	91
Stable Semantics for Logic Programs and Default Theories. Victor W. Marek, Mirosław Truszczyński Minerva Endocrinologica EngineeringAutomated ReasoningDefault LogicFormal MethodsWell-founded Semantics	1989	73
A Fixpoint Approach to Declarative Semantics of Logic Programs. Phan Minh Dũng, Kanchana Kanchanasut Declarative ProgrammingEngineeringAutomated ReasoningFormal MethodsWell-founded Semantics	1989	54
Three-valued formalizations of non-monotonic reasoning and logic programming Teodor C. Przymusiński Principles of Knowledge Representation and Reasoning EngineeringAutomated ReasoningNonmonotonic LogicMany-valued LogicFormal Methods	1989	36

Page 1