Login / Signup
Machine-checked semantic session typing.
Jonas Kastberg Hinrichsen
Daniël Louwrink
Robbert Krebbers
Jesper Bengtson
Published in:
CPP (2021)
Keyphrases
</>
data sets
natural language
semantic knowledge
semantic network
batch processing
semantic similarity
semantic information
domain ontology
semantic web
domain specific
context dependent
semantic search
special case
natural language understanding
semantically meaningful
semantic level
semantically rich
social networks