Novel memristive logic architectures.
Xiaohan YangAdedotun AdeyemoAnu BalaAbusaleh M. JabirPublished in: PATMOS (2016)
Keyphrases
- classical logic
- modal logic
- predicate logic
- propositional dynamic logic
- neural architectures
- logic programming
- multi valued
- parallel architectures
- deontic logic
- case study
- automated reasoning
- logical framework
- knowledge representation
- nonmonotonic logics
- artificial neural networks
- epistemic logic
- dynamic logic
- logic synthesis
- information systems