Cover Image
Read Now

1
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Logic and Knowledge Representation -- Artificial Neural Networks -- Neural-Symbolic Learning...”
Cover Image
Read Now

2
by Gabbay, Dov M.
Published 2003
Elsevier North Holland
Table of Contents: “... IV: Applications to knowledge representation and reasoning -- Chapter 13. Temporal epistemic logics...”
Cover Image
Read Now

3
Published 1998
Springer Netherlands
“... for scholars and graduate students familiar with applied logic, knowledge representation and uncertain...”
Cover Image
Read Now

4
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
Springer Netherlands
“... software specification, knowledge representation, computational linguistics and modular automated reasoning...”
Cover Image
Read Now

5
by d'Avila Garcez, Artur S., Broda, Krysia B., Gabbay, Dov M.
Published 2002
Springer London
“... the main topics of neural-symbolic integration - theoretical advances in knowledge representation...”
Cover Image
Read Now

6
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... process logic -- Sometimes “Tomorrow” is “Sometime” -- Applications of transaction logic to knowledge...”
Cover Image
Read Now

7
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... for knowledge representation -- Defining normative systems for qualitative argumentation -- Complex...”