1162 search results - page 66 / 233 » Monotonic Semantic Interpretation |
ACL
1996
15 years 9 days 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...
103
click to vote
JSAI
2007
Springer
15 years 5 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 3 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Â...
SIGLEX
1991
15 years 2 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...
195
click to vote
ICLP
2009
Springer
15 years 11 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 (...