Kowalski, Robert <br/><br/>
Computational logic and human thinking :  how to be artificially intelligent / 
Robert Kowalski 
 - Cambridge :  Cambridge University Press,  2011 
 - xxii, 310 p. :  ill. ;  23 cm. 
<br/><br/>Includes bibliographical references and index 
<br/><br/>Introduction -- 1. Logic on the underground -- 2. The psychology of logic -- 3. The fox and the crow -- 4. Search -- 5. Negation as failure -- 6. How to become a British citizen -- 7. The louse and the Mars explorer -- 8. Maintenance goals as the driving force of life -- 9. The meaning of life -- 10. Abduction -- 11. The prisoner’s dilemma -- 12. Motivations matter -- 13. The changing world -- 14. Logic and objects -- 15. Biconditionals -- 16. Computational logic and the selection task -- 17. Meta-logic -- Conclusions of the book 
<br/><br/><label>ISBN: </label>9780521194822 (hardback) 9780521123365 (paperback) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computational intelligence<br/>Logic, Symbolic and mathematical--Famous problems<br/>Rhetoric--Mathematics<br/>Communication--Philosophy<br/>Critical thinking