Register-Less NULL Convention Logic.

Meng-Chou Chang Po-Hung Yang Ze-Gang Pan

Published in: IEEE Trans. Circuits Syst. II Express Briefs (2017)

Keyphrases

modal logic
classical logic
logic programming
epistemic logic
automated reasoning
real world
probabilistic logic
multi agent
decision trees
computer vision
multi agent systems
case study
inference rules
information systems
predicate logic
neural network
deontic logic
dynamic logic