DisLog: A Separation Logic for Disentanglement.

Alexandre Moine Sam Westrick Stephanie Balzer

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

logic programming
classical logic
computational properties
modal logic
predicate logic
proof theory
databases
expert systems
defeasible logic
data sets
neural network
knowledge representation
automated reasoning
abductive reasoning
asynchronous circuits
dynamic logic