Artur d'Avila Garcez
Artur d'Avila Garcez
City, University of London
E-mail confirmado em soi.city.ac.uk - Página inicial
TítuloCitado porAno
Neural-symbolic learning systems: foundations and applications
ASA Garcez, KB Broda, DM Gabbay
Springer Science & Business Media, 2012
2152012
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
1902001
The Connectionist Inductive Learning and Logic Programming System
AG AS, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
1301999
The connectionist inductive learning and logic programming system
AS Avila Garcez, G Zaverucha
Applied Intelligence 11 (1), 59-77, 1999
1301999
Neural-symbolic cognitive reasoning
AS D'Avila Garcez, LC Lamb, DM Gabbay
Neural-Symbolic Cognitive Reasoning:, Cognitive Technologies, Volume. ISBN …, 2009
115*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
432015
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
422003
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
412014
Logical modes of attack in argumentation networks
DM Gabbay, ASA Garcez
Studia Logica 93 (2-3), 199, 2009
362009
Fibring neural networks
ASA Garcez, DM Gabbay
AAAI, 342-347, 2004
362004
Connectionist modal logic: Representing modalities in neural networks
AS d’Avila Garcez, LC Lamb, DM Gabbay
Theoretical Computer Science 371 (1), 34-53, 2007
352007
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
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
312005
Reasoning about time and knowledge in neural symbolic learning systems
ASA Garcez, LC Lamb
Advances in neural information processing systems 16, 2003
312003
Revising rules to capture requirements traceability relations: A machine learning approach
G Spanoudakis, A d’AvilaGarces, A Zisman
Proceedings of the 15th International Conference in Software Engineering and …, 2003
302003
Learning and representing temporal knowledge in recurrent networks
RV Borges, AA Garcez, LC Lamb
IEEE Transactions on Neural Networks 22 (12), 2409-2421, 2011
292011
RNN-based music language models for improving automatic music transcription
S Sigtia, E Benetos, S Cherla, T Weyde, A Garcez, S Dixon
272014
Abductive reasoning in neural-symbolic systems
ASA Garcez, DM Gabbay, O Ray, J Woods
Topoi 26 (1), 37-49, 2007
272007
A connectionist computational model for epistemic and temporal reasoning
ASA Garcez, LC Lamb
Neural Computation 18 (7), 1711-1738, 2006
272006
Logic tensor networks: Deep learning and logical reasoning from data and knowledge
L Serafini, AA Garcez
arXiv preprint arXiv:1606.04422, 2016
252016
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20