Formalizing Common Sense Knowledge in Mathematical Logic
John McCarthy
A recorded lecture given at the Van Leer Jerusalem Institute on 15 June, 2006, with an introduction by Michael Rabin.
John McCarthy
A recorded lecture given at the Van Leer Jerusalem Institute on 15 June, 2006, with an introduction by Michael Rabin.