Search Results for author:
Found 3 papers, 1 papers with code
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
Artificial Neural networks (ANNs) are powerful computing systems employed for various applications due to their versatility to generalize and to respond to unexpected inputs/patterns.
Self-organized inductive reasoning with NeMuS
Neural Multi-Space (NeMuS) is a weighted multi-space representation for a portion of first-order logic designed for use with machine learning and neural network methods.
Efficient predicate invention using shared "NeMuS"
Amao is a cognitive agent framework that tackles the invention of predicates with a different strategy as compared to recent advances in Inductive Logic Programming (ILP) approaches like Meta-Intepretive Learning (MIL) technique.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
