Causal Reasoning for Safety in Hennessy Milner Logic.

Georgiana Caltais Mohammad Reza Mousavi Hargurbir Singh

Published in: Fundam. Informaticae (2020)

Keyphrases

causal reasoning
directed acyclic graph
causal models
causal knowledge
bayes net
knowledge representation
default logic
data sets
special case
machine learning
general purpose
modal logic