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

by Melvin Fitting
Citations:106 - 0 self

Active Bibliography

54 The Family of Stable Models – Melvin Fitting - 1993
13 Well-Founded Semantics, Generalized – Melvin C. Fitting - 1991
5 An epistemic foundation of stable model semantics – Yann Loyer, Umberto Straccia - 2003
13 Ultimate approximation and its application in nonmonotonic knowledge representation systems – Marc Denecker , Victor W. Marek , Mirosław Truszczyński - 2004
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
4 Learning and Deduction in Neural Networks and Logic – Ekaterina Komendantskaya - 2007
31 Well-Founded and Stationary Models of Logic Programs – Teodor C. Przymusinski - 1994
BEGINNING TO END. AMONG THINGS THAT REMAIN TO BE DONE ARE: HAVING A PROPER NAMING CONVENTION FOR THE PROGRAMS IN THE EXAMPLES, – Chitta Baral - 2001
8 An Encompassing Framework for Paraconsistent Logic Programs – Joao Alcantara, Carlos Viegas Damasio, Luis Moniz Pereira - 2003
3 Negation as Partial Failure – Bamshad Mobasher, Jacek Leszczylowski, Giora Slutzki, Don Pigozzi - 1993
7 Computing and Comparing Semantics of Programs in Four-valued Logics – Yann Loyer , Nicolas Spyratos, Daniel Stamate - 1999
163 Stable Semantics for Disjunctive Programs – Teodor C. Przymusinski - 1991
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
10 Ultimate Approximations in Nonmonotonic Knowledge Representation Systems – Marc Denecker, Victor Marek, Mirosław Truszczyński - 2002
8 Well-Founded Completions of Logic Programs – Teodor C. Przymusinski - 1991
Some contributions to the semantics of normal logic programs – Edelmira Pasarella Sánchez - 2008
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
139 Well-Founded Semantics Coincides with Three-Valued Stable Semantics – Teodor Przymusinski - 1990