C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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