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

250 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
143 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
6 SLS-resolution without floundering – W┼éodzimierz Drabent - 1993
35 Three-Valued Non-Monotonic Formalisms And Semantics of Logic Programs – Teodor Przymusinski - 1991
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
139 Well-Founded Semantics Coincides with Three-Valued Stable Semantics – Teodor Przymusinski - 1990
64 On the Declarative and Procedural Semantics of Logic Programs – Teodor C. Przymusinski - 1995
18 Non-Monotonic Formalisms And Logic Programming – Teodor C. Przymusinski - 1989