From Type Spaces to Probability Frames and Back, via Language.

Adam Bjorndahl Joseph Y. Halpern

Published in: TARK (2017)

Keyphrases

strongly typed
programming language
type checking
probability distribution
video frames
language learning
language processing
databases
artificial intelligence
natural language
relational databases
object oriented
multi frame
specification language
linguistic knowledge
database programming language