Artur S. d’Avila Garcez - Author Profile

Edit Profile

d’Avila Garcez, Artur S.

Author ID:	davila-garcez.artur-s
Published as:	d’Avila Garcez, Artur S.; d’Avila Garcez, Artur; D’Avila Garcez, Artur S.; Garcez, Artur S.d’Avila; d’Avila Garcez, A. S. more...less
External Links:	MGP · Wikidata · Twitter · dblp · GND · IdRef

Documents Indexed:	16 Publications since 2001, including 2 Books
	2 Contributions as Editor
Co-Authors:	14 Co-Authors with 17 Joint Publications
	410 Co-Co-Authors

all top 5

Co-Authors

1	single-authored
9	Gabbay, Dov M.
9	Lamb, Luís C.
3	Woods, John
2	Artemov, Sergei
2	Barringer, Howard
2	Broda, Krysia B.
2	Serafini, Luciano
1	Badreddine, Samy
1	Boella, Guido
1	Perotti, Alan
1	Ray, Oliver
1	Rodrigues, Odinaldo T.
1	Russo, Alessandra M.
1	Spranger, Michael

all top 5

Serials

2	Artificial Intelligence
2	Theoretical Computer Science
2	Tributes
1	Studia Logica
1	Neural Computation
1	Journal of Logic and Computation
1	Topoi
1	Journal of Applied Logic
1	Cognitive Technologies

Fields

16	Computer science (68-XX)
8	Mathematical logic and foundations (03-XX)
2	General and overarching topics; collections (00-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

15 Publications have been cited 104 times in 73 Documents	Cited by ▼	Year ▼
Symbolic knowledge extraction from trained neural networks: A sound approach. Zbl 0969.68124 d’Avila Garcez, A. S.; Broda, K.; Gabbay, D. M.	18	2001
Neural-symbolic learning systems. Foundations and applications. Zbl 1055.68090 d’Avila Garcez, Artur S.; Broda, Krysia B.; Gabbay, Dov M.	17	2002
Logical modes of attack in argumentation networks. Zbl 1185.68671 Gabbay, Dov M.; Garcez, Artur S.d’Avila	17	2009
Learning and reasoning with logic tensor networks. Zbl 1430.68317 Serafini, Luciano; d’Avila Garcez, Artur S.	13	2016
Neural-symbolic cognitive reasoning. Zbl 1188.68241 d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.	12	2009
Logic tensor networks. Zbl 07482899 Badreddine, Samy; d’Avila Garcez, Artur; Serafini, Luciano; Spranger, Michael	8	2022
Value-based argumentation frameworks as neural-symbolic learning systems. Zbl 1144.68375 D’Avila Garcez, Artur S.; Gabbay, Dov M.; Lamb, Luis C.	7	2005
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. Zbl 1202.03006	3	2005
Connectionist computations of intuitionistic reasoning. Zbl 1097.68119 d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.	2	2006
Connectionist modal logic: representing modalities in neural networks. Zbl 1108.68103 d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.	2	2007
Fewer epistemological challenges for connectionism. Zbl 1113.68461 d’Avila Garcez, Artur S.	1	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	1	2005
A connectionist computational model for epistemic and temporal reasoning. Zbl 1106.68091 d’Avila Garcez, Artur S.; Lamb, Luís C.	1	2006
Abductive reasoning in neural-symbolic systems. Zbl 1125.68105 d’Avila Garcez, Artur S.; Gabbay, Dov M.; Ray, Oliver; Woods, John	1	2007
Logic tensor networks. Zbl 07482899 Badreddine, Samy; d’Avila Garcez, Artur; Serafini, Luciano; Spranger, Michael	8	2022
Learning and reasoning with logic tensor networks. Zbl 1430.68317 Serafini, Luciano; d’Avila Garcez, Artur S.	13	2016
Logical modes of attack in argumentation networks. Zbl 1185.68671 Gabbay, Dov M.; Garcez, Artur S.d’Avila	17	2009
Neural-symbolic cognitive reasoning. Zbl 1188.68241 d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.	12	2009
Connectionist modal logic: representing modalities in neural networks. Zbl 1108.68103 d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.	2	2007
Abductive reasoning in neural-symbolic systems. Zbl 1125.68105 d’Avila Garcez, Artur S.; Gabbay, Dov M.; Ray, Oliver; Woods, John	1	2007
Connectionist computations of intuitionistic reasoning. Zbl 1097.68119 d’Avila Garcez, Artur S.; Lamb, Luís C.; Gabbay, Dov M.	2	2006
A connectionist computational model for epistemic and temporal reasoning. Zbl 1106.68091 d’Avila Garcez, Artur S.; Lamb, Luís C.	1	2006
Value-based argumentation frameworks as neural-symbolic learning systems. Zbl 1144.68375 D’Avila Garcez, Artur S.; Gabbay, Dov M.; Lamb, Luis C.	7	2005
We will show them! Essays in honour of Dov Gabbay on his 60th birthday. Volume 1. Zbl 1202.03006	3	2005
Fewer epistemological challenges for connectionism. Zbl 1113.68461 d’Avila Garcez, Artur S.	1	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	1	2005
Neural-symbolic learning systems. Foundations and applications. Zbl 1055.68090 d’Avila Garcez, Artur S.; Broda, Krysia B.; Gabbay, Dov M.	17	2002
Symbolic knowledge extraction from trained neural networks: A sound approach. Zbl 0969.68124 d’Avila Garcez, A. S.; Broda, K.; Gabbay, D. M.	18	2001

all cited Publications top 5 cited Publications

all top 5

Cited by 149 Authors

16	Gabbay, Dov M.
9	d’Avila Garcez, Artur S.
4	Lamb, Luís C.
3	Hitzler, Pascal
3	Inoue, Katsumi
3	Serafini, Luciano
2	Abraham, Michael
2	Atkinson, Katie
2	Caminada, Martin W. A.
2	Cao, Yongzhi
2	Dhami, Devendra Singh
2	Gao, Kun
2	Giordano, Laura
2	Holeňa, Martin
2	Hölldobler, Steffen
2	Huynh, Van-Nam
2	Kersting, Kristian
2	Leemhuis, Mena
2	Makiguchi, Wataru
2	Özçep, Özgür Lütfü
2	Sawamura, Hajime
2	Schild, Uri
2	Theseider Dupré, Daniele
2	Wang, Hanpin
1	Aleksiev, Teodor
1	Alivanistos, Dimitrios
1	Alviano, Mario
1	Arisaka, Ryuta
1	Baaj, Ismaïl
1	Baaz, Matthias
1	Bader, Sebastian
1	Badreddine, Samy
1	Bain, Michael E.
1	Bakhshi, Rena
1	Barringer, Howard
1	Bartoli, Francesco
1	Bench-Capon, Trevor J. M.
1	Bologna, Guido
1	Botta, Marco
1	Bouraoui, Zied
1	Bowman, Howard
1	Broda, Krysia B.
1	Catanach, Tommie A.
1	Chlebowski, Szymon
1	Chortaras, Alexandros
1	Cochez, Michael
1	Cornuéjols, Antoine
1	Crochemore, Maxime
1	Daniele, Alessandro
1	Das, Niladri
1	Daza, Daniel
1	De Raedt, Luc
1	Delgado, Mauricio Molina
1	Denœux, Thierry
1	Destercke, Sébastien
1	Ding, Steven X.
1	Doran, Derek
1	Dubois, Didier
1	Duersch, Jed A.
1	Dumančić, Sebastijan
1	Dunne, Paul E.
1	Eberhart, Aaron
1	Endrullis, Jörg
1	Esposito, Roberto
1	Gagliardi Cozman, Fabio
1	Gajda, Andrzej
1	Ghosh, Sujata
1	Giunchiglia, Eleonora
1	Gomez, Rodolfo
1	Hendriks, Dimitri
1	Hung, Nguyen Duy
1	Iemhoff, Rosalie
1	Isaac, Alistair M. C.
1	Kamimura, Ryotaro
1	Kencana Ramli, Carroline Dewi Puspa
1	Kim, Minyoung
1	Kourousias, George
1	Lesot, Marie-Jeanne
1	Lin, Qihang
1	Liu, Guoliang
1	Lombardi, Michele
1	Lukasiewicz, Thomas
1	Makinson, David Clement
1	Manhaeve, Robin
1	Marques-Silva, João P.
1	Marra, Giuseppe
1	Medina, Jesús
1	Mengin, Jérôme
1	Mérida-Casermeiro, Enrique
1	Milano, Michela
1	Morales, Jorge A.
1	Morita, Masahiko
1	Munhoz, Hugo Neri
1	Nguyen Duy, Hung
1	Nieves, Juan Carlos
1	Nofal, Samer
1	Ochs, Daniel
1	Ojeda-Aciego, Manuel
1	Osorio, Mauricio A.
1	Petrukhin, Yaroslav Igorevich
...and 49 more Authors

all top 5

Cited in 28 Serials

7	Artificial Intelligence
7	Studia Logica
7	International Journal of Approximate Reasoning
5	Journal of Applied Logic
3	Machine Learning
3	The Journal of Artificial Intelligence Research (JAIR)
2	Information Sciences
2	The Journal of Symbolic Logic
2	Theoretical Computer Science
2	Neural Computation
2	Annals of Mathematics and Artificial Intelligence
2	Journal of Machine Learning Research (JMLR)
1	International Journal of General Systems
1	Kybernetika
1	New Generation Computing
1	Information and Computation
1	Formal Aspects of Computing
1	Neural Networks
1	AI Communications
1	Journal of Applied Non-Classical Logics
1	Journal of Functional Programming
1	Topoi
1	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1	Logic and Logical Philosophy
1	Theory and Practice of Logic Programming
1	Logica Universalis
1	The Review of Symbolic Logic
1	Journal of Logical and Algebraic Methods in Programming

all top 5

Cited in 8 Fields

66	Computer science (68-XX)
22	Mathematical logic and foundations (03-XX)
3	Statistics (62-XX)
2	Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1	Operations research, mathematical programming (90-XX)
1	Biology and other natural sciences (92-XX)
1	Systems theory; control (93-XX)
1	Information and communication theory, circuits (94-XX)

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.