An Approach to Unlocking Cyclic Logic Locking: LOOPLock 2.0.

Pei-Pei Chen Xiang-Min Yang Yi-Ting Li Yung-Chih Chen Chun-Yao Wang

Published in: ICCAD (2022)

Keyphrases

concurrency control
logic programming
modal logic
multi valued
database systems
fixed point semantics
data sets
website
probability theory
automated reasoning
sound and complete axiomatization
artificial intelligence
data objects
predicate logic
deontic logic