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

Cached

Download Links

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

Active Bibliography

208 The Alternating Fixpoint of Logic Programs with Negation – Allen Van Gelder - 1995
86 The expressive powers of logic programming semantics – John S. Schlipf - 1995
35 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
224 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
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
245 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
27 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
260 Tabled Evaluation with Delaying for General Logic Programs – Weidong Chen, David S. Warren - 1996