1 |
Current Approaches to Punctuation in Computational Linguistics [<Journal>]
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Situated Nonmonotonic Temporal Reasoning with BABY-SIT [<Journal>]
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Combining Montague Semantics and Discourse Representation [<Journal>]
|
|
|
|
Abstract:
This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.
|
|
Keyword:
Computational Linguistics; Logic; Philosophy of Language; Semantics
|
|
URL: http://cogprints.org/4715/
|
|
BASE
|
|
Hide details
|
|
7 |
Book Review -- Hans Kamp and Uwe Reyle, From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory [<Journal>]
|
|
|
|
BASE
|
|
Show details
|
|
|
|