1
by d'Avila Garcez, Artur S., Broda, Krysia B., Gabbay, Dov M.
Published 2002
Springer London
Table of Contents: ... Neural Networks -- 2.4 Logic Programming -- 2.5 Nonmonotonic Reasoning -- 2.6 Belief Revision -- I...