Negation as failure : a comparison of Clark's completed database and Reiter's closed world assumption
収録刊行物
-
- J. Logic Programming
-
J. Logic Programming 1 (1), 51-79, 1984