Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics.

Daniel Gebler Wan J. Fokkink

Published in: CONCUR (2012)

Keyphrases

operational semantics
model theoretic
formal semantics
term rewriting
declarative semantics
bayesian networks
denotational semantics
agent programming
probabilistic logic
mental states
data model
activity diagrams
database
probability theory
modal logic
cooperative
reinforcement learning
database systems