1162 search results - page 66 / 233 » Monotonic Semantic Interpretation |
109
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...
124
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...
64
Voted
ESWS
2009
Springer
15 years 5 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Â...
107
Voted
SIGLEX
1991
15 years 4 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...
219
click to vote
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...