Artur d'Avila Garcez
Artur d'Avila Garcez
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, KB Broda, DM Gabbay
Springer Science & Business Media, 2012
2882012
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
2232001
Neural-symbolic cognitive reasoning
AS D'Avila Garcez, LC Lamb, DM Gabbay
Neural-Symbolic Cognitive Reasoning:, Cognitive Technologies, Volume. ISBN …, 2009
172*2009
The Connectionist Inductive Learning and Logic Programming System
AG AS, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
1671999
The connectionist inductive learning and logic programming system
AS Avila Garcez, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
1671999
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
L Serafini, AA Garcez
arXiv preprint arXiv:1606.04422, 2016
1242016
Neural-symbolic learning and reasoning: contributions and challenges
A Garcez, TR Besold, L Raedt, P Földiak, P Hitzler, T Icard, ...
1092015
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
962017
Logic tensor networks for semantic image interpretation
I Donadello, L Serafini, ADA Garcez
arXiv preprint arXiv:1705.08968, 2017
952017
Fast relational learning using bottom clause propositionalization with artificial neural networks
MVM França, G Zaverucha, ASA Garcez
Machine learning 94 (1), 81-104, 2014
912014
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
782016
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
612019
Speaker recognition with hybrid features from a deep belief network
H Ali, SN Tran, E Benetos, ASA Garcez
Neural Computing and Applications 29 (6), 13-19, 2018
572018
Learning and reasoning with logic tensor networks
L Serafini, ASA Garcez
Conference of the Italian Association for Artificial Intelligence, 334-348, 2016
482016
Connectionist modal logic: Representing modalities in neural networks
AS d’Avila Garcez, LC Lamb, DM Gabbay
Theoretical Computer Science 371 (1), 34-53, 2007
462007
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
462005
Combining abductive reasoning and inductive learning to evolve requirements specifications
AS d'Avila Garcez, A Russo, B Nuseibeh, J Kramer
Software, IEE Proceedings- 150 (1), 25-38, 2003
452003
Learning and representing temporal knowledge in recurrent networks
RV Borges, AA Garcez, LC Lamb
IEEE Transactions on Neural Networks 22 (12), 2409-2421, 2011
422011
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
412015
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
402011
The system can't perform the operation now. Try again later.
Articles 1–20