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
2812012
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
2212001
Neural-symbolic cognitive reasoning
AS D'Avila Garcez, LC Lamb, DM Gabbay
Neural-Symbolic Cognitive Reasoning:, Cognitive Technologies, Volume. ISBN …, 2009
166*2009
The Connectionist Inductive Learning and Logic Programming System
AG AS, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
1611999
The connectionist inductive learning and logic programming system
AS Avila Garcez, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
1611999
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
L Serafini, AA Garcez
arXiv preprint arXiv:1606.04422, 2016
1152016
Neural-symbolic learning and reasoning: contributions and challenges
A Garcez, TR Besold, L Raedt, P Földiak, P Hitzler, T Icard, ...
1002015
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
872017
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
852014
Logic tensor networks for semantic image interpretation
I Donadello, L Serafini, ADA Garcez
arXiv preprint arXiv:1705.08968, 2017
842017
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
722016
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
552018
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
472019
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
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 reasoning with logic tensor networks
L Serafini, ASA Garcez
Conference of the Italian Association for Artificial Intelligence, 334-348, 2016
442016
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
432005
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
402015
RNN-based music language models for improving automatic music transcription
S Sigtia, E Benetos, S Cherla, T Weyde, A Garcez, S Dixon
382014
The system can't perform the operation now. Try again later.
Articles 1–20