Login / Signup

Higher-order causal theories are models of BV-logic.

Will SimmonsAleks Kissinger
Published in: CoRR (2022)
Keyphrases
  • causal theories
  • higher order
  • pairwise
  • answer set programming
  • artificial intelligence
  • general logic programs
  • graphical models
  • logic programming
  • proof theory