Programs with Common Sense

McCarthy

ai formal logic declarative reasoning

@inproceedings{mccarthy:thought-1959,
  title={Programs with Common Sense},
  author={McCarthy, J.},
  booktitle={Proceedings of the Teddington Conference on the
             Mechanization of Thought Processes},
  year={1959},
}