scispace - formally typeset
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.