Artificial Intelligence, Logic and Formalizing Common Sense (John McCarthy)

See also: Concepts Of Logical AI by John McCarthy - https://www-formal.stanford.edu/jmc/concepts-ai/concepts-ai....