Login / Signup
Grading Adjoint Logic.
Harley Eades III
Dominic Orchard
Published in:
CoRR (2020)
Keyphrases
</>
optimal control
logic programming
automated reasoning
multi valued
classical logic
computational properties
predicate logic
modal logic
multiscale
epistemic logic
sound and complete axiomatization
machine learning
automatic assessment
deontic logic
defeasible logic
bayesian networks
artificial intelligence