Artur d'Avila Garcez
Artur d'Avila Garcez
City, University of London
Verified email at city.ac.uk - Homepage
TitleCited byYear
Neural-symbolic learning systems: foundations and applications
ASA Garcez, KB Broda, DM Gabbay
Springer Science & Business Media, 2012
2332012
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
1992001
The Connectionist Inductive Learning and Logic Programming System
AG AS, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
1371999
The connectionist inductive learning and logic programming system
AS Avila Garcez, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
1371999
Neural-symbolic cognitive reasoning
AS D'Avila Garcez, LC Lamb, DM Gabbay
Neural-Symbolic Cognitive Reasoning:, Cognitive Technologies, Volume. ISBN …, 2009
128*2009
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
552015
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
522014
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
L Serafini, AA Garcez
arXiv preprint arXiv:1606.04422, 2016
512016
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
442003
Logical modes of attack in argumentation networks
DM Gabbay, ASA Garcez
Studia Logica 93 (2-3), 199, 2009
372009
Fibring neural networks
ASA Garcez, DM Gabbay
AAAI, 342-347, 2004
372004
Connectionist modal logic: Representing modalities in neural networks
AS d’Avila Garcez, LC Lamb, DM Gabbay
Theoretical Computer Science 371 (1), 34-53, 2007
362007
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
352017
Value-based argumentation frameworks as neural-symbolic learning systems
ASDA Garcez, DM Gabbay, LC Lamb
Journal of Logic and Computation 15 (6), 1041-1058, 2005
332005
Learning and representing temporal knowledge in recurrent networks
RV Borges, AA Garcez, LC Lamb
IEEE Transactions on Neural Networks 22 (12), 2409-2421, 2011
322011
Reasoning about time and knowledge in neural symbolic learning systems
ASA Garcez, LC Lamb
Advances in neural information processing systems 16, 2003
322003
A connectionist inductive learning system for modal logic programming
AS d'Avila Garcez, LC Lamb, DM Gabbay
Neural Information Processing, 2002. ICONIP'02. Proceedings of the 9th …, 2002
322002
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
312015
Logic tensor networks for semantic image interpretation
I Donadello, L Serafini, ADA Garcez
arXiv preprint arXiv:1705.08968, 2017
302017
RNN-based music language models for improving automatic music transcription
S Sigtia, E Benetos, S Cherla, T Weyde, A Garcez, S Dixon
302014
The system can't perform the operation now. Try again later.
Articles 1–20