A
A.S. d'Avila Garcez
Researcher at City University London
Publications - 17
Citations - 481
A.S. d'Avila Garcez is an academic researcher from City University London. The author has contributed to research in topics: Artificial neural network & Logic programming. The author has an hindex of 8, co-authored 17 publications receiving 448 citations. Previous affiliations of A.S. d'Avila Garcez include Imperial College London.
Papers
More filters
Journal ArticleDOI
Symbolic knowledge extraction from trained neural networks: a sound approach
TL;DR: A new method of extraction is presented that captures nonmonotonic rules encoded in the network, and it is proved that such a method is sound and able to keep the soundness of the extraction algorithm.
Journal ArticleDOI
Speaker recognition with hybrid features from a deep belief network
TL;DR: This paper studies the use of features from different levels of deep belief network for quantizing the audio data into vectors of audio word counts, and shows that the audio word count vectors generated from mixture of DBN features at different layers give better performance than the MFCC features.
Proceedings ArticleDOI
A neural-symbolic cognitive agent for online learning and reasoning
TL;DR: A novel cognitive agent model and architecture for online learning and reasoning that seeks to effectively represent, learn and reason in complex training environments and is capable of learning new hypotheses from observed data, and infer new beliefs based on these hypotheses.
Journal ArticleDOI
Combining abductive reasoning and inductive learning to evolve requirements specifications
TL;DR: An instance of the above analysis–revision cycle that combines new techniques of logical abduction and inductive learning to analyse and revise specifications, respectively is investigated and provides some early validation of its capabilities.