Contextual modal type theory.

Aleksandar Nanevski Frank Pfenning Brigitte Pientka

Published in: ACM Trans. Comput. Log. (2008)

Keyphrases

databases
probabilistic model
contextual information
modal logic
context sensitive
theoretical basis
formal theory
machine learning
learning algorithm
image processing
case study
temporal logic
context dependent
general theory
nonmonotonic logics