The Well-Founded Semantics for General Logic Programs (1991)

Cached

Download Links

by Kenneth A. Ross
Venue:Journal of the ACM
Citations:844 - 14 self

Active Bibliography

209 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
84 The expressive powers of logic programming semantics – John S. Schlipf - 1995
34 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
223 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
16 Disjunctive Logic Programming: A Survey And Assessment – Jack Minker, Dietmar Seipel - 2002
4 Rule-Based Languages – Victor Vianu - 1997
11 Common-sense axiomatizations for logic programs – Allen Van Gelder, John S. Schlipf - 1993
Knowledge representations, reasoning and . . . – Chitta Baral - 2001
242 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
8 Well-Founded Completions of Logic Programs – Teodor C. Przymusinski - 1991
54 A Procedural Semantics for Well Founded Negation in Logic Programs – Kenneth Ross - 1989
31 Well-Founded and Stationary Models of Logic Programs – Teodor C. Przymusinski - 1994
28 A logic of non-monotone inductive definitions – Marc Denecker, Eugenia Ternovska - 2007
26 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
27 Formalizing a logic for logic programming – John S. Schlipf - 1992
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
18 Non-Monotonic Formalisms And Logic Programming – Teodor C. Przymusinski - 1989
20 Towards Effective Evaluation of General Logic Programs – Weidong Chen, David S. Warren - 1993
258 Tabled Evaluation with Delaying for General Logic Programs – Weidong Chen, David S. Warren - 1996