The Stable Model Semantics For Logic Programming (1988)

Cached

Download Links

by Michael Gelfond , Vladimir Lifschitz
Citations:1498 - 62 self

Active Bibliography

18 Twelve Definitions of a Stable Model – Vladimir Lifschitz
16 On the impact of stratification on the complexity of nonmonotonic reasoning – Ilkka Niemelä, Jussi Rintanen - 1992
5 Non-monotonic Reasoning vs. Logic Programming: A New Perspective – Teodor C. Przymusinski - 1987
65 On the Declarative and Procedural Semantics of Logic Programs – Teodor C. Przymusinski - 1995
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
54 Semantic Issues in Deductive Databases and Logic Programs – Halina Przymusinska, Teodor Przymusinski - 1990
31 Well-Founded and Stationary Models of Logic Programs – Teodor C. Przymusinski - 1994
27 Formalizing a logic for logic programming – John S. Schlipf - 1992
18 Non-Monotonic Formalisms And Logic Programming – Teodor C. Przymusinski - 1989
86 The expressive powers of logic programming semantics – John S. Schlipf - 1995
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
87 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
4 Rule-Based Languages – Victor Vianu - 1997
5 Nonmonotonic Reasoning – V. W. Marek, A. Nerode - 1993
27 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
6 Databases and Finite-Model Theory – Victor Vianu - 1997
10 Efficient Implementation of the Stable Model Semantics for Normal Logic Programs – Patrik Simons - 1995