Fixpoint semantics for logic programming -- a survey (2000)

by Melvin Fitting
Citations:106 - 0 self

Documents Related by Co-Citation

850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
966 Negation as failure – K Clark - 1978
615 Towards a theory of declarative knowledge – Krzysztof Apt, Howard Blair, Adrian Walker - 1988
312 Extending and Implementing the Stable Model Semantics – Patrik Simons, Ilkka Niemelä, Timo Soininen - 2002
380 Bilattices and the Semantics of Logic Programming – Melvin Fitting - 1989
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
1858 Foundation of Logic Programming – J W Lloyd - 1987
139 Well-Founded Semantics Coincides with Three-Valued Stable Semantics – Teodor Przymusinski - 1990
23 Approximating operators, stable operators, well-founded fixpoints and applications in non-monotonic reasoning – M Denecker, V Marek, M Truszczyński - 2000
44 The Well-founded Semantics Is the Principle of Inductive Definition – Marc Denecker - 1998
1430 A logic for default reasoning – R Reiter - 1980
320 The DLV System for Knowledge Representation and Reasoning – Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello - 2002
201 ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers – Fangzhen Lin, Yuting Zhao - 2002
142 Consistency of Clark's Completion and Existence of Stable Models – François Fages - 1994
532 A lattice-theoretical fixpoint theorem and its applications – A TARSKI - 1955
44 Ultimate Well-founded and Stable Semantics for Logic Programs With Aggregates (Extended Abstract) – Marc Denecker, Nikolay Pelov, Maurice Bruynooghe - 2001
18 Approximations, Stable Operators, Well-Founded Fixpoints And Applications In Nonmonotonic Reasoning – Marc Denecker, Victor Marek, Miroslaw Truszczynski - 2000
156 Multi-valued logics: A uniform approach to reasoning in artificial intelligence – M Ginsberg - 1988
439 Semantical Considerations on Nonmonotonic Logics – R Moore - 1985