Theoretical Computer Science · 2002 · 229 citations · 32 references
ComputingComputer ScienceFormal MethodsLogicProgramming LanguagesAbstract InterpretationFirst-order LogicLogic ProgrammingPredicate LogicType SystemsFixed-point LogicFixed-point LogicsFixed-point Semantics
32
The stable model semantics for logic programming
Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations
Logic, Methodology and Philosophy of Science.
Max Black, Ernest Nagel, Patrick Suppes et al. · The Philosophical Review · 1963 · 2K citations
The well-founded semantics for general logic programs
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf · Journal of the ACM · 1991 · 1.7K citations
Saul A. Kripke · The Journal of Philosophy · 1975 · 1.6K citations