Combining Dependency, Grades, and Adjoint Logic.

Peter Hanukaev Harley Eades III

Published in: TyDe@ICFP (2023)

Keyphrases

optimal control
logic programming
defeasible logic
real time
data sets
databases
dynamic programming
multi valued
database systems
reinforcement learning
logic programs
modal logic
information content
automated reasoning