Logic and artificial intelligence

by Richmond H. Thomason
Venue:The Stanford Encyclopedia of Philosophy. Fall 2003. http://plato.stanford.edu/archives/fall2003/entries/logic-ai