A Logic to Reason about Dependence and Independence.

Jialu Bao Simon Docherty Justin Hsu Alexandra Silva

Published in: CoRR (2020)

Keyphrases

dependence structure
modal logic
independence assumption
logic programming
automated reasoning
multi valued
probabilistic model
logical framework
learning algorithm
defeasible logic
nonmonotonic logics
digital circuits
predicate logic
asynchronous circuits