18 citations · 25 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
Logic Negation with Spiking Neural P Systems
Daniel Rodríguez-Chavarría, Miguel A. Gutiérrez-Naranjo, Joaquín Borrego-Díaz
Nowadays, the success of neural networks as reasoning systems is doubtless. Nonetheless, one of the drawbacks of such reasoning systems is that they work as black-boxes and the acq…
cs.LO2018
A logic-algebraic tool for reasoning with Knowledge-Based Systems
José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz +2
A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases specified by propositional (Boolean) logic is presented. The model is conceived f…