1059 search results - page 105 / 212 » Unification-Based Semantic Interpretation |
ICCS
1995
Springer
15 years 3 months ago
1995
Springer
Thenotion of context is indispensable in discussions of meaning,but the wordcontext has often beenusedin conflicting senses. In logic, the first representation of contextas a forma...
SEBD
2007
15 years 1 months ago
2007
Preference queries aim to retrieve from large databases those objects that better match user’s requirements. Approaches proposed so far in the DB field for specifying preference...
92
Voted
SDM
2009
SIAM
15 years 9 months ago
2009
SIAM
The annotation of words and phrases by ontology concepts is extremely helpful for semantic interpretation. However many ontologies, e.g. WordNet, are too fine-grained and even hu...
106
click to vote
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
KR
1998
Springer
15 years 4 months ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...