A Monadic Formalization of ML5

Daniel R. Licata Robert Harper

Published in: LFMTP (2010)

Keyphrases

maximum likelihood
datalog queries
deductive databases
datalog programs
em algorithm
knowledge representation
formal model
database
integrity constraints
logical language
real time
special case
objective function
expectation maximization
image sequences
logical framework
databases
operational semantics