Programs with Common Sense was
probably the first paper on logical AI, i.e. AI in which logic is
the method of representing information in computer memory and not just
the subject matter of the program. The paper was given in the Teddington
Conference on the Mechanization of Thought Processes in December 1958 and
printed in the proceedings of that conference.
There are also .dvi, .pdf and .ps versions of the paper.