论文信息 - WF³: A Semantics for Negation in Normal Disjunctive Logic Programs - 字舞流文

WF³: A Semantics for Negation in Normal Disjunctive Logic Programs

In this paper we propose an extension to the generalized disjunctive well-founded semantics

Jorge Lobo | Chitta Baral | Jack Minker | J. Minker | Jorge Lobo | Chitta Baral

[1] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.

[2] Jack Minker,et al. A Fixpoint Semantics for Disjunctive Logic Programs , 1990, J. Log. Program..

[3] Kenneth A. Ross,et al. Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[4] Carlo Zaniolo,et al. Stable models and non-determinism in logic programs with negation , 1990, PODS.

[5] Teodor C. Przymusinski. Extended Stable Semantics for Normal and Disjunctive Programs , 1990, ICLP.

[6] Teodor C. Przymusinski. Every logic program has a natural stratification and an iterated least fixed point model , 1989, PODS.

[7] Jorge Lobo,et al. Generalized Well-founded Semantics for Logic Programs (Extended Abstract) , 1990, CADE.

[8] Teodor C. Przymusinski. Stationary Semantics for Disjunctive Logic Programs and Deductive Databases , 1990, NACLP.

[9] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.