Superconducting Shuttle-flux Shift Buffer for Race Logic.

Meriam Gay Bautista Patricia Gonzalez-Guerrero Darren Lyles George Michelogiannakis

Published in: MWSCAS (2021)

Keyphrases

magnetic field
logic programming
rule engine
sound and complete axiomatization
vector field
multi valued
defeasible logic
deontic logic
buffer size
high temperature
classical logic
genetic algorithm
knowledge base
logic programs
predicate logic
abductive reasoning