Gelder, A. V. 1993. The Alternating Fixpoint of Logic Programs with Negation. Journal of computer and system sciences 47:185--221. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Extending Classical Logic with Inductive Definitions - Denecker (2000) (1 citation) (Correct)
A Survey of Paraconsistent Semantics for Logic Programs - Damásio, Pereira (1998) (7 citations) (Correct)
A Possible World Semantics for Disjunctive Databases - Chan (1999) (22 citations) (Correct)
Circumscription by Inference Rules with Priority - Xianchang Wang Jia-Huai (1996) (1 citation) (Correct)
Efficient Evaluation of Normal Logic Programs - Swift (1994) (3 citations) (Correct)
Well-Founded Semantics, Generalized - Fitting (1991) (2 citations) (Correct)
Query Evaluation in Deductive Databases with Alternating Fixpoint.. - Chen (1995) (2 citations) (Correct)
Default Logic as a Query Language - Cadoli, Eiter, Gottlob (1997) (10 citations) (Correct)
On the Problem of Computing the Well-Founded Semantics - Lonc, Truszczynski (Correct)
Default Logic as a Query Language - Cadoli, Eiter, Gottlob (1997) (10 citations) (Correct)
Dynamic Backtracking - Ginsberg, Crawford, Etherington (1996) (40 citations) (Correct)
Negation in Logic and Deductive Databases - Wang (1999) (Correct)
Computing the Well-Founded Semantics Faster - Berman, Schlipf, Franco (1995) (10 citations) (Correct)
Fixpoint Semantics for Logic Programming - A Survey - Fitting (1999) (45 citations) (Correct)
Extending Classical Logic with Inductive Definitions - Denecker (2000) (1 citation) (Correct)
Nonmonotonic Reasoning as Prioritized Argumentation - You, Wang, Yuan (2001) (Correct)
On Prudent Bravery and Other Abstractions - Fitting (1994) (Correct)
Logic Programming and Knowledge Representation - Baral, Gelfond (1994) (128 citations) (Correct)
The Family of Stable Models - Fitting (1993) (34 citations) (Correct)
Computation of Stable Models and its Integration with Logical.. - Chen, Warren (1995) (31 citations) (Correct)
Tabled Logic Programs: Principles, Practice and.. - Ramakrishnan.. (1996) (Correct)
Extending Prolog with Nonmonotonic Reasoning - Chen (1995) (7 citations) (Correct)
Total and Partial Well-Founded Datalog Coincide - Flum, Kubierschky, Ludäscher (1997) (2 citations) (Correct)
Total and Partial Well-Founded Datalog Coincide - Flum, Kubierschky, Ludäscher (1997) (2 citations) (Correct)
FLORA: The Secret of Object-Oriented Logic Programming - Ludäscher, Yang, Kifer (1999) (3 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC