Combining dependency, grades, and adjoint logic.

Peter Hanukaev Harley Eades III

Published in: CoRR (2023)

Keyphrases

logic programming
optimal control
multi valued
classical logic
information retrieval
combining multiple
automated reasoning
asynchronous circuits
neural network
modal logic
set theory