Preface to the Special Issue on Automated Reasoning Systems
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-019-09531-1
Abstract: On March 8, 2018, Tobias Nipkow celebrated his sixtieth birthday. In anticipation of the occasion, after some discussion in early 2016 among all the editors of the Journal of Automated Reasoning except Tobias, it was… read more here.
Keywords: automated reasoning; interactive theorem; special issue; reasoning systems ... See more keywords
Logic Negation with Spiking Neural P Systems
Sign Up to like & getrecommendations! Published in 2020 at "Neural Processing Letters"
DOI: 10.1007/s11063-020-10324-6
Abstract: 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 acquired knowledge is not human readable. In… read more here.
Keywords: reasoning systems; spiking neural; logic negation; negation spiking ... See more keywords