A kripke logical relation between ML and assembly.

Chung-Kil Hur Derek Dreyer

Published in: POPL (2011)

Keyphrases

maximum likelihood
inference rules
modal logic
model checking
temporal logic
artificial intelligence
desirable properties
search engine
computer vision
similarity measure
multiscale
binary relations
logical framework
visually guided