Recursive Threshold Logic - A Bioinspired Reconfigurable Dynamic Logic System With Crossbar Arrays.
Alex Pappachen JamesOlga KrestinskayaAkshay Kumar MaanPublished in: IEEE Trans. Biomed. Circuits Syst. (2020)
Keyphrases
- dynamic logic
- modal logic
- propositional dynamic logic
- reasoning about actions
- biologically inspired
- agent programming
- imperative programs
- classical first order logic
- low cost
- threshold selection
- hardware implementation
- scheduling algorithm
- machine learning
- multiple input
- modal operators
- reconfigurable architecture
- multi agent