59 search results - page 1 / 12 » Natural Semantics and Some of Its Meta-Theory in Elf |
ELP
1991
13 years 8 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
AMSTERDAM
2009
13 years 2 months ago
2009
Because (of) is ambiguous between a `reason' and a `plain cause' interpretation. Presenting a semantic analysis within the framework of Discourse Representation Theory, I...
WWW
2011
ACM
12 years 11 months ago
2011
ACM
Web pages are usually highly structured documents. In some documents, content with different functionality is laid out in blocks, some merely supporting the main discourse. In ot...
COLING
1996
13 years 5 months ago
1996
NKRL is a conceptual language which intends to provide a normalised, pragmatic description of the semantic contents (in short, the "meaning") of NL narrative documents. ...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from exi...