Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
We introduce equality up-to constraints over finite trees and investigate their expressiveness. Equality up-to constraints subsume equality constraints, subtree constraints, and one-step rewriting… Continue Reading
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A λ-structure can be considered as a λ-term up to consistent… Continue Reading
We propose a unified framework in which to treat semantic underspecification and parallelism phenomena in discourse. The framework employs a constraint language that can express equality and subtree… Continue Reading
We propose a uniied framework in which to treat semantic underspeciication and parallelism phenomena in discourse. The framework employs a constraint language that can express equality and subtree… Continue Reading
In diesem Beitrag sollen einige Fragen der Reprasentation und Interpretation raumlicher Konzepte diskutiert werden. Der Ausgangspunkt fur die Fragestellung ist dabei das System KLEIST1, ein… Continue Reading