Keyphrases
- causal models
- causal reasoning
- causal theories
- classical logic
- logic programming
- causal relationships
- proof theory
- directed acyclic graph
- logical language
- causal structure
- database
- artificial intelligence
- causal discovery
- predicate logic
- nonmonotonic logics
- multi valued
- modal logic
- data sets
- formal theory
- causal inference
- automated reasoning
- causal independence
- delay insensitive
- neural network