5 found
  1.  33
    The constraint language for lambda structures.Markus Egg, Alexander Koller & Joachim Niehren - 2001 - Journal of Logic, Language and Information 10 (4):457-485.
    This paper presents the Constraint Language for Lambda Structures(CLLS), a first-order language for semantic underspecification thatconservatively extends dominance constraints. It is interpreted overlambda structures, tree-like structures that encode -terms. Based onCLLS, we present an underspecified, uniform analysis of scope,ellipsis, anaphora, and their interactions. CLLS solves a variablecapturing problem that is omnipresent in scope underspecification andcan be processed efficiently.
    Direct download (4 more)  
    Export citation  
    Bookmark   12 citations  
  2.  29
    Exploiting Listener Gaze to Improve Situated Communication in Dynamic Virtual Environments.Konstantina Garoufi, Maria Staudte, Alexander Koller & Matthew W. Crocker - 2016 - Cognitive Science 40 (7):1671-1703.
    Beyond the observation that both speakers and listeners rapidly inspect the visual targets of referring expressions, it has been argued that such gaze may constitute part of the communicative signal. In this study, we investigate whether a speaker may, in principle, exploit listener gaze to improve communicative success. In the context of a virtual environment where listeners follow computer-generated instructions, we provide two kinds of support for this claim. First, we show that listener gaze provides a reliable real-time index of (...)
    No categories
    Direct download (2 more)  
    Export citation  
  3.  35
    A logic of semantic representations for shallow parsing.Alexander Koller & Alex Lascarides - unknown
    One way to construct semantic representations in a robust manner is to enhance shallow language processors with semantic components. Here, we provide a model theory for a semantic formalism that is designed for this, namely Robust Minimal Recursion Semantics (RMRS). We show that RMRS supports a notion of entailment that allows it to form the basis for comparing the semantic output of different parses of varying depth.
    Direct download  
    Export citation  
  4. Sentence generation as a planning problem.Alexander Koller & Matthew Stone - unknown
    We translate sentence generation from TAG grammars with semantic and pragmatic information into a planning problem by encoding the contribution of each word declaratively and explicitly. This allows us to exploit the performance of off-the-shelf planners. It also opens up new perspectives on referring expression generation and the relationship between language and action.
    Export citation  
  5.  62
    Put my galakmid Coin into the dispenser and kick it: Computational linguistics and theorem proving in a computer game. [REVIEW]Alexander Koller, Ralph Debusmann, Malte Gabsdil & Kristina Striegnitz - 2004 - Journal of Logic, Language and Information 13 (2):187-206.
    We combine state-of-the-art techniques from computational linguisticsand theorem proving to build an engine for playing text adventures,computer games with which the player interacts purely through naturallanguage. The system employs a parser for dependency grammar and ageneration system based on TAG, and has components for resolving andgenerating referring expressions. Most of these modules make heavy useof inferences offered by a modern theorem prover for descriptionlogic. Our game engine solves some problems inherent in classical textadventures, and is an interesting test case for (...)
    Direct download (7 more)  
    Export citation