Semantic subtyping with an SMT solver.

Gavin M. Bierman Andrew D. Gordon Catalin Hritcu David E. Langworthy

Published in: J. Funct. Program. (2012)

Keyphrases

semantic web
semantic features
natural language
high level
semantic similarity
semantic network
low level
semantically meaningful
semantic information
semantic annotation
semantic knowledge
constraint solving
database
semantic roles
semantic search
semantic analysis
language model
neural network
data sets