论文信息 - Negation as Failure II - 字舞流文

Negation as Failure II

John C. Shepherdson | J. Shepherdson

[1] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.

[2] John C. Shepherdson,et al. Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption , 1984, J. Log. Program..

[3] Michael J. Maher,et al. Closures and Fairness in the Semantics of Programming Logic , 1984, Theor. Comput. Sci..

[4] Joxan Jaffar,et al. Completeness of the Negation as Failure Rule , 1983, IJCAI.

[5] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.

[6] R. Reiter. On Closed World Data Bases , 1987, Logic and Data Bases.

[7] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.