Login / Signup
A Recursion and Lock Free GPU-Based Logic Rewriting Framework Exploiting Both Intranode and Internode Parallelism.
Lin Li
Rui Li
Yajun Ha
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
</>
main contribution
logical framework
database
neural network
database systems
theoretical framework
logic programming
modal logic
inference rules
parallel computing
parallel computation
abductive reasoning