First-class substitutions in contextual type theory.

Andrew Cave Brigitte Pientka

Published in: LFMTP (2013)

Keyphrases

contextual information
multi class classification
theoretical basis
context sensitive
theoretical framework
computational model
neural network
probability distribution
logic programs
computer vision
artificial intelligence
class labels
information retrieval
databases
inductive inference
decision theory
data sets