2 citations · 2 across the 3 of their papers we have counts for
4 papers
Reasoning in Neurosymbolic AI
Son Tran, Edjard Mota, Artur d'Avila Garcez
Knowledge representation and reasoning in neural networks have been a long-standing endeavor which has attracted much attention recently. The principled integration of reasoning an…
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA
Luiz H. Sena, Iury V. Bessa, Mikhail R. Gadelha +2
Artificial Neural networks (ANNs) are powerful computing systems employed for various applications due to their versatility to generalize and to respond to unexpected inputs/patter…
Self-organized inductive reasoning with NeMuS
Leonardo Barreto, Edjard Mota
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. It was dem…
Efficient predicate invention using shared "NeMuS"
Edjard Mota, Jacob M. Howe, Ana Schramm +1
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) approache…