Fast Automated Reasoning over String Diagrams using Multiway Causal Structure.
Jonathan GorardManojna NamuduriXerxes D. ArsiwallaPublished in: CoRR (2021)
Keyphrases
- automated reasoning
- causal structure
- causal relationships
- causal discovery
- causal models
- experimental data
- knowledge representation
- theorem proving
- theorem prover
- probabilistic reasoning
- causal ordering
- causal graph
- causal relations
- observational data
- directed acyclic graph
- causal bayesian networks
- special case
- knowledge base