This book explores why, regarding practical reasoning, humans are sometimes still faster than artificial intelligence systems. It is the first to offer a self-contained presentation of neural network models for many computer science logics.
More Artur S. d’Avila Garcez, Luís C. Lamb & Dov M. Gabbay Books