A Logical Characterisation of Static Equivalence.

Hans Hüttel Michael D. Pedersen

Published in: MFPS (2007)

Keyphrases

relational databases
learning algorithm
website
case study
user interface
data model
probabilistic logic
logical properties
logical reasoning
interactive dynamic influence diagrams