×

zbMATH — the first resource for mathematics

d’Avila Garcez, Artur S.

Compute Distance To:
Author ID: davila-garcez.artur-s Recent zbMATH articles by "d'Avila Garcez, Artur S."
Published as: D’Avila Garcez, Artur S.; Garcez, Artur S.d’Avila; d’Avila Garcez, A. S.; d’Avila Garcez, Artur; d’Avila Garcez, Artur S.
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 16 Publications since 2001, including 4 Books

Publications by Year

Citations contained in zbMATH

10 Publications have been cited 52 times in 41 Documents Cited by Year
Logical modes of attack in argumentation networks. Zbl 1185.68671
Gabbay, Dov M.; Garcez, Artur S.d’Avila
15
2009
Symbolic knowledge extraction from trained neural networks: A sound approach. Zbl 0969.68124
d’Avila Garcez, A. S.; Broda, K.; Gabbay, D. M.
13
2001
Neural-symbolic learning systems. Foundations and applications. Zbl 1055.68090
d’Avila Garcez, Artur S.; Broda, Krysia B.; Gabbay, Dov M.
8
2002
Neural-symbolic cognitive reasoning. Zbl 1188.68241
d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.
4
2009
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. Zbl 1202.03006
Artemov, Sergei (ed.); Barringer, Howard (ed.); d’Avila Garcez, Artur (ed.); Lamb, Luis C. (ed.); Woods, John (ed.)
4
2005
Value-based argumentation frameworks as neural-symbolic learning systems. Zbl 1144.68375
D’Avila Garcez, Artur S.; Gabbay, Dov M.; Lamb, Luis C.
4
2005
Connectionist computations of intuitionistic reasoning. Zbl 1097.68119
d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.
1
2006
Neural-symbolic systems and the case for non-classical reasoning. Zbl 1219.68137
d’Avila Garcez, Artur S.; Lamb, Luis C.
1
2005
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 2. Zbl 1202.03007
Artemov, Sergei (ed.); Barringer, Howard (ed.); d’Avila Garcez, Artur (ed.); Lamb, Luis C. (ed.); Woods, John (ed.)
1
2005
Fewer epistemological challenges for connectionism. Zbl 1113.68461
d’Avila Garcez, Artur S.
1
2005
Logical modes of attack in argumentation networks. Zbl 1185.68671
Gabbay, Dov M.; Garcez, Artur S.d’Avila
15
2009
Neural-symbolic cognitive reasoning. Zbl 1188.68241
d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.
4
2009
Connectionist computations of intuitionistic reasoning. Zbl 1097.68119
d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.
1
2006
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. Zbl 1202.03006
Artemov, Sergei (ed.); Barringer, Howard (ed.); d’Avila Garcez, Artur (ed.); Lamb, Luis C. (ed.); Woods, John (ed.)
4
2005
Value-based argumentation frameworks as neural-symbolic learning systems. Zbl 1144.68375
D’Avila Garcez, Artur S.; Gabbay, Dov M.; Lamb, Luis C.
4
2005
Neural-symbolic systems and the case for non-classical reasoning. Zbl 1219.68137
d’Avila Garcez, Artur S.; Lamb, Luis C.
1
2005
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 2. Zbl 1202.03007
Artemov, Sergei (ed.); Barringer, Howard (ed.); d’Avila Garcez, Artur (ed.); Lamb, Luis C. (ed.); Woods, John (ed.)
1
2005
Fewer epistemological challenges for connectionism. Zbl 1113.68461
d’Avila Garcez, Artur S.
1
2005
Neural-symbolic learning systems. Foundations and applications. Zbl 1055.68090
d’Avila Garcez, Artur S.; Broda, Krysia B.; Gabbay, Dov M.
8
2002
Symbolic knowledge extraction from trained neural networks: A sound approach. Zbl 0969.68124
d’Avila Garcez, A. S.; Broda, K.; Gabbay, D. M.
13
2001

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.