Quantifiers on languages and codensity monads.

Mai Gehrke Daniela Petrisan Luca Reggio

Published in: LICS (2017)

Keyphrases

language independent
expressive power
first order logic
search engine
target language
multi lingual
real time
bayesian networks
knowledge representation
object oriented
description logics
query translation
text summarization
description languages