Parametric polymorphism and semantic subtyping: the logical connection.

Nils Gesbert Pierre Genevès Nabil Layaïda

Published in: ICFP (2011)

Keyphrases

logical representation
semantic information
logical reasoning
semantic similarity
domain specific
natural language
semantic web
high level
topic maps
conceptual graphs
multimedia
expert systems
domain knowledge
database
semantic network
semantic relationships
semantic knowledge
neural network