On Constructive Negation in Logic Programming (1995)

Cached

Download Links

by Teodor Przymusinski
Venue:In North American Conference on Logic Programming
Citations:24 - 3 self

Active Bibliography

6 SLS-resolution without floundering – Włodzimierz Drabent - 1993
137 Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model (Extended Abstract) – Teodor C. Przymusinski - 1989
54 Semantic Issues in Deductive Databases and Logic Programs – Halina Przymusinska, Teodor Przymusinski - 1990
34 Three-Valued Non-Monotonic Formalisms And Semantics of Logic Programs – Teodor Przymusinski - 1991
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
18 Non-Monotonic Formalisms And Logic Programming – Teodor C. Przymusinski - 1989
65 On the Declarative and Procedural Semantics of Logic Programs – Teodor C. Przymusinski - 1995
139 Well-Founded Semantics Coincides with Three-Valued Stable Semantics – Teodor Przymusinski - 1990
31 Well-Founded and Stationary Models of Logic Programs – Teodor C. Przymusinski - 1994
163 Stable Semantics for Disjunctive Programs – Teodor C. Przymusinski - 1991
53 What is Failure? An Approach to Constructive Negation – Włodzimierz Drabent - 1994
16 Weakly Stratified Logic Programs – Halina Przymusinska, Teodor Przymusinski - 1990
54 A Procedural Semantics for Well Founded Negation in Logic Programs – Kenneth Ross - 1989
260 Tabled Evaluation with Delaying for General Logic Programs – Weidong Chen, David S. Warren - 1996
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
14 The Defining Power of Stratified and Hierarchical Logic Programs – Gerhard Jäger, Robert F. Stärk
12 Semantics for Disjunctive Logic Programs with Explicit and Default Negation – Jack Minker, Carolina Ruiz - 1994
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
20 Towards Effective Evaluation of General Logic Programs – Weidong Chen, David S. Warren - 1993