1059 search results - page 57 / 212 » Unification-Based Semantic Interpretation |
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
100
click to vote
ACL
1996
15 years 1 months ago
1996
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interfac...
115
click to vote
JSAI
2007
Springer
15 years 6 months ago
2007
Springer
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
 In this paper we present Semanta – a fullyÂimplemented system supporting Semantic Email Processes, integrated into the existing technical landscape andÂ...
100
click to vote
SIGLEX
1991
15 years 3 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...