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

by Melvin Fitting
Citations:105 - 0 self

Active Bibliography

54 The Family of Stable Models – Melvin Fitting - 1993
13 Well-Founded Semantics, Generalized – Melvin C. Fitting - 1991
242 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
845 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
5 An epistemic foundation of stable model semantics – Yann Loyer, Umberto Straccia - 2003
An Intuitionistic Interpretation of Finite and Infinite Failure – L. Thorne Mccarty, Ron Van Der Meyden - 1993
13 Ultimate approximation and its application in nonmonotonic knowledge representation systems – Marc Denecker , Victor W. Marek , Mirosław Truszczyński - 2004
769 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher