1636 search results - page 21 / 328 » Type-Theoretic Functional Semantics |
AML
2006
14 years 10 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
COLING
2010
14 years 4 months ago
2010
Many Semantic Role Labeling (SRL) combination strategies have been proposed and tested on English SRL task. But little is known about how much Chinese SRL can benefit from system ...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
We demonstrate results presentation and query refinement functions of the SemSearch engine for semantic web portals and intranets.
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...