Causal semantics for the algebra of connectors.

Simon Bliudze Joseph Sifakis

Published in: Formal Methods Syst. Des. (2010)

Keyphrases

algebraic structure
algebraic operations
formal semantics
causal models
default reasoning
causal networks
real numbers
directed acyclic graph
logic programming
causal reasoning
causal relations
data sets
semantic information
natural language
object identity
bayesian networks
databases