A complete logic for causal consistency.

Will Simmons Aleks Kissinger

Published in: CoRR (2024)

Keyphrases

np complete
causal theories
logic programming
modal logic
causal reasoning
bayesian networks
causal models
set theory
predicate logic
logical rules
causal relationships
multi valued
defeasible logic
path consistency
nonmonotonic logics
propositional variables