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
3252002
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
2422001
Neural-symbolic cognitive reasoning
AS D'Avila Garcez, LC Lamb, DM Gabbay
Neural-Symbolic Cognitive Reasoning:, Cognitive Technologies, Volume. ISBN …, 2009
203*2009
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
L Serafini, AA Garcez
arXiv preprint arXiv:1606.04422, 2016
1932016
The Connectionist Inductive Learning and Logic Programming System
AG AS, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
1891999
Neural-symbolic learning and reasoning: A survey and interpretation
TR Besold, AA Garcez, S Bader, H Bowman, P Domingos, P Hitzler, ...
arXiv preprint arXiv:1711.03902, 2017
1622017
Logic tensor networks for semantic image interpretation
I Donadello, L Serafini, ADA Garcez
arXiv preprint arXiv:1705.08968, 2017
1542017
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
1472019
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
1472015
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
1142014
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
992016
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
802018
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
742020
Learning and reasoning with logic tensor networks
L Serafini, AS d’Avila Garcez
Conference of the Italian Association for Artificial Intelligence, 334-348, 2016
722016
Measurable counterfactual local explanations for any classifier
A White, AA Garcez
arXiv preprint arXiv:1908.03020, 2019
602019
Neurosymbolic AI: the 3rd wave
AA Garcez, LC Lamb
arXiv preprint arXiv:2012.05876, 2020
532020
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
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
512015
Connectionist modal logic: Representing modalities in neural networks
AS d’Avila Garcez, LC Lamb, DM Gabbay
Theoretical Computer Science 371 (1), 34-53, 2007
502007
Value-based argumentation frameworks as neural-symbolic learning systems
AS D'Avila Garcez, DM Gabbay, LC Lamb
Journal of Logic and Computation 15 (6), 1041-1058, 2005
492005
The system can't perform the operation now. Try again later.
Articles 1–20