How to implement non-committed card protocols to realize AND operations satisfying the three-valued logics.

Published in: CANDARW (2022)

Keyphrases

nonmonotonic logics
inference rules
expressive power
modal logic
valued semantics
smart card
data sets
low cost
default logic
learning algorithm
description logics
epistemic logic
database
propositional logic
conditional logic
propositional calculus