Fast Garbling of Circuits over 3-Valued Logic.

Yehuda Lindell Avishay Yanai

Published in: Public Key Cryptography (1) (2018)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
first order logic
truth values
multi valued
logic programs
automated reasoning
datalog programs
logic programming
expert systems
inference rules
stable models
control system
data integration
knowledge representation
data model