1. Negation as Failure;Clark,1978
2. Theorem Proving by Resolution as a Basis for Question-Answering Systems;Green,1969
3. A. R. Haas. The Case for Domain-Specific Frame Axioms. In F. M. Brown, editor, The frame problem in artificial intelligence. Proceedings of the 1987 workshop, pages 343–348, Los Altos, California. Morgan Kaufmann Publishers, Inc., San Mateo, California, 1987.
4. J. McCarthy. Epistemological Problems of Artificial Intelligence. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, pages 1038–1044, Cambridge, MA, 1977.
5. Some Philosophical Problems from the Standpoint of Artificial Intelligence;McCarthy,1969