The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Life plus Secrets of Enigma

Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence Quantum Computing

the DIGITAL PROPHET: Alan Turing and creation of artificial intelligence

Deceitful Media: Artificial Intelligence and Social Life after the Turing Test

The Philosophy Of Artificial Intelligence (Oxford Readings In Philosophy)