Fast Garbling of Circuits over 3-Valued Logic.

Yehuda Lindell Avishay Yanai

Published in: IACR Cryptol. ePrint Arch. (2017)

Keyphrases

valued logic
classical logic
propositional logic
fuzzy logic
fuzzy sets
first order logic
logic programs
multi valued
truth values
datalog programs
automated reasoning
logic programming
expressive power
theorem prover
neural network
probabilistic reasoning
databases
object oriented
control system
knowledge base