|
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Table of Contents:
“...Logic and Knowledge Representation -- Artificial Neural Networks -- Neural-Symbolic Learning...”Published 2009
Springer Berlin Heidelberg
|
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
“... software specification, knowledge representation, computational linguistics and modular automated reasoning...”Published 2008
Springer Netherlands