Follow
Artur d'Avila Garcez
Artur d'Avila Garcez
Professor of Computer Science. City, University of London
Verified email at city.ac.uk - Homepage
Title
Cited by
Cited by
Year
Neural-symbolic learning systems: foundations and applications
ASA Garcez, K Broda, DM Gabbay
Springer Science & Business Media, 2002
3312002
Symbolic knowledge extraction from trained neural networks: A sound approach
AS d'Avila Garcez, K Broda, DM Gabbay
Artificial Intelligence 125 (1-2), 155-207, 2001
2472001
Neural-symbolic cognitive reasoning
AS D'Avila Garcez, LC Lamb, DM Gabbay
Neural-Symbolic Cognitive Reasoning:, Cognitive Technologies, Volume. ISBN …, 2009
209*2009
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
L Serafini, AA Garcez
arXiv preprint arXiv:1606.04422, 2016
2072016
The Connectionist Inductive Learning and Logic Programming System
AG AS, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
192*1999
Neural-symbolic learning and reasoning: A survey and interpretation
AA Garcez, S Bader, H Bowman, LC Lamb, L de Penning, BV Illuminoo, ...
Neuro-Symbolic Artificial Intelligence: The State of the Art 342, 1, 2022
1802022
Neural-symbolic computing: An effective methodology for principled integration of machine learning and reasoning
AA Garcez, M Gori, LC Lamb, L Serafini, M Spranger, SN Tran
arXiv preprint arXiv:1905.06088, 2019
1712019
Logic tensor networks for semantic image interpretation
I Donadello, L Serafini, ADA Garcez
arXiv preprint arXiv:1705.08968, 2017
1672017
Neural-symbolic learning and reasoning: contributions and challenges
AA Garcez, TR Besold, L De Raedt, P Földiak, P Hitzler, T Icard, ...
2015 AAAI Spring Symposium Series, 2015
1522015
Fast relational learning using bottom clause propositionalization with artificial neural networks
MVM França, G Zaverucha, AS d’Avila Garcez
Machine learning 94 (1), 81-104, 2014
1242014
Deep logic networks: Inserting and extracting knowledge from deep belief networks
SN Tran, ASA Garcez
IEEE transactions on neural networks and learning systems 29 (2), 246-258, 2016
1052016
Graph neural networks meet neural-symbolic computing: A survey and perspective
LC Lamb, A Garcez, M Gori, M Prates, P Avelar, M Vardi
arXiv preprint arXiv:2003.00330, 2020
882020
Speaker recognition with hybrid features from a deep belief network
H Ali, SN Tran, E Benetos, AS d’Avila Garcez
Neural Computing and Applications 29 (6), 13-19, 2018
822018
Neurosymbolic AI: the 3rd wave
AA Garcez, LC Lamb
arXiv preprint arXiv:2012.05876, 2020
772020
Learning and reasoning with logic tensor networks
L Serafini, AS d’Avila Garcez
Conference of the Italian Association for Artificial Intelligence, 334-348, 2016
732016
Measurable counterfactual local explanations for any classifier
A White, AA Garcez
arXiv preprint arXiv:1908.03020, 2019
672019
A hybrid recurrent neural network for music transcription
S Sigtia, E Benetos, N Boulanger-Lewandowski, T Weyde, ASA Garcez, ...
2015 IEEE international conference on acoustics, speech and signal …, 2015
552015
A neural-symbolic cognitive agent for online learning and reasoning
HLHL de Penning, ASA Garcez, LC Lamb, JJC Meyer
Proc. of the International Joint Conference on Artificial Intelligence (IJCAI), 2011
522011
Connectionist modal logic: Representing modalities in neural networks
AS d’Avila Garcez, LC Lamb, DM Gabbay
Theoretical Computer Science 371 (1), 34-53, 2007
512007
Predicting online gambling self-exclusion: an analysis of the performance of supervised machine learning models
C Percy, M França, S Dragičević, A d’Avila Garcez
International Gambling Studies 16 (2), 193-210, 2016
492016
The system can't perform the operation now. Try again later.
Articles 1–20